Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
p q, r sim s longmapsto(p q) wed>=(r sim s)

Passo 1

O enunciado dá como premissas as fórmulas
p q
r lnot s
e pede para inferir
( p q)wed>=( r lnot s).
Estamos em lógica proposicional e vamos usar uma regra de inferência que combine duas fórmulas em uma conjunção.

Passo 2

A regra de inferência que permite, a partir de duas fórmulas alpha e beta, concluir alphawed>=beta é a Introdução da Conjunção (ou simplesmente Conjunção). Em símbolos:
alpha betaalphawed>=beta (wed>=-I)

Passo 3

Aplicando wed>=-I às premissas:
de p q e de r lnot s inferimos
( p q)wed>=( r lnot s)

Resposta

A regra usada é a Introdução da Conjunção ( wed>=-I).

Exercícios relacionados