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:

V F ?

? F V ?

^ V F ?

V V

F F F

? ? F ?

v V F ?

V V

F V F

? V ? ?

? V F ?

V V F ?

F V V V

? V ? ?

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico