{"id":27997,"date":"2021-02-19T13:00:49","date_gmt":"2021-02-19T13:00:49","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=27997"},"modified":"2025-03-15T22:32:43","modified_gmt":"2025-03-15T22:32:43","slug":"semantica-de-la-logica-proposicional","status":"publish","type":"post","link":"https:\/\/toposuranos.com\/material\/es\/semantica-de-la-logica-proposicional\/","title":{"rendered":"Sem\u00e1ntica de la L\u00f3gica Proposicional"},"content":{"rendered":"
\n
<\/p>\n

Sem\u00e1ntica de la L\u00f3gica Proposicional<\/h1>\n

<\/p>\n

RESUMEN<\/strong>
En esta clase se estudia la sem\u00e1ntica de la l\u00f3gica proposicional, espec\u00edficamente la asignaci\u00f3n de los valores de verdad de una expresi\u00f3n y c\u00f3mo se propagan de una expresi\u00f3n a otra a trav\u00e9s de los conectores l\u00f3gicos. Se introduce la noci\u00f3n de tablas de verdad y se muestran las tablas de verdad de los conectores derivados, tales como la negaci\u00f3n, disyunci\u00f3n, conjunci\u00f3n, implicancia, doble implicancia y disyunci\u00f3n exclusiva. Adem\u00e1s, se presenta la definici\u00f3n de una asignaci\u00f3n sobre un conjunto de expresiones at\u00f3micas y se explica c\u00f3mo se extiende naturalmente sobre todas las expresiones que se pueden construir a partir de ese conjunto. Finalmente, se establecen las definiciones de expresiones v\u00e1lidas, satisfacibles e insatisfacibles, y se presentan ejemplos de tautolog\u00edas y contradicciones. Sin embargo, se reconoce que el c\u00e1lculo de las tablas de verdad para expresiones complejas puede ser ineficiente, por lo que se menciona la b\u00fasqueda de m\u00e9todos alternativos para resolver problemas de validez o satisfacibilidad.<\/em><\/p>\n

<\/center>
\n<\/p>\n

OBJETIVOS DE APRENDIZAJE:<\/strong>
\nAl finalizar esta clase el estudiante ser\u00e1 capaz de\n<\/p>\n

    \n
  1. Explicar<\/strong> la sem\u00e1ntica de la l\u00f3gica proposicional<\/li>\n
  2. Usar<\/strong> tablas de verdad para representar las asignaciones de los valores de verdad de las expresiones en la l\u00f3gica proposicional<\/li>\n
  3. Modelar<\/strong> una expresi\u00f3n con una asignaci\u00f3n en la l\u00f3gica proposicional<\/li>\n
  4. Aplicar<\/strong> las reglas sem\u00e1nticas de la l\u00f3gica proposicional para determinar si una expresi\u00f3n es tautolog\u00eda, contradicci\u00f3n o contingencia<\/li>\n<\/ol>\n

    INDICE<\/strong>
    \nSOBRE LAS ASIGNACIONES DE LOS VALORES DE VERDAD<\/a>
    \n    SEM\u00c1NTICA DE LOS CONECTORES DE LA L\u00d3GICA PROPOSICIONAL<\/a>
    \n    ASIGNACIONES EN LA L\u00d3GICA PROPOSICIONAL<\/a>
    \n    MODELOS EN LA L\u00d3GICA PROPOSICIONAL<\/a>
    \n    UN PROBLEMA DE EFICIENCIA ACECHA A LA SEM\u00c1NTICA DE LA L\u00d3GICA PROPOSICIONAL<\/a><\/p>\n