Ejercicio logica formal

Solo disponible en BuenasTareas
  • Páginas : 4 (854 palabras )
  • Descarga(s) : 0
  • Publicado : 10 de noviembre de 2010
Leer documento completo
Vista previa del texto
|Lic. Sistemas de Computación Administrativa | |
| |[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...
tracking img