Logic and Philosophy 11th

Valid Forms for Sentential Logic Valid Argument Forms of Inference 1. Modus Ponens (MP): p ʛ q p /∴ q 2. Modus Tollens (MT): p ʛ q ~ q /∴ ~ p 3. Disju...

77 downloads 130 Views 2MB Size