Diagrama de Allan Marquand no cálculo proposicional
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...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2015 |
| País: | Brasil |
| Institución: | Universidade Estadual Paulista (UNESP) |
| Repositorio: | Bolema: Boletim de Educação Matemática |
| Idioma: | portugués |
| OAI Identifier: | oai:periodicos.rc.biblioteca.unesp.br:article/10536 |
| Acceso en línea: | https://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/article/view/10536 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica. Cálculo Proposicional. Diagrama de Allan Marquand. |
| Sumario: | 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. |
|---|