SOLUTION: Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof.
1. P ⊃ (Q • R)
2. Q
Conclusion: R ⊃ P
Algebra ->
Proofs
-> SOLUTION: Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof.
1. P ⊃ (Q • R)
2. Q
Conclusion: R ⊃ P
Log On
Question 1132257: Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof.
1. P ⊃ (Q • R)
2. Q
You can put this solution on YOUR website! Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof.
1. P ⊃ (Q • R)
2. Q
Conclusion: R ⊃ P
-----------------
The conclusion is incorrect, A ⊃ B ≡ ~B ⊃ ~A (NOT "B ⊃ A")
