logic that combines statements together to draw conclusions use a knowledge base of clauses to derive new clauses truth-preserving
logic that combines statements together to draw conclusions use a knowledge base of clauses to derive new clauses truth-preserving
formal logic is concerned with the syntax of statements, not their semantics