TESTE N.

º 1 – Proposta de resolução

Grupo I

1. Opção (C)
A afirmação (A) é verdadeira. Se ~ é uma proposição falsa, então  é uma proposição
verdadeira. Assim,  ∧  é uma proposição verdadeira, por se tratar da conjunção de duas
proposições verdadeiras.
A afirmação (B) é verdadeira. A proposição  ⇒  ∨  é equivalente à proposição ∼  ∨  ∨  ,
que é o mesmo que ∼  ∨  ∨ .
A afirmação (C) é falsa. Por exemplo, se a proposição  é verdadeira e as proposições  e  são
ambas falsas, tem-se que  ∨  ∧  é uma proposição verdadeira (por se tratar da disjunção de
uma proposição verdadeira com uma proposição falsa) e que  ∧  ∨  ∧  é uma proposição
falsa (por se tratar da disjunção de duas proposições falsas).
A afirmação (D) é verdadeira. Se as proposições  e  são falsas, então a proposição  ∧  é
falsa, por se tratar da conjunção de duas proposições falsas. Como  é uma proposição
verdadeira, então  ∨  ∧  é uma proposição verdadeira, por se tratar da disjunção de uma
proposição verdadeira com uma proposição falsa.

2. Opção (D)
A proposição ~ ∧  é verdadeira, logo as proposições ~ e  são ambas verdadeiras, uma vez
que a conjunção de duas proposições só é verdadeira se ambas forem verdadeiras. Como ~ é
uma proposição verdadeira, então  é uma proposição falsa.
Na opção (A), a proposição  é falsa e a proposição  é falsa.
Na opção (B), a proposição  é verdadeira e a proposição  é falsa.
Na opção (C), a proposição  é verdadeira e a proposição  é verdadeira.
Na opção (D), a proposição  é falsa e a proposição  é verdadeira.

3. Opção (B)
∼ ∀ ,  ≤ 2 ∨ > 1 ⇔ ∃ : ∼  ≤ 2 ∨ > 1

⇔ ∃ :  > 2 ∧ ≤ 1

4. Opção (B)

 +  + 2 = −  +  ⇔ 2  + 2 = 0
⇔ 2   + 1 = 0

Edições ASA | 2016 Expoente10 | Daniela Raposo e Luzia Gomes

 
⇔ 2 = 0 ∨
 
+1=
0
!"#çã$ %&'$((í)*+ *& ℝ

⇔ =0

A equação é possível em ℝ e o seu conjunto-solução é -0..

5. Opção (A)
0 0 0
2 − ≤ 3 ⇔ − ≤ ⇔ ≥ −
  
0
Logo, 3 = 4− , +∞4.

7 8
3 > −4 ∧ 4 ≤ 9 ⇔ > − ∧ ≤
 7
7 8
Logo, 9 = :−  , 7: ∩ ℤ = -−1, 0, 1, 2..
0
Assim, 9\3 = 9 ∩ 3̅ = -−1, 0, 1, 2. ∩ :−∞, − 4 = -−1..


Grupo II

1.
1.1.
1.1.1. “Um quadrado é um retângulo e um retângulo não é um paralelogramo e um quadrado é
um paralelogramo.”

1.1.2. “Se um quadrado não é um retângulo, então nem um retângulo é um paralelogramo

nem um quadrado é um paralelogramo.”

1.2.  ∧  ⇒ ~
Negação: ~? ∧  ⇒ ~@ ⇔ ~~ ∧  ∨ ~
⇔ ~?~ ∧  @ ∧ ~~
⇔∧∧

1.3. A proposição  é falsa, a proposição  é verdadeira e a proposição  é verdadeira.

Assim, ~ é uma proposição falsa e  ∧ ~ é uma proposição falsa (por se tratar da conjunção
de duas proposições em que uma delas é falsa). Logo,  ⇒  ∧ ∼  é uma proposição
verdadeira (por se tratar de uma implicação em que o antecedente e o consequente são
ambos falsos) e ~? ⇒  ∧ ∼  @ é uma proposição falsa.

