document.write( "Question 1061182: 1. (N v M) > (P & O)
\n" ); document.write( "2. ~M > (~Q > Q)
\n" ); document.write( "3. ~O\r
\n" ); document.write( "\n" ); document.write( "/Q \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	(N v M) > (P & O)
2	~M > (~Q > Q)
3	~O
:.	Q
4	~(N v M) v (P & O)	1	MI
5	[~(N v M) v P] & [~(N v M) v O]	4	Dist
6	[~(N v M) v O] & [~(N v M) v P]	5	Comm
7	~(N v M) v O	6	Simp
8	O v ~(N v M)	7	Comm
9	~(N v M)	8,3	DS
10	~N & ~M	9	DM
11	~M & ~N	10	Comm
12	~M	11	Simp
13	~M > (~~Q v Q)	2	MI
14	~M > (Q v Q)	13	DN
15	~M > Q	14	Taut
16	Q	15,12	MP

\r
\n" ); document.write( "\n" ); document.write( "Abbreviations/Acronyms used:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Comm = Commutation
\n" ); document.write( "Dist = Distribution
\n" ); document.write( "DM = De Morgan's Law
\n" ); document.write( "DN = Double Negation
\n" ); document.write( "DS = Disjunctive Syllogism
\n" ); document.write( "MI = Material Implication
\n" ); document.write( "MP = Modus Ponens
\n" ); document.write( "Simp = Simplification
\n" ); document.write( "Taut = Tautology
\n" ); document.write( " \n" ); document.write( "

\n" );