Abaixo, as equivalências novamente, pois alguns caracteres não
apareceram corretamente.
(A & B) <-> ~(~A v ~B)
(A & B) <-> ~(A -> ~B)
(A v B) <-> ~(~A & ~B)
(A v B) <-> (~A -> B)
Fica como exercício:
(i) obter as fórmulas equivalentes a (A -> B);
(ii) mostrar que são tautologias;
(iii) provar usando dedução natural (algumas são mais difíceis do que
as que fizemos até agora).
Isso será útil para o exercício 1 da lista de exercícios.
Nenhum comentário:
Postar um comentário