Lógica I, Capítulo IV (problema#4, 10 - resueltos by AIC)

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

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