Use Natural Deduction to derive the conclusion of the following argument. Use of Conditional Proof is optional

7 ⤊

1. A ≡B
2. A v B
3. A > (B > C) / C

2007-05-30 17:07:13 · 1 answers · asked by Rx 1 in Arts & Humanities ➔ Philosophy

1. A ≡B
2. A v B
3. A > (B > C) / C

2007-05-30 17:34:52 · update #1

1. A ≡B
2. A v B
3. A > (B > C) / C

2007-05-30 17:34:59 · update #2

1. If (1), then role A true role B true

2. If (2), then A true or B true

3. If (3), then A greater than B true

2007-06-03 11:07:54 · answer #1 · answered by M O R P H E U S 7 · 7⤊ 0⤋