document.write( "Question 996085: Solve the following using rules of replacement:\r
\n" ); document.write( "\n" ); document.write( "(E → T) ∧ (T → O), (是 ∨ E)∴ (O ↔ T) \n" ); document.write( "

Algebra.Com's Answer #614647 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	(E -> T) & (T -> O)
2	~O v E
:.	O <--> T
3	E -> T	1	Simp
4	(T -> O) & (E -> T)	1	Comm
5	T -> O	4	Simp
6	~~O -> E	2	MI
7	O -> E	6	DN
8	O -> T	7,3	HS
9	(O -> T) & (T -> O)	8,5	Conj
10	O <--> T	9	ME

\r
\n" ); document.write( "\n" ); document.write( "Acronyms/Abbreviations used
\n" ); document.write( "Simp = Simplification
\n" ); document.write( "Comm = Commutation
\n" ); document.write( "MI = Material Implication
\n" ); document.write( "ME = Material Equivalence
\n" ); document.write( "Conj = Conjunction
\n" ); document.write( "HS = Hypothetical Syllogism \n" ); document.write( "

\n" );