{"id":25128,"date":"2021-01-18T00:00:30","date_gmt":"2021-01-18T00:00:30","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=25128"},"modified":"2024-08-28T19:26:56","modified_gmt":"2024-08-28T19:26:56","slug":"a-linguagem-da-logica-proposicional","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/pt\/a-linguagem-da-logica-proposicional\/","title":{"rendered":"A Linguagem da L\u00f3gica Proposicional"},"content":{"rendered":"

A linguagem da L\u00f3gica Proposicional<\/h1>\n

Resumo<\/h4>\n

Esta nota revisa a linguagem da l\u00f3gica proposicional como uma metalinguagem utilizada para obter express\u00f5es v\u00e1lidas da linguagem base formada por dois s\u00edmbolos. S\u00e3o explicadas as regras de sintaxe, os conceitos de vari\u00e1veis proposicionais e conectores, e tamb\u00e9m \u00e9 introduzida a nega\u00e7\u00e3o conjunta, o uso de par\u00eanteses e reordenamento para facilitar a leitura das express\u00f5es. Al\u00e9m disso, s\u00e3o mencionadas as vocaliza\u00e7\u00f5es das express\u00f5es da l\u00f3gica proposicional. Finalmente, sintetiza-se a linguagem da l\u00f3gica proposicional como uma ferramenta fundamental na matem\u00e1tica e na l\u00f3gica, e reflete-se sobre a possibilidade de encontrar uma \u00ablinguagem base da base\u00bb a partir da qual tudo o mais poderia ser reconstru\u00eddo.<\/em><\/p>\n

Objetivos de aprendizado:<\/h4>\n

Ao completar esta se\u00e7\u00e3o, espera-se que o estudante seja capaz de:<\/em><\/p>\n

    \n
  1. Entender<\/strong> o conceito de metalinguagem e sua aplica\u00e7\u00e3o na l\u00f3gica proposicional.<\/li>\n
  2. Compreender<\/strong> as regras de sintaxe da linguagem da l\u00f3gica proposicional.<\/li>\n
  3. Conhecer<\/strong> o conceito de vari\u00e1vel proposicional e seu uso na constru\u00e7\u00e3o de express\u00f5es.<\/li>\n
  4. Entender<\/strong> o uso do conector e da nega\u00e7\u00e3o conjunta na linguagem da l\u00f3gica proposicional.<\/li>\n
  5. Aprender<\/strong> a usar par\u00eanteses e reordenamento para facilitar a leitura das express\u00f5es.<\/li>\n
  6. Conhecer<\/strong> as vocaliza\u00e7\u00f5es das express\u00f5es da l\u00f3gica proposicional.<\/li>\n
  7. Sintetizar<\/strong> a linguagem da l\u00f3gica proposicional como uma ferramenta fundamental na matem\u00e1tica e na l\u00f3gica.<\/li>\n
  8. Refletir<\/strong> sobre a possibilidade de encontrar uma \u00ablinguagem base da base\u00bb a partir da qual tudo o mais poderia ser reconstru\u00eddo.<\/li>\n
  9. Aplicar<\/strong> os conceitos aprendidos na constru\u00e7\u00e3o de express\u00f5es da l\u00f3gica proposicional.<\/li>\n
  10. Utilizar<\/strong> a linguagem da l\u00f3gica proposicional para compreender e resolver problemas matem\u00e1ticos e l\u00f3gicos.<\/li>\n<\/ol>\n

    \u00cdndice<\/h4>\n

    \n A LINGUAGEM DA L\u00d3GICA PROPOSICIONAL: ALFABETOS E CADEIAS DE S\u00cdMBOLOS<\/strong><\/a>
    \n     COMECEMOS COM UM \u00daNICO S\u00cdMBOLO<\/a>
    \n     VAMOS ADICIONAR UM SEGUNDO S\u00cdMBOLO<\/a>
    \n     A LINGUAGEM DA L\u00d3GICA PROPOSICIONAL: SINTAXE<\/strong><\/a>
    \n     EXEMPLOS DE REVIS\u00c3O DE SINTAXE<\/a>
    \n     CONVEN\u00c7\u00d5ES DE NOTA\u00c7\u00c3O<\/strong><\/a>
    \n     METAVARI\u00c1VEIS E O CONECTOR \\downarrow<\/span><\/span><\/a>
    \n     EXEMPLOS DO USO DA NEGA\u00c7\u00c3O CONJUNTA<\/a>
    \n     REORDENAMENTO E PAR\u00caNTESES<\/a>
    \n     CONECTORES DERIVADOS<\/strong><\/a>
    \n     VOCALIZA\u00c7\u00c3O DAS EXPRESS\u00d5ES DA L\u00d3GICA PROPOSICIONAL<\/a>
    \n     S\u00cdNTESE E REFLEX\u00d5ES SOBRE A LINGUAGEM DA L\u00d3GICA PROPOSICIONAL<\/strong><\/a>
    \n     A MATRIX POR TR\u00c1S DA MATRIX POR TR\u00c1S DA COMPREENS\u00c3O DE TODAS AS COISAS<\/a>\n<\/p>\n