Statement Logic and Proofs

Statement Logic and Proofs - I . Proofs in Statement Logic:...

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

View Full Document Right Arrow Icon
I. Proofs in Statement Logic: a. Ex: i. (A.B) ii. (B->(C v D)) iii. ~D iv. :. C v. It can be deduced from (A.B)’s truth that B is true. vi. This means that the antecedent of the second premise is true, and thus the consequent must also be true for the conditional to be true. vii.If the consequent is true, C and D cannot be both false. 1. Furthermore, noting that B -> (C v D), and B is true, (C v D) must be true because this is an instance of Modus Ponens. viii. Now, given that (C v D) MUST be true, and given that ~D is true and thus D is false, it follows that C MUST be true, via the disjunctive syllogism argument form. 1. Thus, the argument is valid. b. (p.q) :. q = “simplification” valid form c. In proofs, valid forms are referred to as inference rules, and are means of deducing steps in a proof. d. Inference rules: i. Modus Ponens ii. Modus Tollens iii. Disjunctive Syllogism 1. p v q, ~p, :. q
Background image of page 1

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

View Full DocumentRight Arrow Icon
iv. Hypothetical Syllogism 1. p->q, q->r, :. p->r v. Constructive Dilemma 1. p v q, p->r, q->s, :. r v s
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 05/07/2011 for the course PHIL 201 taught by Professor Peterhodges during the Fall '08 term at Boise State.

Page1 / 4

Statement Logic and Proofs - I . Proofs in Statement Logic:...

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

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