SOLUTION: Solve the following using rules of replacement: (E → T) ∧ (T → O), (是 ∨ E)∴ (O ↔ T)

Algebra ->  Proofs -> SOLUTION: Solve the following using rules of replacement: (E → T) ∧ (T → O), (是 ∨ E)∴ (O ↔ T)      Log On


   

Question 996085: Solve the following using rules of replacement:
(E → T) ∧ (T → O), (是 ∨ E)∴ (O ↔ T)
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1(E -> T) & (T -> O)
2~O v E
:.O <--> T
3E -> T1Simp
4(T -> O) & (E -> T)1Comm
5T -> O4Simp
6~~O -> E2MI
7O -> E6DN
8O -> T7,3HS
9(O -> T) & (T -> O)8,5Conj
10O <--> T9ME

Acronyms/Abbreviations used
Simp = Simplification
Comm = Commutation
MI = Material Implication
ME = Material Equivalence
Conj = Conjunction
HS = Hypothetical Syllogism