SOLUTION: COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF (10 PTS. EACH) PROOF 1: 1. A 2. B / A ≡ B

Algebra.Com
Question 1029344: COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR
INDIRECT PROOF (10 PTS. EACH)
PROOF 1:
1. A
2. B / A ≡ B
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
 1.  A
 2.  B   / A≡B

 3. Av~B          1, Addition
 4. Bv~A          2, Addition
 5. ~AvB          4, Commutation
 6. A⊃B           5, Material implication
 7. ~BvA          3, Commutation
 8. B⊃A           7, Material implication
 9. (A⊃B)&(B⊃A)   6,8, Conjunction
10. A≡B           9, Material equivalence

[Note: Some books use -> for ⊃, <-> for ≡,
also •, ⋀, for & (and)]
Edwin
RELATED QUESTIONS

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by AnlytcPhil)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)
Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF... (answered by robertb)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
Using an ordinary proof (not a conditional or indirect proof) 1. S ⊃ (K ⋅... (answered by richwmiller)
Using an ordinary proof (not a conditional or indirect proof) (answered by richwmiller)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
I know it's a lot, but I've got no where else to go. Please. > is an if/then symbol (answered by richwmiller)