Ejercisios de logica de predicados y enunciados logicos

Solo disponible en BuenasTareas
  • Páginas : 3 (506 palabras )
  • Descarga(s) : 0
  • Publicado : 18 de noviembre de 2010
Leer documento completo
Vista previa del texto
SECCION I. TABLAS DE VERDAD

1. (P^Q)(PQ)
P | Q | (P^Q) | (PQ) | (P^Q)(PQ) |
V | V | V | V | V |
V | F | F | V | V |
F | V | F | V | V |
F | F | F | F | V |

2. (P^Q)(Q^R)}
P| Q | R | (P^Q) | (Q^R) | (P^Q)(Q^R) | (P^Q)(Q^R)} |
V | V | V | V | V | V | F |
V | V | F | F | F | V | F |
V | F | V | F | F | V | F |
V | F | F | F | F | V | F |
F | V | V | F | V | F |V |
F | V | F | F | F | V | F |
F | F | V | F | F | V | F |
F | F | F | F | F | V | F |

3.- (PQ)^(PQ)}

P | Q | (PQ) | (PQ) | (PQ)^(PQ) | (PQ)^(PQ)} |
V | V | V | V | V | F |
V | F |V | F | F | V |
F | V | V | V | V | F |
F | F | F | V | F | V |

4.- P^(QR)(PR)
P | Q | R | (QvR) |   (P^(QvR) | R | (PR) | (PR) | (P(QR)(PR) |
V | V | F | V | V | V | V | F | F |V | V | V | V | V | F | V | F | F |
V | F | F | F | F | V | V | F | V |
V | F | V | V | V | F | V | F | F |
F | V | F | V | F | V | V | F | V |
F | V | V | V | F | F | F | V | F |
F | F |F | F | F | V | V | F | V |
F | F | V | V | F | F | F | V | F |

5.- ((P^Q)^R)^(PR)
P | Q | R | (P^Q) | (P^Q)^R) | ~P | ~R | (~Pv~R) | ((P^Q)^R)^(~Pv~R) |
V | V | F | V | V | F | V | V | V |V | V | V | V | V | F | F | F | F |
V | F | F | F | F | F | V | V | F |
V | F | V | V | V | F | F | F | F |
F | V | F | F | F | V | V | V | F |
F | V | V | F | V | V | F | V | V |
F | F |F | F | F | V | V | V | F |
F | F | V | F | V | V | F | V | V |

SECCION II. LOGICA DE ENUNCIADOS
1. Si los seres humanos, pusiéramos más atención a los problemas naturales, el mundo noestaría en las condiciones actuales.
H -> M ¬ C

2. Tengo hambre y sueño, pero no sueño
H^ѬS
3. Si y solo si dices la verdad, estarás siendo honesto y leal
V <-> H ^ L
4. Estecoche es veloz y consume poca gasolina, sin embargo no es barato
V^G -> ¬B
5. Si los casos que valen la pena se hicieran fácilmente, cualquiera las haría
V -> C

SECCION III. LOGICA DE...
tracking img