{"id":28006,"date":"2021-02-19T13:00:00","date_gmt":"2021-02-19T13:00:00","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=28006"},"modified":"2024-08-16T04:18:06","modified_gmt":"2024-08-16T04:18:06","slug":"semantica-da-logica-proposicional","status":"publish","type":"post","link":"https:\/\/toposuranos.com\/material\/pt\/semantica-da-logica-proposicional\/","title":{"rendered":"Sem\u00e2ntica da L\u00f3gica Proposicional"},"content":{"rendered":"
\n
<\/p>\n

Sem\u00e2ntica da L\u00f3gica Proposicional<\/h1>\n

<\/p>\n

RESUMO<\/strong>
Nesta aula, estudamos a sem\u00e2ntica da l\u00f3gica proposicional, especificamente a atribui\u00e7\u00e3o de valores de verdade a uma express\u00e3o e como esses valores se propagam de uma express\u00e3o para outra atrav\u00e9s dos conectores l\u00f3gicos. Introduz-se a no\u00e7\u00e3o de tabelas de verdade e s\u00e3o apresentadas as tabelas de verdade dos conectores derivados, tais como nega\u00e7\u00e3o, disjun\u00e7\u00e3o, conjun\u00e7\u00e3o, implica\u00e7\u00e3o, dupla implica\u00e7\u00e3o e disjun\u00e7\u00e3o exclusiva. Al\u00e9m disso, apresenta-se a defini\u00e7\u00e3o de uma atribui\u00e7\u00e3o sobre um conjunto de express\u00f5es at\u00f4micas e explica-se como ela se estende naturalmente a todas as express\u00f5es que podem ser constru\u00eddas a partir desse conjunto. Finalmente, estabelecem-se as defini\u00e7\u00f5es de express\u00f5es v\u00e1lidas, satisfat\u00edveis e insatisfat\u00edveis, e apresentam-se exemplos de tautologias e contradi\u00e7\u00f5es. No entanto, reconhece-se que o c\u00e1lculo das tabelas de verdade para express\u00f5es complexas pode ser ineficiente, por isso menciona-se a busca por m\u00e9todos alternativos para resolver problemas de validade ou satisfatibilidade.<\/em><\/p>\n

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

OBJETIVOS DE APRENDIZAGEM:<\/strong>
\nAo final desta aula, o estudante ser\u00e1 capaz de\n<\/p>\n

    \n
  1. Explicar<\/strong> a sem\u00e2ntica da l\u00f3gica proposicional<\/li>\n
  2. Usar<\/strong> tabelas de verdade para representar as atribui\u00e7\u00f5es de valores de verdade das express\u00f5es na l\u00f3gica proposicional<\/li>\n
  3. Modelar<\/strong> uma express\u00e3o com uma atribui\u00e7\u00e3o na l\u00f3gica proposicional<\/li>\n
  4. Aplicar<\/strong> as regras sem\u00e2nticas da l\u00f3gica proposicional para determinar se uma express\u00e3o \u00e9 tautologia, contradi\u00e7\u00e3o ou conting\u00eancia<\/li>\n<\/ol>\n

    \u00cdNDICE<\/strong>
    \nSOBRE AS ATRIBUI\u00c7\u00d5ES DOS VALORES DE VERDADE<\/a>
    \n    SEM\u00c2NTICA DOS CONECTORES DA L\u00d3GICA PROPOSICIONAL<\/a>
    \n    ATRIBUI\u00c7\u00d5ES NA L\u00d3GICA PROPOSICIONAL<\/a>
    \n    MODELOS NA L\u00d3GICA PROPOSICIONAL<\/a>
    \n    UM PROBLEMA DE EFICI\u00caNCIA NA SEM\u00c2NTICA DA L\u00d3GICA PROPOSICIONAL<\/a><\/p>\n