Lógicas Não-Clássicas

• Lógica Multivalores

  LÓGICA DE LUKASIEWICZ
  
  • A base da filosofia que suporta a lógica de Lukasiewicz é aristotélica, ou seja, considerar algo futuro como verdadeiro ou falso é adotar o fatalismo, doutrina que prega que o futuro é pré-determinado.
  • A única diferença entre as tabelas verdade das lógicas de Kleene e Lukasiewicz é o valor de ? ? ?, que para Kleene é ? e para Lukasiewicz é V.
  • 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 ? V

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico