
Factual reasoning is reasoning with statements that are certain, called facts. Classical propositional logic is often used for such reasoning. However classical propositional logic has two faults. Its most serious fault is the irrational way it behaves when the statements...