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

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

RELATED QUESTIONS
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)

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