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

 

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