Conditional and Indirect Proof (Predicate Calculus)
April 4, 2014 4:55 am
An explanation of the way to use indirect and conditional proofs in Predicate Calculus (100 Days of Logic)