Dicionário de Termos Linguísticos

O cálculo proposicional é um sistema de lógica que sendo uma linguagem formal possui um vocabulário de proposições atómicas (representadas pelos símbolos "p", "q", "r", "s"...), regras de sintaxe e semântica (ou sistema de interpretação). A sua sintaxe consiste na combinação de proposições atómicas (fórmulas bem formadas) com o operador unário '~' (negação) ou os conectores '∧' (conjunção) '∨' (disjunção) '→' (condicional) ou '↔' (bicondicional). A sua semântica consiste na atribuição de valores de verdade (verdadeiro ou falso) a cada proposição atómica em conjunto com as propriedades verifuncionais dos conectores.