Construir a “condicional associada” a cada um dos seguintes argumentos:
p, p q, sim q vee(r wed>= s) vdash r wed>= s

Passo 1

O enunciado nos dá o seguinte argumento em lógica proposicional:
Premissas:
p, p q, neg q ;vee;(r wed>= s)
Conclusão:
r wed>= s
O que queremos é construir a condicional associada, isto é, a fórmula que diz “se todas as premissas são verdadeiras, então a conclusão é verdadeira”.

Passo 2

Primeiro, vamos formar a conjunção de todas as premissas. Chamando-as de P1, P2 e P3, temos
P1 = p, P2 = (p q), P3 = (neg q vee (r wed>= s))
e a conjunção é
alpha ;=; P1 wed>= P2 wed>= P3 ;=; p ;wed>=;(p q);wed>=;(neg q vee (r wed>= s))

Passo 3

A condicional associada é a implicação cujo antecedente é essa conjunção alpha e cujo consequente é a conclusão r wed>= s. Portanto, a fórmula final é
(,p wed>= (p q)wed>= (neg q vee (r wed>= s)),);;(r wed>= s)

Resposta

l(p wed>= (p q)wed>= (neg q vee (r wed>= s))r);;(r wed>= s)

Exercícios relacionados