doubtandreason.wordpress.com
Symbolic Logic: Conditional/Indirect Proofs and Proving Theorems
Hey guys! So, this time, we’re going look at other methods we can use to construct proofs when just deriving from the premises isn’t enough. Conditional Proof (CP) The setup: Basically,…
