Logica de predicados

Solo disponible en BuenasTareas
  • Páginas : 5 (1060 palabras )
  • Descarga(s) : 0
  • Publicado : 29 de octubre de 2010
Leer documento completo
Vista previa del texto
Lógica de proposiciones.

1.- (p → ¬q) (¬p r)
p | q | r | ¬q | ¬p | p→¬q | ¬pr | (p→¬q)(¬pr) |
V | V | V | F | F | F | V | V |
V | V | F | F | F | F | F | F |
V | F | V | V | F | V | V | V |
V | F | F | V | F | V | F | V |
F | V | V | F | V | V | V | V |
F | V | F | F | V | V | V | V |
F | F | V | V | V | V | V | V |
F | F | F | V | V | V | V | V |

2.- (¬p q) → ¬(q ¬r)p | q | r | ¬r | ¬p | q¬r | ¬pq | ¬(q¬r) | (¬pq)¬(q¬r) |
V | V | V | F | F | V | F | F | V |
V | V | F | V | F | V | F | F | V |
V | F | V | F | F | F | F | V | V |
V | F | F | V | F | F | F | V | V |
F | V | V | F | V | V | V | F | F |
F | V | F | V | V | V | V | F | F |
F | F | V | F | V | V | F | F | V |
F | F | F | V | V | V | F | F | V |

3.- ¬(p ¬q) → ¬r
p | q | r |¬q | p¬q | ¬(p¬q) | ¬r | ¬(p¬q)→¬r |
V | V | V | F | F | V | F | F |
V | V | F | F | F | V | V | V |
V | F | V | V | V | F | F | V |
V | F | F | V | V | F | V | V |
F | V | V | F | F | V | F | F |
F | V | F | F | F | V | V | V |
F | F | V | V | F | V | F | F |
F | F | F | V | F | V | V | V |

4.- ( p q ) r p ( q r )
P | q | r | pq | pr | (pq) r | p (qr) | (pq)rp(qr) |
V |V | V | V | V | V | V | V |
V | V | F | V | F | F | F | V |
V | F | V | F | F | F | F | V |
V | F | F | F | F | F | F | V |
F | V | V | F | V | F | F | V |
F | V | F | F | F | F | F | V |
F | F | V | F | F | F | F | V |
F | F | F | F | F | F | F | V |

5.- ( p q ) r p ( q r )
p | q | r | pq | pr | (pq) r | p (qr) | (pq)rp(qr) |
V | V | V | V | V | V | V | V |
V | V | F |V | V | V | V | V |
V | F | V | V | V | V | V | V |
V | F | F | V | F | V | V | V |
F | V | V | V | V | V | V | V |
F | V | F | V | V | V | V | V |
F | F | V | F | V | V | V | V |
F | F | F | F | F | F | F | V |

6.- [ ( p q ) r ] [ p ( q r ) ]
p | q | r | pq | pr | (pq)r | p(qr) | [(pq)r][p(qr) |
V | V | V | V | V | V | V | V |
V | V | F | V | F | F | F | V |
V | F | V| F | F | F | F | V |
V | F | F | F | V | V | V | V |
F | V | V | F | V | F | F | V |
F | V | F | F | F | V | V | V |
F | F | V | V | F | V | V | V |
F | F | F | V | V | F | F | V |

7.- p ( q r ) ↔ ( p q ) ( p r )
p | q | r | pq | pr | qr | p(qr) | (pq)(pr) | p(qr)↔(pq)(pr) |
V | V | V | V | V | V | V | V | V |
V | V | F | V | F | V | V | V | V |
V | F | V | F | V | V |V | V | V |
V | F | F | F | F | F | F | F | V |
F | V | V | F | F | V | F | F | V |
F | V | F | F | F | V | F | F | V |
F | F | V | F | F | V | F | F | V |
F | F | F | F | F | F | F | F | V |

8.- p ( q r ) ↔ [ ( p q ) ( p r ) ]
p | q | r | qr | p(qr) | pq | pr | (pq)(pr) | p(qr)↔[(pq)(pr)] |
V | V | V | V | V | V | V | V | V |
V | V | F | F | V | V | V | V | V |
V | F | V| F | V | V | V | V | V |
V | F | F | F | V | V | V | V | V |
F | V | V | V | V | V | V | V | V |
F | V | F | F | F | V | F | F | V |
F | F | V | F | F | F | V | F | V |
F | F | F | F | F | F | F | F | V |

9.- (p → ¬ r) ↔ (q v p)
p | q | r | ¬r | P→¬r | qp | (p→¬r)↔(qp) |
V | V | V | F | F | V | F |
V | V | F | V | V | V | V |
V | F | V | F | F | V | F |
V | F | F | V | V |V | V |
F | V | V | F | V | V | V |
F | V | F | V | V | V | V |
F | F | V | F | V | F | F |
F | F | F | V | V | F | F |

10.- p q ( p q ) ( q p )
p | q | pq | pq | qp | (pq)(qp) | (pq)(pq)(qp) |
V | V | V | V | V | V | V |
V | F | F | F | V | F | V |
F | V | F | V | F | F | V |
F | F | V | V | V | V | V |

11.- p q ↔ ( p q ) ¬( p q )
p | q | pq | (pq) | ¬(pq) |(pq)¬(pq) | (pq) | (p q)(p q)¬(pq) |
V | V | F | V | F | F | V | F |
V | F | V | F | V | V | V | F |
F | V | V | F | V | V | V | F |
F | F | F | F | V | F | F | F |

12.- (P Q) (P Q)
p | q | pq | ¬q | p¬q | (pq)(p¬q) |
V | V | V | F | F | F |
V | F | F | V | V | F |
F | V | F | F | F | F |
F | F | V | V | F | F |

13.- P (Q P)
p | q | qp | ¬(qp) |...
tracking img