Construir a “condicional associada” a cada um dos seguintes argumentos:
sim p, sim q p vdash q

Passo 1

O enunciado apresenta o argumento com premissas neg p e neg q p e conclusão q. Queremos escrever a “condicional associada”, que é uma fórmula do tipo “se todas as premissas são verdadeiras, então a conclusão é verdadeira”.

Passo 2

Primeiro, combinamos as premissas em uma conjunção:
neg p land (neg q to p)
Em seguida, usamos essa conjunção como antecedente de uma condicional que tem q como consequente, obtendo:
(neg p land (neg q to p)) to q

Resposta

(neg p land (neg q to p)) to q

Exercícios relacionados