SOLUTION: Use all eighteen rules
1. Q ⊃ (F ⊃ A)
2. R ⊃ (A ⊃ F)
3. Q • R / F ≡ A
Algebra.Com
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.
RELATED QUESTIONS
Can somebody please gimme a hand
1.¬S -> Q
2.(U v P) -> (F v T)
3.(R & S) -> T
4.¬R (answered by Edwin McCravy)
ordered pairs f(a)=r, f(b)=p, f(c)=q, f(d)=r
Give domain and range of... (answered by reviewermath)
Find a polynomial of degree ≤2 [of the form f (t) = a + bt + ct^2] whose graph goes (answered by stanbon)
Hi there, I'd love some help on answering these Logic Proof Questions:
1.
1. T > O
(answered by math_tutor2020)
Looking for a logical proof help using rules of implication! Thank you!
1. [(T • R) v (answered by Edwin McCravy)
I can only use the 8 implicational rules
1. (A v ~B) >(F v (R . G))
2. A
3. F > L
4. (answered by jim_thompson5910)
The quadratic function f(x)= px^2 + qx + r has f(0)= 35,f(1)=20 and f(2)=11.
Find the... (answered by ewatrrr)
Prove that:
(a) P ) Q is not equivalent to Q ) P
(b) P ) Q is not equivalent to :P ) :Q
(answered by solver91311)
Write the statement in symbols using the p and q given below. Then construct a truth... (answered by swincher4391)