Cálculo proposicional , também denominado Cálculo Sentencial , em lógica, sistema simbólico de tratamento de proposições compostas e complexas e suas relações lógicas. Em oposição ao cálculo de predicados, o cálculo proposicional emprega proposições simples e não analisadas em vez de termos ou expressões nominais como suas unidades atômicas; e, ao contrário do cálculo funcional, trata apenas proposições que não contêm variáveis. As proposições simples (atômicas) são denotadas por letras e as proposições compostas (moleculares) são formadas usando os símbolos padrão: · para “e”, ∨ para “ou”, ⊃ para “se. . . então, ”e ∼ para“ não ”.
Leia mais sobre este tópico lógica formal: o cálculo proposicional O ramo mais simples e básico da lógica é o cálculo proposicional, doravante denominado PC, assim denominado porque trata apenas de ... Como um sistema formal, o cálculo proposicional se preocupa em determinar quais fórmulas (formas de proposições compostas) são prováveis a partir dos axiomas. Inferências válidas entre as proposições são refletidas pelas fórmulas prováveis, porque (para qualquer A e B ) A ⊃ B é provável se e somente se B é sempre uma consequência lógica de A. O cálculo proposicional é consistente no fato de não existir fórmula nele de modo que tanto A quanto ∼ Asão prováveis. Também é completo no sentido de que a adição de qualquer fórmula improvável como um novo axioma introduziria uma contradição. Além disso, existe um procedimento eficaz para decidir se uma determinada fórmula pode ser demonstrada no sistema. Veja também cálculo de predicado; pensamento, leis de.
