7/24/2019 Logica de Predicados Resumen

http://slidepdf.com/reader/full/logica-de-predicados-resumen 1/1

LOGICA DE PREDICADOS

CUANTIFICADORES:

  Cuantificador universal: “para todo x; p(x)” se escribe "∀,()"

  Cuantificador existencial: “existe un x tal que p(x)” se escribe "∃: ()" 

  Valores de verdad. Resumen:

CÁLCULO DE PREDICADOS:

  Leyes de De Morgan generalizadas:

•  Negación de proposiciones: Las leyes de De Morgan generalizadas pueden utilizarse repetidamente para negar cualquier

proposición con cuantificadores.

Regla general: La negación de una proposición con cuantificadores es lógicamente equivalente a la proposición que se obtiene

sustituyendo cada 8 por 9, cada 9 por 8 y reemplazando el predicado por su negación. 

  Proposiciones al alcance de un cuantificador: proposición está dentro del alcance de un cuantificador mediante una conjunción o

una disyunción, entonces puede situarse fuera del alcance del mismo. 

  Asociatividad y Distributividad:

LEY DEMOSTRACION

1 Definición de implicación lógica

2 Definición de implicación lógica

3 Negar predicados y aplicar DeMorgan

4 Negar predicados, contrarrecíproca y

DeMorgan