mbols represent whole propositions (facts); for example, d might have the interpretation &"the wumpus is dead.&" which may or may not be a true proposition
mbols represent whole propositions (facts); for example, d might have the interpretation &"the wumpus is dead.&" which may or may not be a true proposition
logic that combines statements together to draw conclusions use a knowledge base of clauses to derive new clauses truth-preserving