SOLUTION: Use natural deduction to prove the following logical truth: (P ⊃ Q) ≡ [P ⊃ (Q ∨ ∼P)]

Algebra.Com
Question 1198902: Use natural deduction to prove the following logical truth:
(P ⊃ Q) ≡ [P ⊃ (Q ∨ ∼P)]

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
(P ⊃ Q) ≡ [P ⊃ (Q ∨ ∼P)]

(~P ∨ Q) ≡ [~P ∨ (Q ∨ ~P)]  by using material implication on both sides 

(~P ∨ Q) ≡ [~P ∨ (~P ∨ Q)]  by using commutation on "(Q ∨ ∼P)"

(~P ∨ Q) ≡ [(~P ∨ ~P) ∨ Q]  by using association on the right side.

(~P ∨ Q) ≡ (~P ∨ Q)  by using the idempotent law on ~P ∨ ~P

Edwin


RELATED QUESTIONS

Use natural deduction to derive the conclusion in each problem. Use natural... (answered by math_helper,Bogz)
Use natural deduction to prove the following logical truth: // [F • (D ⊃ ∼ F)] ⊃ (answered by RBryant)
QUESTION 5 Create a truth table for the following. left parenthesis p logical and... (answered by Alan3354,math_tutor2020)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
If p is false and q is true, determine the truth value of the following: a) ~(p ^... (answered by Edwin McCravy,Aldorozos)
Use truth tables to test the validity of the argument. p → ~q q → ~p... (answered by jim_thompson5910)
Math Construct a truth table for the following. Hint: you will need to use each of... (answered by Edwin McCravy)
Use truth tables to determine if the following arguments are valid. a) p-> (q V r) p (answered by solver91311)
Prove that the argument is valid using the method of natural deduction. 1. Q 2. (R... (answered by textot)