Logica de predicados

Páginas: 5 (1060 palabras) Publicado: 29 de octubre de 2010
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) |...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Logica de predicados

    ... INSTITUTO TECNOLÓGICO Superior de Apatzingán MATEMATICAS DISCRETAS TRABAJO: ARGUMENTOS VALIDOS Y NO VALIDOS LOGICA DE PREDICADOS ING: EN INFORMATICA ALUMNOS: MARTINEZ CHAVEZ MARCO DANIEL BRENDA ARACELI RIVAS CEJA JESUS IVAN VILLANUEVA GOVEA JONATHAN RAFAEL TORRECILLA MURGUÍA ASESOR: I.S.C. JAVIER CISNEROS LUCATERO APATZINGAN MICH;...

    Leer más
    1202 Palabras 5 Páginas
  • logica de predicados

    ...Lógica de Predicados Ing. Bruno López Takeyas Lógica de predicados • Lógica de predicados • Cálculo de predicados • Reglas de inferencia • Deducción proposicional • Demostración condicional • Demostración indirecta • Valores de certeza y Tautología Lógica de Predicados Ing. Bruno López Takeyas Lógica de predicados...

    Leer más
    1001 Palabras 5 Páginas
  • Logica De Predicados

    ...Soluciones Ejercicios 5: L´ogica de Predicados TAII(I)-L´ogica 26 de abril de 2006 1. Ejercicio 5.1 Formalizar en el c´alculo de predicados las siguientes sentencias en lenguaje natural. 1. Todos los actores son famosos. a) D = las personas A(-): - es actor F(-): - es famoso ∀x[A(x) −→ F (x)] b) D = los actores F(-): - es famoso ∀xF (x) 2. Algunos padres son responsables. a) D = las personas P(-): - es padre R(-): - es responsable ∃x[P (x) ∧ R(x)] b) D = los...

    Leer más
    1612 Palabras 7 Páginas
  • Lógica De Predicados

    ...LÓGICA DE PREDICADOS La parte de la Lógica que se ocupa de analizar los argumentos que envuelven el uso de las partículas Todos o Algunos se la denomina Lógica de Predicados. La lógica de predicados estudia las proposiciones analizando su estructura interna. Para ello utilizará como elemento básico los cuantores. Los cuantores pueden ser: * Generalizador: Todos, ninguno ∆ *...

    Leer más
    778 Palabras 4 Páginas
  • logica de predicados

    ...3.2 Lógica de predicados Predicados de primer orden Lenguaje formal de la lógica de predicados (sintaxis) Cuando decimos “Pitágoras nació en Grecia” declaramos una proposición. Esta proposición tiene dos componentes principales: Pitágoras nació en Grecia Sujeto predicado...

    Leer más
    1035 Palabras 5 Páginas
  • LOGICA DE PREDICADOS

    ...En el siguiente trabajo hablaremos sobre La evolución de los últimos años en la informática donde aplicamos la lógica en la programación ha derivado en la programación declarativa. La programación declarativa se fundamenta en la teoría en la lógica de predicados. Esta lógica se centra en conseguir sistemas que demuestren automáticamente teoremas. Lenguaje Formal de la Lógica de Predicados...

    Leer más
    1158 Palabras 5 Páginas
  • Ejercisios de logica de predicados y enunciados logicos

    ...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 no estarí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...

    Leer más
    506 Palabras 3 Páginas
  • Logica Predicativa Y Cuantificativa

    ...término suele utilizarse para nombrar a la cosa que es propiedad de una persona determinada, es decir, que tiene un dueño. En el caso de lógica matemática, la pertenencia se refiere a un si un conjunto o elemento está dentro del diagrama, formando parte de él. Para expresar pertenencia usamos el siguiente símbolo o signo: No Pertenencia: La no pertenencia en lógica matemática es totalmente lo contrario a la pertenencia, puesto que se refiere a que un...

    Leer más
    1455 Palabras 6 Páginas

OTRAS TAREAS POPULARES

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS