Yes, "natural deduction" is another term for constructing proofs. And yes, the rules go by many different names. For instance, what I'm calling dash in and dash out are sometimes called negation introduction and negation elimination. Other books refer to both rules as versions of Indirect Proof, or "reductio ad absurdum." Unfortunately, there is not much agreement among logic textbooks on these issues.
Yes, "natural deduction" is another term for constructing proofs. And yes, the rules go by many different names. For instance, what I'm calling dash in and dash out are sometimes called negation introduction and negation elimination. Other books refer to both rules as versions of Indirect Proof, or "reductio ad absurdum." Unfortunately, there is not much agreement among logic textbooks on these issues.
jellologic 1 year ago
Aren't these all just tests for natural deduction? eg; denying a disjunct, reductio ad absurdum.
SONNYTheFantastic 1 year ago
For some reason the 360p version of this video flashes in bizarre colors on some computers. Choose 480p to fix the problem. Thanks.
jellologic 1 year ago