Como simbolizar um condicional cujo antecedente é a conjunção de duas proposições e o consequente é a disjunção inclusiva de duas proposições?

Resposta:
\( (A \wedge B) \rightarrow (C \vee D) \)

Explicação:
O conectivo \( \rightarrow \) indica um condicional, o antecedente é a conjunção \(A \wedge B\), o consequente é a disjunção inclusiva \(C \vee D\), por isso deve-se agrupar com parênteses como \( (A \wedge B) \rightarrow (C \vee D) \).

Exemplo:
Proposição natural: Se chove e é noite, então a rua está molhada ou há baixa visibilidade.
Atribuindo \(P\)=chove, \(Q\)=é noite, \(R\)=rua molhada, \(S\)=baixa visibilidade, a tradução simbólica fica:
\( (P \wedge Q) \rightarrow (R \vee S) \).