the branch of deductive reasoning that deals with the logical relationships among statements.
the branch of deductive reasoning that deals with the logical relationships among statements.
logic that combines statements together to draw conclusions use a knowledge base of clauses to derive new clauses truth-preserving