View difference between Paste ID: <a href="/4CFaYVzT">4CFaYVzT</a> and <a href="/5Fbp8f85">5Fbp8f85</a>

AND Intro
1		AND Intro
2		A
3		B
4		------
5		A ^ B
6	-
6	+
7		AND Elim
8		(A ^ B)
9		-------
10		A or B
11	-
11	+
12		OR Intro
13		(~A -> B)
14		---------
15		(A v B)
16	-
16	+
17		OR Elim
18		(A v B)
19		(A -> C)
20		(B -> C)
21		---------
22		C
23	-
23	+
24		IMPLY Intro
25		A
26		----
27		B -> A
28	-
28	+
29		IMPLY Elim
30		(A -> B)
31		A
32		--------
33		B
34	-
34	+
35		NOT Intro
36		(A -> B)
37		(A -> ~B)
38		---------
39		~A
40	-
40	+
41		NOT Elim
42		~~A
43	-	A
43	+
44		A
45		============
46		& Conditional Proof, Universal Intro/Elim, Existential Intro/Elim, Identity Intro/Elim.