Como simbolizar uma condicional cuja antecedente é uma conjunção e o consequente é a conjunção de negações?

Resposta

\( (P\land Q)\to(\neg R\land\neg S) \)

Uma condicional com antecedente conjuntivo usa \(P\land Q\) à esquerda e, se o consequente contém duas negações ligadas por e, deve ser representado por \(\neg R\land\neg S\).
Observe que \(\neg R\land\neg S\) difere de \(\neg R\lor\neg S\) (esta última é mais fraca).

Exemplo:
Defina: \(P\)="está chovendo", \(Q\)="é fim de semana", \(R\)="há entrega", \(S\)="há atendimento".
Simbolização correta: \( (P\land Q)\to(\neg R\land\neg S) \) — "Se está chovendo e é fim de semana, então não há entrega e não há atendimento".
Simbolização incorreta (muda o sentido): \( (P\land Q)\to(\neg R\lor\neg S) \) — "Se está chovendo e é fim de semana, então ou não há entrega, ou não há atendimento".