Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
x neq 0 ; x neq 1 longmapsto x neq 0 wed>= x neq 1

Passo 1

O enunciado nos dá as duas premissas
;x neq 0 ;x neq 1
e pede para justificarmos a inferência
;x neq 0 wed>= x neq 1.
O conteúdo envolvido é lógica proposicional, mais especificamente as regras de inferência para conjunção.

Passo 2

Em lógica proposicional existe a Regra de Introdução da Conjunção (ou “ land-Introdução”), que diz:
se você já tem derivadas válidas as fórmulas ;P e ;Q, então pode inferir a conjunção ;P wed>= Q.

Passo 3

Aqui tomamos
;P como “ x neq 0
e
;Q como “ x neq 1”.
Pelas premissas ambas são válidas, logo pela Regra de Introdução da Conjunção obtemos
x neq 0 wed>= x neq 1

Resposta

Regra de Introdução da Conjunção ( land-Introdução).

Exercícios relacionados