PRÁCTICA DE LÓGICA-TABLAS DE VERDAD
1. Si el esquema:
( pq ) ( rs ) es falso. Hallar el valor de verdad de: p, q, r, s
2. Dada la siguiente tabla de verdad:
¿A qué conectivo lógico corresponde?
3. Al evaluar mediante tablas de verdad el siguiente enunciado: “Nunca jamás vi al vecino, sin embargo yo me casé con el vecino”, se obtiene:
4. Sabiendo que s es verdadero y el valor de la fórmula:
[(p q) (r p)] [(p r) s], es falso, determine el valor de verdad de: p, q y r
5. Dado el siguiente razonamiento: “Si estudias Estática, entonces lo aplicas al diseño estructural; además, no estudias estática o lo aplicas al diseño estructural”. Simbolizar y hallar su matriz resultante por tablas de verdad
6. Un estudiante de la asignatura de Lógica ha salido a la pizarra a resolver el siguiente esquema molecular por tablas de verdad, obteniendo los siguientes resultados:
¿Cuáles filas son correctas?
7. Si p * q ( p q ) ; evaluar: (q * q ) * ( p * q )
8. Si: p * q (p q ) ( q p ) p#q(pq)(pq) p % q ( p q ) ( q p ) Evaluar: [ ( p * r ) # ( q % p ) ] * [ ( q % r )* ( p # q ) ]
9. Dada la siguiente tabla de verdad: p
q
p*q
p#q
p$q
V
V
F
F
F
V
F
V
F
V
F
V
V
F
V
F
F
V
V
F
Evaluar:
9.1 ( p q ) $ ( q # r ) 9.2 ( q r ) # ( r q ) 9.3 ( p r ) * ( r # q ) 9.4 ( q $ r ) # ( r * p )
10. Evaluar mediante tablas de verdad y determinar el tipo de esquema molecular correspondiente: NOTA: ” “ REPRESENTA A LA DISYUNCION ESXCLUSIVA
10.1 { [ (p q ) r ] q } (q r ) 10.2 { [ (p q ) r ] q } (q r ) 10.3. { [ (q r ) r ] q } (p r ) 10.4. [ (p q ) ( p r ) ] [ ( q r ) ( p q ) ] 10.5. [ (r q ) ( q r ) ] [ ( p r ) ( p q ) ] 10.6 [ (p q ) ( p r ) ] [ ( q r ) ( p q ) ] 10.7 { [ (p q ) ( p r ) ] [ ( q r ) ( p q ) ] } r 10.8. [ (p s ) ( q r ) ] [ ( q r ) ( p q ) ] 10.9 { [ (p q ) ( p s ) ] [ ( q r ) ( r q ) ] } ( p q ) 10.10 [ (s q ) ( q r ) ] [ ( q r ) ( p q ) ] 10.11 { [ (p q ) r ] q } (q r ) 10.12 { [ (p q ) r ] q } (q r ) 10.13. { [ (q r ) r ] q } (p r ) 10.14. [ (p q ) ( p r ) ] [ ( q r ) ( p q ) ] 10.15. [ (r q ) ( q r ) ] [ ( p r ) ( p q ) ] 10.16 [ (p q ) ( p r ) ] [ ( q r ) ( p q ) ] 10.17 { [ (p q ) ( p r ) ] [ ( q r ) ( p q ) ] } r 10.18. [ (p s ) ( q r ) ] [ ( q r ) ( p q ) ] 10.19 { [ (p q ) ( p s ) ] [ ( q r ) ( r q ) ] } ( p q ) 10.20 [ (s q ) ( q r ) ] [ ( q r ) ( p q ) ]