Logica de Predicados Resumen
-
Upload
nico-ruiz-requejo -
Category
Documents
-
view
226 -
download
0
Transcript of 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