Logica de Predicados Resumen
-
Upload
nico-ruiz-requejo -
Category
Documents
-
view
226 -
download
0
Transcript of Logica de Predicados Resumen
![Page 1: Logica de Predicados Resumen](https://reader035.fdocuments.co/reader035/viewer/2022081804/5695d2e51a28ab9b029c1b5f/html5/thumbnails/1.jpg)
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