Lógica I, Capítulo IV (Problema#9 by AIC)

 

Parte A - Problema#9
[(P	∧	Q)	∨	(R	∧	S)]	∧	(P	→	¬P)]	→	S
0	0	0	0	0	0	0	0	0	1	1	1	0
0	0	0	0	0	0	1	0	0	1	1	1	1
0	0	0	0	1	0	0	0	0	1	1	1	0
0	0	0	1	1	1	1	1	0	1	1	1	1
0	0	1	0	0	0	0	0	0	1	1	1	0
0	0	1	0	0	0	1	0	0	1	1	1	1
0	0	1	0	1	0	0	0	0	1	1	1	0
0	0	1	1	1	1	1	1	0	1	1	1	1
1	0	0	0	0	0	0	0	1	0	0	1	0
1	0	0	0	0	0	1	0	1	0	0	1	1
1	0	0	0	1	0	0	0	1	0	0	1	0
1	0	0	1	1	1	1	0	1	0	0	1	1
1	1	1	1	0	0	0	0	1	0	0	1	0
1	1	1	1	0	0	1	0	1	0	0	1	1
1	1	1	1	1	0	0	0	1	0	0	1	0
1	1	1	1	1	1	1	0	1	0	0	1	1
								Resultado: 1: Válido, Tautología