SOLUTION: Use all eighteen rules 1. Q ⊃ (F ⊃ A) 2. R ⊃ (A ⊃ F) 3. Q • R / F ≡ A
Algebra
->
Proofs
-> SOLUTION: Use all eighteen rules 1. Q ⊃ (F ⊃ A) 2. R ⊃ (A ⊃ F) 3. Q • R / F ≡ A
Log On
Logic: Proofs
Logic
Solvers
Solvers
Lessons
Lessons
Answers archive
Answers
Click here to see ALL problems on Proofs
Question 1204739
:
Use all eighteen rules
1. Q ⊃ (F ⊃ A)
2. R ⊃ (A ⊃ F)
3. Q • R / F ≡ A
Answer by
math_tutor2020(3816)
(
Show Source
):
You can
put this solution on YOUR website!
Number
Statement
Line(s) Used
Reason
1
Q --> (F --> A)
2
R --> (A --> F)
3
Q & R
:.
F = A
4
R & Q
3
Commutation
5
Q
3
Simplification
6
R
4
Simplification
7
F --> A
1, 5
Modus Ponens
8
A --> F
2, 6
Modus Ponens
9
(F --> A) & (A --> F)
7, 8
Conjunction
10
F = A
9
Material Equivalence
Here are the
Rules of Inference and Replacement
to review.