SOLUTION: I have been on these proofs for days and I can't seem to figure my homework out. Thank you for looking at this problem. Here is an example that would help me if figured out. N>[

Question 1003311: I have been on these proofs for days and I can't seem to figure my homework out. Thank you for looking at this problem. Here is an example that would help me if figured out.
N>[(P>P)>W] / W>{[M>(I>M)]>(O.~O)} // ~N
The > represents the horseshoe
Thanks again.
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
This proof was very difficult. Probably the longest and most difficult (or one of the most difficult) I've ever come across. There may be an easier way, but I haven't found it. It took me quite a wihle to figure it out, so that may explain why I'm not the most efficient in this derivation.

Number		Statement	Lines Used	Reason
1		N > [(P > P) > W]
2		W > {[M > (I > M)] > (O * ~O)}
:.		~N
\|	3	~~N		AIP
\|	4	N	3	DN
\|	5	(P > P) > W	1,4	MP
\|	6	(~P v P) > W	5	MI
\|	7	~(~P v P) v W	6	MI
\|	8	(~~P * ~P) v W	7	DM
\|	9	(P * ~P) v W	8	DN
\|	10	W v (P * ~P)	9	Comm
\|	11	(W v P) * (W v ~P)	10	Dist
\|	12	(W v ~P) * (W v P)	11	Comm
\|	13	W v P	11	Simp
\|	14	W v ~P	12	Simp
\|	15	~~W v P	13	DN
\|	16	~~W v ~P	14	DN
\|	17	~W > P	15	MI
\|	18	~W > ~P	16	MI
\|	19	~~P > ~~W	18	Trans
\|	20	P > W	19	DN
\|	21	~W > W	17,20	HS
\|	22	~~W v W	21	MI
\|	23	W v W	22	DN
\|	24	W	23	Taut
\|	25	[M > (I > M)] > (O * ~O)	2,24	MP
\|	26	[M > (~I v M)] > (O * ~O)	25	MI
\|	27	[~M v (~I v M)] > (O * ~O)	26	MI
\|	28	~[~M v (~I v M)] v (O * ~O)	27	MI
\|	29	[~~M * ~(~I v M)] v (O * ~O)	28	DM
\|	30	[M * ~(~I v M)] v (O * ~O)	29	DN
\|	31	[M * (~~I * ~M)] v (O * ~O)	30	DM
\|	32	[M * (I * ~M)] v (O * ~O)	31	DN
\|	33	[M v (O * ~O)] * [(I * ~M) v (O * ~O)]	32	Dist
\|	34	[(I * ~M) v (O * ~O)] * [M v (O * ~O)]	33	Comm
\|	35	M v (O * ~O)	33	Simp
\|	36	(I * ~M) v (O * ~O)	34	Simp
\|	37	[(I * ~M) v O] * [(I * ~M) v ~O)]	36	Dist
\|	38	[(I * ~M) v ~O)] * [(I * ~M) v O]	37	Comm
\|	39	(I * ~M) v O	37	Simp
\|	40	O v (I * ~M)	39	Comm
\|	41	~~O v (I * ~M)	40	DN
\|	42	~O > (I * ~M)	41	MI
\|	43	(I * ~M) v ~O	38	Simp
\|	44	~O v (I * ~M)	43	Comm
\|	45	~~O > (I * ~M)	44	MI
\|	46	O > (I * ~M)	45	DN
\|	47	~(I * ~M) > ~O	46	Trans
\|	48	~(I * ~M) > (I * ~M)	47,42	HS
\|	49	~~(I * ~M) v (I * ~M)	48	MI
\|	50	(I * ~M) v (I * ~M)	49	DN
\|	51	I * ~M	50	Taut
\|	52	~M * I	51	Comm
\|	53	~M	52	Simp
\|	54	O * ~O	35,53	DS
55		~(~~N)	3-54	IP
56		~N	55	DN

Acronyms/Abbreviations Used:

AIP = Assumption for Indirect Proof
Comm = Commutation
Dist = Distribution
DM = De Morgan's Law
DN = Double Negation
DS = Disjunctive Syllogism
HS = Hypothetical Syllogism
IP = Indirect Proof (aka proof by contradiction)
MI = Material Implication
MP = Modus Ponens
Simp = Simplification
Taut = Tautology
Trans = Transposition
RELATED QUESTIONS
My teacher handed us a worksheet on algabraic proofs and told us to do it for homework. I (answered by rothauserc)

i have been working on this problem for an hour and cannot seem to figure it out. Thank... (answered by Fombitz,edjones)

Iv been trying to figure out how to solve this for like 3 days Im stuck.this Is my last... (answered by fcabanski)

Suppose you have a lemonade stand, and when you charge $1 per cup of lemonade you sell 60 (answered by longjonsilver)

I am studing the substitution Method.. and for some reason i can not seem to figure out... (answered by xcentaur)

Help! I have been trying to figure out this word problem for 3 days now, and I can't seem (answered by stanbon)

I need help, please,I have been working on these and I think I have gone brain-dead. 5/4x (answered by Alan3354)

I have been trying to turn this word problem into a linear equation for a while and have... (answered by ramkikk66)

This may seem like a crazy question, but every book I have consulted gives a vague... (answered by shree840,richard1234)