Como simbolizar uma sentença formada por duas orações condicionais unidas por conjunção, quando uma delas tem uma disjunção no antecedente?

Resposta

Representação direta: \( ((P \vee Q) \rightarrow R) \land (S \rightarrow T) \)

Explicação:
Se a primeira oração for "se P ou Q então R" e a segunda for "se S então T", cada condicional vira uma implicação lógica; a disjunção no antecedente fica como \(P \vee Q\). As duas implicações são ligadas por conjunção: \( ((P \vee Q) \rightarrow R) \land (S \rightarrow T) \).

Exemplo:
Defina: H=enviar documento, I=assinar contrato, J=negócio fechado, K=houver urgência, L=telefonar agora.
Frase: "Se enviarmos o documento ou assinarmos o contrato, o negócio será fechado. Se houver urgência, é melhor telefonar agora."
Simbolicamente: \( ((H \vee I) \rightarrow J) \land (K \rightarrow L) \)