(A Ù B) « Ø(ØA Ú ØB)
(A Ù B) « Ø(A ® ØB)
(A Ú B) « Ø(ØA Ù ØB)
(A Ú B) « (ØA ® B)
Fica como exercício:
(i) obter as fórmulas equivalente a (A ® B);
(ii) mostrar que são tautologia;
(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