Diagrama de Allan Marquand no cálculo proposicional

Detalhes bibliográficos
Autor(a) principal: Mühl, Vera Jussara Lourenzi
Data de Publicação: 2015
Outros Autores: Setti, Betine Diehl, Kripka, Rosana Maria Luvezute
Tipo de documento: Artigo
Idioma: por
Título da fonte: Bolema: Boletim de Educação Matemática
Texto Completo: https://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/article/view/10536
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.
id UNESP-14_6a1de285b59c6d03a18beeb8b9ff45f5
oai_identifier_str oai:periodicos.rc.biblioteca.unesp.br:article/10536
network_acronym_str UNESP-14
network_name_str Bolema: Boletim de Educação Matemática
repository_id_str
spelling Diagrama de Allan Marquand no cálculo proposicionalLógica. Cálculo Proposicional. Diagrama de Allan Marquand.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.UNESP - Campus de Rio Claro - Instituto de Geociências e Ciências Exatas2015-09-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/article/view/10536Bolema: Boletim de Educação Matemática; v. 17 n. 21 (2004); 45-601980-44150103-636Xreponame:Bolema: Boletim de Educação Matemáticainstname:Universidade Estadual Paulista (UNESP)instacron:UNESPporhttps://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/article/view/10536/6942Copyright (c) 2015 Bolema: Mathematics Education Bulletin = Bolema: Boletim de Educação Matemáticainfo:eu-repo/semantics/openAccessMühl, Vera Jussara LourenziSetti, Betine DiehlKripka, Rosana Maria Luvezute2015-10-06T16:27:14Zoai:periodicos.rc.biblioteca.unesp.br:article/10536Revistahttps://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/PUBhttps://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/oaibolema.contato@gmail.com||romiarka@gmail.com1980-44150103-636Xopendoar:2015-10-06T16:27:14Bolema: Boletim de Educação Matemática - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Diagrama de Allan Marquand no cálculo proposicional
title Diagrama de Allan Marquand no cálculo proposicional
spellingShingle Diagrama de Allan Marquand no cálculo proposicional
Mühl, Vera Jussara Lourenzi
Lógica. Cálculo Proposicional. Diagrama de Allan Marquand.
title_short Diagrama de Allan Marquand no cálculo proposicional
title_full Diagrama de Allan Marquand no cálculo proposicional
title_fullStr Diagrama de Allan Marquand no cálculo proposicional
title_full_unstemmed Diagrama de Allan Marquand no cálculo proposicional
title_sort Diagrama de Allan Marquand no cálculo proposicional
author Mühl, Vera Jussara Lourenzi
author_facet Mühl, Vera Jussara Lourenzi
Setti, Betine Diehl
Kripka, Rosana Maria Luvezute
author_role author
author2 Setti, Betine Diehl
Kripka, Rosana Maria Luvezute
author2_role author
author
dc.contributor.author.fl_str_mv Mühl, Vera Jussara Lourenzi
Setti, Betine Diehl
Kripka, Rosana Maria Luvezute
dc.subject.por.fl_str_mv Lógica. Cálculo Proposicional. Diagrama de Allan Marquand.
topic Lógica. Cálculo Proposicional. Diagrama de Allan Marquand.
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015-09-11
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/article/view/10536
url https://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/article/view/10536
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://www.periodicos.rc.biblioteca.unesp.br/index.php/bolema/article/view/10536/6942
dc.rights.driver.fl_str_mv Copyright (c) 2015 Bolema: Mathematics Education Bulletin = Bolema: Boletim de Educação Matemática
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 Bolema: Mathematics Education Bulletin = Bolema: Boletim de Educação Matemática
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv UNESP - Campus de Rio Claro - Instituto de Geociências e Ciências Exatas
publisher.none.fl_str_mv UNESP - Campus de Rio Claro - Instituto de Geociências e Ciências Exatas
dc.source.none.fl_str_mv Bolema: Boletim de Educação Matemática; v. 17 n. 21 (2004); 45-60
1980-4415
0103-636X
reponame:Bolema: Boletim de Educação Matemática
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Bolema: Boletim de Educação Matemática
collection Bolema: Boletim de Educação Matemática
repository.name.fl_str_mv Bolema: Boletim de Educação Matemática - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv bolema.contato@gmail.com||romiarka@gmail.com
_version_ 1800215875861610496

Registros relacionados