•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”.
–O
valor de verdade indecidido indica este estado de ignorância, de maneira que quando uma fórmula lógica pode ter seu valor
de verdade decidido,
a despeito desta ignorância, este valor deve ser adotado, assim:
•V v ^ = V e F ^ ^ = F, mas
•V ^^ = ^ e F v ^ = ^
–As tabelas verdade propostas por
Kleene são: