Lógica/Cálculo Proposicional Clássico/O que é o Cálculo Proposicional Clássico: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Sem resumo de edição |
|||
Linha 3:
}}
: O Cálculo Proposicional Clássico (CPC) consiste num sistema de '''Lógica Clássica'''. E
*'''Bivalência''': Uma fórmula só pode receber um de dois valores distintos e absolutos, verdadeiro ou falso. 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.
| |||