Lógica I, Capítulo IV (resueltos by AIC)

Parte B - Problema#11
P	→	¬Q,	Q	⊨	¬P
[(P	→	¬Q)	∧	L]	→	¬P
0	1	1	0	0	1	1
0	1	0	1	1	1	1
1	1	1	0	0	1	0
1	0	0	0	1	1	0
			Resultado: 1: Válido, Tautología
Parte B - Problema#12
	P: Interés por el pasado
	Q: Tener idea del presente
	R: estudiar historia es una pérdida de tiempo
¬P	∧	Q	∧	¬P	∧	Q)	→	R	⊨	R
[(¬P	∧	Q)	∧	[(¬P	∧	Q)	→	R]	→	R
1	0	0	0	1	0	0	1	0	1	0
1	0	0	0	1	0	0	1	1	1	1
1	1	1	0	1	1	1	0	0	1	0
1	1	1	1	1	1	1	1	1	1	1
0	0	0	0	0	0	0	1	0	1	0
0	0	0	0	0	0	0	1	1	1	1
0	0	1	0	0	0	1	1	0	1	0
0	0	1	0	0	0	1	1	1	1	1
						Resultado: 1: Válido, Tautología
Parte B - Problema#14
14.	P: Occidete es indiferente a Yemen
Q: hay un doble estandar
	P	⊨	P	v	Q
	P	→	(P	v	Q)
	0	1	0	0	0
	0	1	0	1	1
	1	1	1	1	0
	1	1	1	1	1
	Resultado: 1: Válido, Tautología
Parte B - Problema#15
	P: El SARS fue creado e
	Q: Los cospiracionistas tienen razon
(P	v	Q)	→	(~P	→	Q)
0	0	0	1	1	0	0
0	1	1	1	1	1	1
1	1	0	1	0	1	0
1	1	1	1	0	1	1
		Resultado: 1: Válido, Tautología