Deduccin indirecta

Cuerpo de
Premisas

Conclusin
1) ( N C ) ( P V) P (CvT) 1) ( N C ) ( P V) P (CvT)

2) (RT) P 2) (RT) P

3) (NvR) P 3) (NvR) P
4) -(CvT) Hip. Del Absurdo
4) (NC) 1S

5) (CvT) 2-4-3 SH 5) -C-T 4 LM

6) -C 5S
7) NC 1S
8) -N 7-6 MT
9) -T 5S
10) - R 2-9 MT
11) N 3-10 SD

12) N - N 11-8 C

13) - - ( C v T ) 4-12 Por red. Ads

14) ( C v T ) 13 DN
1) (AB)(CD) E -F
2) (EA)( FG) P
3) ( F B ) ( D G) P
4) -C P
1) N O OvQ
2) P Q P
3) -N ( -P R ) P
4) -R P
1) ( A R) P ( -A v -C )

2) (CF) P

3) ( -R v -F ) P
1) NO P QvL

2) FQ P

3) RM P

4) JL P

5) F P

6) -M -O P

7) H P