Practice MP and Conjunction

Practice MP and Conjunction - (6 Proofs with MP 1(P • Q...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
PHL201, Instructor: Merritt Practice Problems with •I, •E, and MP Prove the following are valid sequents in PL Proofs using only •I and •E rules: 1. P, P ↔ Q, Q • R : (P • R) • (P ↔ Q) (6) 2. [P • (Q • R)] • [S • (T → Q)] : R • (T → Q)
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (6) Proofs with MP 1. (P • Q) → (R → S), R → Q, R • P : S (9) 2. R → [P • (S → Q)], R • S : Q (7) 3. (S • T) • (P → Q), P : Q • (P • S) (6) 4. [(P • Q) • (R • S)] → [T → (P → V)], Q • (R • P), T•S : V (15)...
View Full Document

This note was uploaded on 06/23/2011 for the course PHIL 110 taught by Professor ? during the Fall '06 term at South Carolina.

Ask a homework question - tutors are online