lect09 - INTRO LOGIC DAY 09 1 UNIT 2 DERIVATIONS IN...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
1 1 INTRO LOGIC DAY 09 2 UNIT 2 DERIVATIONS IN SENTENTIAL LOGIC
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 3 Basic Idea We start with a few argument forms, which we presume are valid, and we use these to demonstrate that other argument forms are valid. We demonstrate that a given argument form is valid by deriving ( deducing ) its conclusion from its premises using a few fundamental modes of reasoning . 4 Example 1 – Modus Ponens (MP) –––––– we can employ modus ponens (MP) to derive the conclusion from the premises. if then –––––––––– P P Q Q R R S –––––– S a derivative argument form
Background image of page 2
3 5 Example 1 (continued) / S ; R S ; Q R ; P Q P MP Q R S 6 Example 2 – Modus Tollens (MT) we can employ modus tollens (MT) to derive the conclusion from the premises. a derivative argument form if then not –––––––––– not S R S Q R P Q –––––– P ––––––
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 7 Example 2 (continued) / P ; P Q ; Q R ; R S
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/04/2012 for the course PHIL 110 taught by Professor Bohn during the Fall '08 term at UMass (Amherst).

Page1 / 11

lect09 - INTRO LOGIC DAY 09 1 UNIT 2 DERIVATIONS IN...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online