SOLUTION: Using a conditional proof: 1. (D v E) &#8835; (F � G) 2.( A v B) &#8835; (D � C) /A &#8835; F Thank you.

Click here to see ALL problems on Proofs

Question 1060045: Using a conditional proof:
1. (D v E) ⊃ (F � G)
2.( A v B) ⊃ (D � C) /A ⊃ F
Thank you.
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

I'm going to use the -> symbol instead of the (horseshoe) symbol
The key is to assume A and then show how it leads to F.

Number Statement Lines Used Reason
1 (D v E) -> (F * G)
2 (A v B) -> (D * C)
:. A -> F
3 A Assumption for Conditional Proof
4 A v B 3 Addition
5 D * C 2,4 Modus Ponens
6 D 5 Simplifcation
7 D v E 6 Addition
8 F * G 1,7 Modus Ponens
9 F 8 Simplifcation
10 A -> F 3-9 Conditional Proof

SOLUTION: Using a conditional proof: 1. (D v E) &#8835; (F � G) 2.( A v B) &#8835; (D � C) /A &#8835; F Thank you.

SOLUTION: Using a conditional proof: 1. (D v E) ⊃ (F � G) 2.( A v B) ⊃ (D � C) /A ⊃ F Thank you.