Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado traz duas premissas em linguagem de lógica proposicional aplicada a conjuntos:
-
-
Queremos inferir algo sobree . O conteúdo é sobre regras de inferência em lógica proposicional.
Passo 2
Reescrevemos na forma padrão
e
:
Defina
Defina
Então a primeira premissa é
e a segunda é
.
Passo 3
Aplicamos Modus Tollens, que diz: de
e
infere-se
. Assim obtemos
Passo 4
Para extrair a forma “ou” usamos a Lei de De Morgan na negação da conjunção:
ou seja, concluímos que
ou
.
Resposta
A regra de inferência usada é o Modus Tollens.