FÓRMULAS EXAMEN FINAL LÓGICA

FÓRMULAS EXAMEN FINAL LÓGICA 2020-I

1.   Reglas de formación para FBF (LP)

[pic 1]

• SI SE PIDE EXPLICAR SI UNA FÓRMULA ES BIEN FORMADA O NO

SE DEBE HACER EL ESQUEMA INDICANDO EL NÚMERO DE REGLA USADO PARA SU FORMACIÓN. ASÍ MISMO NO OLVIDAR QUE SI SIGUE LA REGLA DE FORMACIÓN 3 , DEBE INDICARSE A QUÉ GRUPO PERTENERCE ( a,b,c,d)

• UTILIZAR CORCHETES Y HACER EL DIAGRAMA COMO SI FUERA UN ÁRBOL.

1. SIMBOLIZACIÓN EN LP

[pic 2]

TIP:

• Para no fallar en la simbolización de enunciados, RECUERDA que debes simbolizar primero oración por oración y al final juntarlas.

Así podrás reducir errores al momento de la formación y entender bien el sentido de la oración.

• Pon en el examen TODA la info de formación, ya que si te confundes por lo menos la profesora sabrá que ibas por buen camino.

1. INICIOS DE LA SEMÁNTICA EN LP

Tablas de verdad y árboles semánticos [pic 3]

Reglas de semántica

RESUMEN

• CUANDO ES CONJUNCIÓN (Y)( SI ES VERDADERO NO SE DIVIDE EN RAMAS ES SOLAMENTE LINEAL Y LOS DOS SON VERDADEROS. EN CAMBIO, SI ES FALSO SE ABRIRÁ EN RAMAS Y SERÁ FALSO EL ANTECEDENTE Y VERDADERO EL CONSECUENTE. [pic 4]
• CUANDO ES UNA DISYUNCIÓN (O)SI ES VERDADERO SE DIVIDE EN RAMAS DONDE EL ANTECENTE ES VERDADERO Y EL CONSECUENTE TAMBIEN ES VERDADERO. SI ES FALSO ANTECEDENTE Y CONSECUENTE SERÁN FALSOS Y SERÁ LINEAL. [pic 5]
• CUANDO ES UN CONDICIONAL SI ES VERDADERO SE DIVIDE EN RAMAS DONDE EL ANTECEDENTE ES FALSO Y EL CONSECUENTE ES VERDADERO. EN CAMBIO SI ES FALSO ES LINEAL Y EL ANTECEDENTE ES VERDADERO Y EL CONSECUENTE FALSO. [pic 6]

[pic 7]

1. IMPLICACIÓN

[pic 8]

1. EQUIVALENCIA

[pic 9]

• Equivalencias notables ( sirven también para derivación)

[pic 10]

• Implicaciones notables [pic 11]

1. DERIVACIÓN

La derivación como procedimiento es la aplicación de un conjunto de reglas lógicas para demostrar que la conclusión está implicada por un conjunto de premisas.

- Es un método sintáctico.

- Es un sistema de reglas lógicas.

- Demuestra sólo fórmulas o inferencias válidas.

Esta demostración consiste en obtener la conclusión a partir de un conjunto de premisas, en una secuencia finita de pasos, donde cada paso está justificada por un regla lógica.

[pic 12]

RECUERDA: VER SIEMPRE LA CONCLUSIÓN.

ADEMÁS, SIEMPRE HAY QUE INTENTAR TENER CONJUNCIONES PARA PODER SIMPLIFICAR.

• Prueba condicional
•  Se aplica solo cuando la conclusión a demostrar es condicional.
• Procedimiento:

Se toma como premisa adicional el antecedente de la conclusión y se aplican las reglas hasta derivar el consecuente. Lograr el consecuente significa demostrar que está implicado por el antecedente (barra de Anderson), es decir demostrar la validez.

...