Lógica/Cálculo Proposicional Clássico/O que é o Cálculo Proposicional Clássico: diferenças entre revisões

:As características doO Cálculo Proposicional Clássico (CPC) sãoconsiste num sistema de '''Lógica Clássica'''. E como como todos sistemas de lógica clássica segue os seguintes princípios:

:*'''Bivalência''': Uma fórmula só pode receber um de dois valores distintos e absolutos, verdadeiro ou falso. Uma fórmula não pode ser verdadeira e falsa (ao mesmo tempo, no mesmo sistema, contexto etc.), e não pode ser não-verdadeira e não falsa (ao mesmo tempo, no mesmo sistema, contexto etc.). Não existe gradação entre os valores (‘próximo da verdade’, ‘meia-verdade’ ou ‘muito falso’) tal como existe nas lógicas fuzzy. Também não existe um terceiro valor tal como existe nas lógicas trivalentes.