Sejam as seguintes proposições P: Marcos é alto, Q: Marcos é elegante. Dada a seguinte proposição:
Não é verdade que Marcos é baixo ou elegante.
Assinale a alternativa abaixo que traduz de maneira CORRETA a proposição acima para a linguagem simbólica:
~ P ∧ ~ Q.
P ∨ (~ P ∧ Q).
~ (~ P ∨ Q).
~ (~ P ∨ ~ Q).