{"id":28025,"date":"2021-03-08T13:00:33","date_gmt":"2021-03-08T13:00:33","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=28025"},"modified":"2024-08-18T09:30:03","modified_gmt":"2024-08-18T09:30:03","slug":"consecuencia-y-equivalencia-semantica","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/es\/consecuencia-y-equivalencia-semantica\/","title":{"rendered":"Consecuencia y equivalencia sem\u00e1ntica"},"content":{"rendered":"
\n
<\/p>\n

Consecuencia y Equivalencia Sem\u00e1ntica<\/h1>\n

<\/p>\n

RESUMEN<\/strong>
En esta clase estudiaremos la Consecuencia y Equivalencia Sem\u00e1ntica en la l\u00f3gica proposicional, lo cual es una continuaci\u00f3n natural de lo que hemos visto previamente. Aprenderemos c\u00f3mo obtener la noci\u00f3n de consecuencia sem\u00e1ntica a partir de las asignaciones de valores de verdad y c\u00f3mo esta idea se relaciona con el teorema de deducci\u00f3n. Adem\u00e1s, veremos ejemplos pr\u00e1cticos del uso de las tablas de verdad para obtener propiedades \u00fatiles como la Eliminaci\u00f3n de la Conjunci\u00f3n y la Introducci\u00f3n de la Disyunci\u00f3n. Tambi\u00e9n exploraremos la noci\u00f3n de Equivalencia Sem\u00e1ntica y veremos c\u00f3mo se relaciona con las propiedades que ya conocemos. Finalmente, mostraremos c\u00f3mo el uso de modelos y t\u00e9cnicas de deducci\u00f3n nos permiten simplificar el estudio de problemas de consecuencia y equivalencia sem\u00e1ntica.<\/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. Comprender<\/strong> la noci\u00f3n de consecuencia sem\u00e1ntica.<\/li>\n
  2. Comprender<\/strong> las diferentes interpretaciones del s\u00edmbolo \u22a8.<\/li>\n
  3. Comprender<\/strong> la demostraci\u00f3n del teorema de deducci\u00f3n en su versi\u00f3n sem\u00e1ntica y su uso en el estudio de la consecuencia y equivalencia sem\u00e1ntica.<\/li>\n
  4. Comprender<\/strong> la definici\u00f3n de equivalencia sem\u00e1ntica y su relaci\u00f3n con los valores de verdad.<\/li>\n
  5. Aplicar<\/strong> el teorema de deducci\u00f3n en su versi\u00f3n sem\u00e1ntica para transformar problemas de consecuencia en problemas de validez.<\/li>\n
  6. Aplicar <\/strong>las propiedades \u00fatiles en el uso de las tablas de verdad para demostrar equivalencias sem\u00e1nticas.<\/li>\n
  7. Aplicar<\/strong> las leyes de absorci\u00f3n, distribuci\u00f3n y DeMorgan en la simplificaci\u00f3n de expresiones complejas.<\/li>\n
  8. Analizar<\/strong> la relaci\u00f3n entre modelos y deducciones en el estudio de la l\u00f3gica proposicional.<\/li>\n<\/ol>\n

    INDICE<\/strong>
    \nASIGNACIONES Y MODELOS<\/a>
    \n    EL TEOREMA DE DEDUCCI\u00d3N (VERSI\u00d3N SEM\u00c1NTICA)<\/a>
    \n    USO DEL TEOREMA DE DEDUCCI\u00d3N EN EL ESTUDIO DE LA CONSECUENCIA Y EQUIVALENCIA SEM\u00c1NTICA<\/a>
    \n    EQUIVALENCIA SEM\u00c1NTICA Y PROPIEDADES<\/a>
    \n    S\u00cdNTESIS<\/a><\/p>\n