Part II (10 points, 2 points per proof) For each of the following arguments construct a formal proof of validity by adding exactly three statements (do not use CP or RAA). A) 1. P→ Q 2. R v~Q 3. ~R~S B) 1. (P⚫Q) → R 2. (~R →~Q) → S ~Q) → S . P → S ~P C) D) 1. ~P v (Q⚫R) .. P→ Q 1. Pv~(Q ~R) • .. (P v ~Q) v R E) • 1. [Pv (Q ~R)] → S 2. Q 3. Q ~(P v ~R) .. (P v ~R) → S

Part II (10 points, 2 points per proof) For each of the following arguments construct a formal proof of validity by adding exactly three statements (do not use CP or RAA). A) 1. P→ Q 2. R v~Q 3. ~R~S B) 1. (P⚫Q) → R 2. (~R →~Q) → S ~Q) → S . P → S ~P C) D) 1. ~P v (Q⚫R) .. P→ Q 1. Pv~(Q ~R) • .. (P v ~Q) v R E) • 1. [Pv (Q ~R)] → S 2. Q 3. Q ~(P v ~R) .. (P v ~R) → S

Elementary Geometry For College Students, 7e

7th Edition

ISBN:9781337614085

Author:Alexander, Daniel C.; Koeberlein, Geralyn M.

Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.

Chapter2: Parallel Lines

Section2.CT: Test

Problem 3CT: To prove a theorem of the form "If P, then Q" by the indirect method, the first line of the proof...

See similar textbooks