Comprueba si la fórmula  B es consecuencia lógica del con-
junto de fórmulas {A1...An}

[Ejercicio 26] A1= p ^ q;  B= p

p	q	¬p	p ^ q	(p ^ q) ^ ¬p
1	1	0	1	0
1	0	0	0	0
0	1	1	0	0
0	0	1	0	0

 

ES CONSECUENCIA LóGICA.

2. [Ejercicio 27] 1 A1= (p ^ q) --> r;  B= p --> (q --> r)
3. [Ejercicio 28] 1 A= ¬q v p; 2 A2=p --> q;  B=p <--> q

p	q	¬q	p --> q	p <--> q	¬(p <--> q)	¬q ^ p --> q ^ ¬(p <--> q)
1	1	0	1	1	0	0
1	0	1	0	0	1	0
0	1	0	1	0	1	0
0	0	1	1	1	0	0

ES CONSECUENCIA LÓGICA.

4. [Ejercicio 29] 1 A1= ¬(p --> q);  B=q-->¬p
5. [Ejercicio 30] 1 A1= p --> q; A2= r --> q; A3= s --> q;  B= (p v q v s) --> q

p	q	r	s	A  p --> q	B  r --> q	C  s --> q	p v q	p v q v r	D  (p v q v r) --> q	¬D	A ^ B ^ C ^ ¬D
1	1	1	1	1	1	1	1	1	1	0	0
1	1	1	0	1	1	1	1	1	1	0	0
1	1	0	1	1	1	1	1	1	1	0	0
1	1	0	0	1	1	1	1	1	1	0	0
1	0	1	1	0	0	0	1	1	0	1	0
1	0	1	0	0	0	1	1	1	0	1	0
1	0	0	1	0	1	0	1	1	0	1	0
1	0	0	0	0	1	1	1	1	0	1	0
0	1	1	1	1	1	1	1	1	1	0	0
0	1	1	0	1	1	1	1	1	1	0	0
0	1	0	1	1	1	1	1	1	1	0	0
0	1	0	0	1	1	1	1	1	1	0	0
0	0	1	1	1	0	0	0	1	0	1	0
0	0	1	0	1	0	1	0	1	0	1	0
0	0	0	1	1	1	0	0	0	1	0	0
0	0	0	0	1	1	1	0	0	1	0	0

 

ES CONSECUENCIA LÓGICA

 

 

¿Quieres conocer al profesor de lógica formal de la Academia LAP?

 

 

Regresar

 

Por favor, dejad vuestra opinión sobre los ejercicios de la página web para que pueda mejorarlos o ampliarlos. ¡Muchísimas gracias a todos! < <

 

Comentarios, sugerencias y críticas