Construir a “condicional associada” a cada um dos seguintes argumentos:
Passo 1
O enunciado nos dá o seguinte argumento em lógica proposicional:
Premissas:
Premissas:
Conclusão:
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
,
e
, temos
e a conjunção é
Passo 3
A condicional associada é a implicação cujo antecedente é essa conjunção
e cujo consequente é a conclusão
. Portanto, a fórmula final é