Mostre a validade das seguintes regras de inferências:
Regra da Absorção (ABS)
De
, deduz-se
.
Regra da Absorção (ABS)
De
Passo 1
O enunciado pede para mostrar que a inferência
é válida, ou seja, que a implicação
é uma tautologia. Vamos usar tabela‐verdade para verificar.
Passo 2
Montamos a tabela‐verdade para as fórmulas envolvidas:
Passo 3
Como a coluna de
é sempre
, concluímos que a implicação é tautologia e, portanto, a regra da Absorção é válida.
Resposta
A implicação
é uma tautologia, logo a regra da Absorção é válida.