Edições ASA | 2016 Expoente10 | Daniela Raposo e Luzia Gomes

2.
2.1.
  ~ ~ ⇒  ~  ∧ ~ ~ ⇒  ⇒  ∧ ~
V V F V F F F
V F F V V V V
F V V V F F F
F F V F V F V

As colunas correspondentes a ~ ⇒  ⇒  ∧ ~ e a ~ são iguais, logo as proposições

~ ⇒  ⇒  ∧ ~ e ~ são equivalentes.

2.2. ~ ⇒  ⇒  ∧ ~ ⇔ ~~ ⇒  ∨  ∧ ~

⇔ ~ ∨  ∨  ∧ ~
⇔ ~ ∧ ~ ∨  ∧ ~
⟺ ~ ∧ ~ ∨ 
⇔ ~ ∧ V
⇔ ~

3. Como ? ∨ ~ ⇒  @ ∧ ~ ∨  é uma proposição verdadeira, tem-se que as proposições

? ∨ ~ ⇒  @ e ~ ∨  são verdadeiras.
Sendo ~ ∨  uma proposição verdadeira, então  ∨  é uma proposição falsa, logo  e  são
ambas proposições falsas.
Uma vez que  e  são proposições falsas, vem que ~ é uma proposição verdadeira e, então,
~ ⇒  é uma proposição falsa.
Para que ? ∨ ~ ⇒  @ seja uma proposição verdadeira, tem-se, então, que  é uma proposição
verdadeira.
Logo, o João vai ao cinema.

4.
4.1.  + 4 ≥ 0 é uma condição possível universal em ℤC.

4.2.  − 8 = 0 ∧ | | ≤ 2 ⇔ = 2 ∧  ≥ −2 ∧ ≤ 2
⇔ =2
Logo, a condição é possível não universal em ℝ.

Edições ASA | 2016 Expoente10 | Daniela Raposo e Luzia Gomes

5.
7±√0HC0
5.1.  :  − 4 + 3 = 0 ⇔ =

7±
⇔ =


⇔ =1∨ =3

I JK0
 : − ≥ − ⇔ 4 − 5 ≥ −2 − 2
7 

⇔ 6 ≥ 3
0
⇔ ≥


 :  > 9 ⇔ > 3 ∨ < −3

Assim, o conjunto-solução de  ∨ ? ∧  @ é:

0
-1,3. ∪ P4 , +∞4 ∩ Q−∞, −3R ∪ Q3, +∞R S = -1,3. ∪ Q3, +∞R =


= -1. ∪ R3, +∞R

5.2. Se, por exemplo, = 1, então 1 é uma proposição verdadeira e 1 é uma proposição
falsa, pelo que 1 ⇒ 1 é uma proposição falsa e, portanto, a proposição ∀ ,  ⇒  é
falsa.

5.3. ~?∃ :  ⇒  @ ⇔ ∀ , ~?~ ∨  @

⇔ ∀ ,  ∧ ~
I JK0
⇔ ∀ ,  − 4 + 3 = 0 ∧ − < −
7 

5.4. T = -1,3.
0
U = 4 , +∞4

0 0 0
TV ∩ U = ℝ\-1,3. ∩ 4 , +∞4 = 4 , 14 ∪ Q1,3R ∪ Q3, +∞R = 4 , +∞4 \-1, 3.
  

6. Para provar que ∀X ∈ ℕ, 3X + 5 é um número natural ímpar ⇒ X é um número natural par, vamos
provar a implicação contrarrecíproca:
X é um número natural ímpar ⇒ 3X + 5 é um número natural par
Suponhamos que X é um número natural ímpar. Então, existe [ ∈ ℕ tal que X = 2[ + 1. Logo,
3X = 3 × 2[ + 1 = 2 × 3[ + 3 é um número ímpar. Tem-se então que 3X + 5 é a soma de um
número ímpar com outro número ímpar e, portanto, é um número par.

Edições ASA | 2016 Expoente10 | Daniela Raposo e Luzia Gomes