{"id":28058,"date":"2021-03-08T13:00:15","date_gmt":"2021-03-08T13:00:15","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=28058"},"modified":"2024-08-18T09:40:14","modified_gmt":"2024-08-18T09:40:14","slug":"consequencia-e-equivalencia-semantica","status":"publish","type":"post","link":"https:\/\/toposuranos.com\/material\/pt\/consequencia-e-equivalencia-semantica\/","title":{"rendered":"Consequ\u00eancia e Equival\u00eancia Sem\u00e2ntica"},"content":{"rendered":"
\n
<\/p>\n

Consequ\u00eancia e Equival\u00eancia Sem\u00e2ntica<\/h1>\n

<\/p>\n

RESUMO<\/strong>
Nesta aula, estudaremos a Consequ\u00eancia e Equival\u00eancia Sem\u00e2ntica na l\u00f3gica proposicional, o que \u00e9 uma continua\u00e7\u00e3o natural do que j\u00e1 vimos anteriormente. Aprenderemos como obter a no\u00e7\u00e3o de consequ\u00eancia sem\u00e2ntica a partir das atribui\u00e7\u00f5es de valores de verdade e como essa ideia se relaciona com o teorema da dedu\u00e7\u00e3o. Al\u00e9m disso, veremos exemplos pr\u00e1ticos do uso das tabelas de verdade para obter propriedades \u00fateis como a Elimina\u00e7\u00e3o da Conjun\u00e7\u00e3o e a Introdu\u00e7\u00e3o da Disjun\u00e7\u00e3o. Tamb\u00e9m exploraremos a no\u00e7\u00e3o de Equival\u00eancia Sem\u00e2ntica e veremos como ela se relaciona com as propriedades que j\u00e1 conhecemos. Finalmente, mostraremos como o uso de modelos e t\u00e9cnicas de dedu\u00e7\u00e3o nos permite simplificar o estudo de problemas de consequ\u00eancia e equival\u00eancia sem\u00e2ntica.<\/em><\/p>\n

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

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

    \n
  1. Compreender<\/strong> a no\u00e7\u00e3o de consequ\u00eancia sem\u00e2ntica.<\/li>\n
  2. Compreender<\/strong> as diferentes interpreta\u00e7\u00f5es do s\u00edmbolo \u22a8.<\/li>\n
  3. Compreender<\/strong> a demonstra\u00e7\u00e3o do teorema da dedu\u00e7\u00e3o em sua vers\u00e3o sem\u00e2ntica e seu uso no estudo da consequ\u00eancia e equival\u00eancia sem\u00e2ntica.<\/li>\n
  4. Compreender<\/strong> a defini\u00e7\u00e3o de equival\u00eancia sem\u00e2ntica e sua rela\u00e7\u00e3o com os valores de verdade.<\/li>\n
  5. Aplicar<\/strong> o teorema da dedu\u00e7\u00e3o em sua vers\u00e3o sem\u00e2ntica para transformar problemas de consequ\u00eancia em problemas de validade.<\/li>\n
  6. Aplicar<\/strong> as propriedades \u00fateis no uso das tabelas de verdade para demonstrar equival\u00eancias sem\u00e2nticas.<\/li>\n
  7. Aplicar<\/strong> as leis de absor\u00e7\u00e3o, distribui\u00e7\u00e3o e DeMorgan na simplifica\u00e7\u00e3o de express\u00f5es complexas.<\/li>\n
  8. Analisar<\/strong> a rela\u00e7\u00e3o entre modelos e dedu\u00e7\u00f5es no estudo da l\u00f3gica proposicional.<\/li>\n<\/ol>\n

    \u00cdNDICE<\/strong>
    \nATRIBUI\u00c7\u00d5ES E MODELOS<\/a>
    \n    O TEOREMA DA DEDU\u00c7\u00c3O (VERS\u00c3O SEM\u00c2NTICA)<\/a>
    \n    USO DO TEOREMA DA DEDU\u00c7\u00c3O NO ESTUDO DA CONSEQU\u00caNCIA E EQUIVAL\u00caNCIA SEM\u00c2NTICA<\/a>
    \n    EQUIVAL\u00caNCIA SEM\u00c2NTICA E PROPRIEDADES<\/a>
    \n    S\u00cdNTESE<\/a><\/p>\n