Logica de Predicados Resumen

1
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

Transcript of Logica de Predicados Resumen

Page 1: Logica de Predicados Resumen

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