Como representar simbolicamente uma sentença do tipo "Se A e B, então não C"?

\( (A \land B) \to \neg C \)

Explicação:
Uma conjunção como antecedente é agrupada entre parênteses: A ∧ B.
A condicional une antecedente e consequente: →.
A negação do consequente usa ¬ (ou ~), formando \( (A \land B) \to \neg C \).

Exemplo:
Considere: p = "Está chovendo", q = "Está ventando", r = "O piquenique acontece".
Frase: "Se está chovendo e está ventando, então o piquenique não acontece."
Simbolicamente: \( (p \land q) \to \neg r \)