Considere as proposições lógicas a seguir: A: O carro é veloz. B: Marcos venceu a corrida. Caso a seguinte proposição composta fosse produzida “o carro é veloz e Marcos não venceu a corrida”, usando expressões lógicas para representação, isso seria o mesmo que o exibido em qual alternativa?

Temos as proposições atômicas:

• $A$: “O carro é veloz.”
• $B$: “Marcos venceu a corrida.”

A frase composta dada é: “o carro é veloz e Marcos não venceu a corrida”.

Traduzindo para lógica proposicional:

• “o carro é veloz” $\rightarrow A$
• “Marcos não venceu a corrida” $\rightarrow \neg B$
• conectivo “e” $\rightarrow \land$ (na lista, representado por ^)

Logo, a proposição é $A \land \neg B$, isto é, $A^\sim B$.