Some applications of propositional calculus

Abstract

Neste trabalho pretendemos mostrar como as ferramentas do Cálculo Proposicional permitem resolver certos enigmas e problemas conhecidos de outras áreas da matemática - como a combinatória e a Investigação Operacional - unificando assim, num contexto comum, problemas aparentemente diversos. A forma simples e sistemática das resoluções mostra a utilidade de adoptar estes procedimentos na resolução destes problemas. A ferramenta que mais vezes vamos utilizar são as tabelas de verdade. Num caso menos elementar vamos também mostrar uma aplicação do Teorema da Compacidade do Cálculo Proposicional.