Ejercicio logica formal
| |[pic]|
| |Teoría de la Computación |
|| |
| |Iván Uapeani RamosZepeda |
| |Cve. 080000549|
|[Tablas de Verdad]|
|Ejercicios. |
Expresa las siguientes proposicionesusando p, q y los conectivos.
Sean p: “La temperatura está sobre los 17°C” q: “ Llueve”
La temperatura está sobre los 17°C pero llueve. P ^ Q
Ni la temperatura supera los 17°C ni llueve.~P ^ ~Q
No es cierto que llueva con la temperatura superior a los 17°C. P -> ~Q
Llueve cuando la temperatura está sobre los 17°C. P -> Q
Que la temperatura esté sobre los 17°C es suficientepara que no llueva. P -> ~Q
O bien llueve o bien la temperatura es superior a 17°C. P v Q
Construir las tablas de verdad de las siguientes proposiciones
• p ^ ~q
|p |q|p ^ ~q | ~q |
|v |v |f |F |
|f |v |f...
Regístrate para leer el documento completo.