1. Mostre que a seguinte fórmula (Modus Ponens) é uma tautologia na
lógica clássica:
2. Escreva as tabelas verdade para os conectivos e
na
lógica clássica com valores verdade em
.
3. Na lógica de Lukasiewicz verifique que e
são lógicamente
equivalentes se
for uma tautologia.
4. Na lógica de Bochvar no conjunto verdade
, o conectivo
é definido pela tabela verdade:
![]() |
0 | u | 1 |
0 | 1 | u | 0 |
u | u | u | u |
1 | 0 | u | 1 |
5. Verifique em quais lógicas é equivalente a
6. Sejam e
fómulas na lógica clássica bivaluada, escrevemos
no lugar de
, verifique as seguintes fórmulas:
(a)
(b)
(c)
(d)
(e)
Quais dessas fórmulas seguem válidas para a lógica de Lukasiewicz.
7. Defino e relação de equivalência entre as fórmulas de
da
seguinte forma:
quando são lógicamente equivalentes. Mostre que o
operador
definido em
pela fórmula
está bem definido.
8. Verifique a expressão fuzzy: