Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
Passo 1
O enunciado dá a premissa
e a conclusão esperada
O conteúdo aqui é identificação de regra de inferência em lógica proposicional, mais especificamente as regras de introdução e eliminação de conectivos.
Passo 2
Para ir de
até
usamos a regra que permite extrair de uma conjunção qualquer um dos seus componentes. Essa regra é chamada eliminação da conjunção (ou simplificação) e é normalmente notada por
-elim.
Resposta
A regra aplicada é eliminação da conjunção (
-elim), também chamada simplificação.