–LÓGICA DE BOCHVAR
–O objetivo de Bochvar ao propor uma lógica de três valores verdade foi o tratamento formal dos paradoxos semânticos.
•Paradoxo do Cretense - Um cretense afirma que todos os cretenses são mentirosos.
•“Esta sentença é falsa”.
–O terceiro valor de verdade de Bochvar corresponde a uma proposição paradoxal “m” (de meaningless).
–Ao contrário de “u” e de “i”, que correspondem a um grau de informação menor que verdadeiro ou falso, o valor de verdade paradoxal é ao mesmo tempo verdadeiro e falso.
–Os operadores Ø e ^ propostos por Bochvar são idênticos aos de Kleene e Lukasiewicz, mas os operadores v e ® são distintos.
–De certa maneira, o valor verdade paradoxal tem um caráter “contagioso” tornando paradoxal qualquer fórmula onde um elemento seja paradoxal.
–
v   V     F   m
V    V   
F    V     F
m   m   m  m
®   V     F   m
V    V     F   m
F    V     V   m
m   m   m   m