期刊名称：Bolema: Mathematics Education Bulletin = Bolema: Boletim de Educação Matemática
印刷版ISSN：1980-4415
出版年度：2015
卷号：17
期号：21
页码：45-60
语种：Portuguese
出版社：UNESP - Campus de Rio Claro - Instituto de Geociências e Ciências Exatas
摘要：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.
关键词：Lógica. Cálculo Proposicional. Diagrama de Allan Marquand.
