Lógicas Não-Clássicas
Lógica Multivalores
LÓGICA DE KLEENE
- Concebida originalmente para acomodar declarações matemáticas não decididas.
- O terceiro valor de verdade é ? ou “u” de “undecided” (não decidido), indica que “não se sabe se é verdadeiro ou falso”.
- Não admite a interpretação de que “não é verdadeiro nem falso”.
- As tabelas verdade propostas por Kleene são: