Condicional

1-x (Rx Sx) x (Rx (Sx Px))

2-Ra sup. cond.

3-Sa e 1, 2

4-Sa Pa int. 3

5-Ra (Sa Pa) int.

6-x (Rx (Sx Px)) int. en 5

1-x Px y (Qy ((Py Qy) Ry)

2- Pa elim 1

3- Qa sup. cond

4-Pa Qa 2, 3 int.

5- (Pa Qa) Ra 4 int.

6-Qa ((Pa Qa) Ra) int.

7-y (Qy ((Py Qy) Ry) 6 int.

1-x (Px (Qx Rx)) z (Qz (Pz Rz))

2-Pa (Qa Ra) 1 elim

3- Qa sup. cond.

4- Pa sup. Cond.

5- Qa Ra 2, 4 elim.

6- Ra 3, 5 elim.

7-Pa Ra int.

8-Qa (Pa Ra) int.

9-z (Qx (Pz Rz)) 8 int.

Absurdo

1-y (Py Qy) x (Px Qx)

2-Pa Qa 1 elim.

3-Pa Qa sup. abs.

4-Pa 2 elim.

5-Qa 2 elim.

6-Qa 3, 4 elim.

7- 5, 6 elim.

8- (Pa Qa) int.

9-x (Px Qx) 8 int.

1-x (Px Qx) x Px

2- Pa Pa 1 elim.

3- Pa sup. abs.

4-Pa 2, 3 elim.

5- 3, 4 elim.

6- Pa int.

7-Pa 6 elim.

8-x Px 7 int

1-Pa Qa z Pz

3-Qa

4-Pa sup. abs

5-Qa 1, 4 elim.

6- 3,5 elim.

7-Pa int.

8-z Pz 7 int.
Particular

1- x (Px Qx) x Px y Qy

2- Pa Qa sup. Part.

3- Pa 2 elim.

4- Qa 2 elim.

5- x Px 3 int.

6- y Qy 4 int.

7- x Px y Qy 5, 6 int.

8- Pa Qa x Px y Qy int.

9- x Px y Qy 1, 8 elim.

1- x Px y Qy x (Px Qx) y Qy

2- x Px 1 elim.

3- y Qy 1 elim.

4- Pa sup. Part

5- Pa Qa 4 int.

6- x (Px Qx) 5 int.

7- Pa x (Px Qx) int.

8- x (Px Qx) 2, 7 elim.

9- x (Px Qx) y Qy 3, 8 int.

1- x Px y (Qy (Py Ry))

2- Pa sup. Part.

3- Pa (Qa Ra) 3 int.

4- y(Py (Qy Ry)) 4 int.

5- Pa y(Py (Qy Ry)) int.

6- y (Py (Qy Ry)) 2, 5 elim.

Dos Supuestos

1-x (Px Qx) sup. Cond. x (Px Qx)

2- Pa Qa 1 elim.

3-x (Px Qx) sup. abs.

4-Pa Qa sup.

5- Pa 4 elim.

6- Qa 4 elim.

7- Qa elim. en 2, 5

8- elim. 6, 7

9- Pa Qa int.

10- elim. 3, 9

11- x (Px Qx) int.

1- x (Px Qx) x (Px Qx)

2- Pa sup. Cond.

3- Qa sup. Abs.

4- Pa Qa 2, 3 int.

5- x (Px Qx) 4 int.

6- 1, 5 Elim.

7- Qa int.

8- Qa 7 elim.

9- Pa Qa int.

10- x (Px Qx) 9 int.