Diagrama de Allan Marquand no cálculo proposicional
Palavras-chave:
Lógica. Cálculo Proposicional. Diagrama de Allan Marquand.Resumo
Neste artigo, são apresentados resultados decorrentes da exploração do uso do diagrama de Allan Marquand no cálculo proposicional. São descritas a construção e a forma de uso do referido diagrama. Em seguida, apresenta-se a correspondência entre valores de verdade de uma fórmula proposicional e seu respectivo conteúdo lógico no diagrama. Destacam-se as vantagens do uso do diagrama em relação à tabela-verdade, incluindo um comparativo com o problema de Post, em relação à aplicação das propriedades das operações lógicas e, ainda, no que diz respeito à validade de argumentos. Os resultados obtidos permitem concluir que o diagrama de Marquand constitui-se numa poderosa ferramenta no cálculo proposicional, sendo de fácil compreensão e utilização, apresentando diversas vantagens em relação aos métodos clássicos encontrados na literatura.Downloads
Publicado
2015-09-11
Edição
Seção
ARTIGOS
Licença
>>>>> BOLEMA: Mathematics Education Bulletin = BOLEMA: Boletim de Educação Matemática, Rio Claro, SP, Brasil - eISSN 1980-4415 - está licenciado sob Licença Creative Commons