Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
(1) (P vee Q) wed>= R(2) P vee Q

Passo 1

O enunciado dá a premissa
(1);(P vee Q)wed>= R
e a conclusão esperada
(2);P vee Q
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 (P vee Q)wed>= R até P vee Q 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 wed>=-elim.

Resposta

A regra aplicada é eliminação da conjunção ( wed>=-elim), também chamada simplificação.

Exercícios relacionados