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: