Lógicas Não-Clássicas

• Lógica Multivalores

  LÓGICA DE KLEENE
  
  • 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 ? = ?

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico