Ficha n.o 1 Pgina 4 1.

LGICA E TEORIA DOS CONJUNTOS

1.1. Sabendo que uma proposio toda a expresso p suscetvel de ser verdadeira ou falsa, a
expresso em III no representa uma proposio.

1.2. Opo correta: (A)

Apenas nas afirmaes I e IV temos a garantia de que so verdadeiras.

2. II, III e VI, pela definio de proposio.

3.1. Proposio verdadeira. Os quadrados so polgonos com quatro lados iguais, logo so losangos.

3 3
3 27 33 27 27 27 3 33
3.2. Proposio falsa. = e = . Como < , ento > falsa.
2 8 2 2 8 2 2 2

3.3. Proposio falsa. 9 + 16 = 25 = 5 e 9 + 16 = 3 + 4 = 7 , logo 9 + 16 = 9 + 16 falsa.

3.4. Proposio falsa.

3,141 592 653 5... , logo representado por uma dzima infinita no peridica.

2
22 1 1 1 1 1 9 22
3.5. Proposio falsa. = 22 : 3 = : 3 = : 3 = = , logo = falsa.
3 2 4 4 3 12 4 3

3.6. Proposio verdadeira. 3 0,000 064 = 0,04 e 0,04 .

( 4 7) ( 3 ) ( 4 7)
2 2 2
3.7. Proposio falsa. = = 9 = 3 e 3 > 0 , logo <0.

3.8. Proposio falsa. Um tringulo equiltero tem as medidas dos comprimentos dos seus lados todas
iguais e as medidas das amplitudes dos seus ngulos internos tambm iguais. Como a soma das
medidas das amplitudes dos ngulos internos de um tringulo 180, ento cada ngulo interno
medir 180: 3 = 60 . Para um tringulo ser retngulo um dos seus ngulos mede 90 de amplitude,
logo nenhum tringulo equiltero poder ser retngulo.

4. Opo correta: (D)

p uma proposio verdadeira e q e r so falsas.
Duas proposies so equivalentes de tiverem o mesmo valor lgico, logo q r .

4
Ficha n.o 1 Pgina 5

5.1. No. O preo total para os 5 2350 . uma proposio, ao contrrio de A viagem est em bom
preo..

5.2. Princpio de no contradio: Uma proposio p no pode ser simultaneamente verdadeira e falsa.

54 54
7 7
6. p uma proposio falsa, porque > 0 dado que o expoente par, logo
2 2
q uma proposio falsa, porque:

( ) ( )
2
4 0,2 0,8 0,2 = 4 0,2 0,8 + 0,2 0,2 = 4 0,16 + 0,2 = 4 0,4 + 0,2 = 3,8

r uma proposio verdadeira, porque:

3
125 5 125 5 5 5
3 = e = , logo >
8 2 8 8 2 8
s uma proposio falsa, porque:
2 2
1 2 4 4 1
(3 3 1 ) = 1 = = e
2
0

3 3 9 9 81
2
1 1
9 2 = =

9 81

6.1. Por exemplo: r s

6.2. Por exemplo: p q e p s

7. p uma proposio verdadeira, porque m.d.c. ( 27, 72 ) = 32 = 9 .

( 7 )
2
q uma proposio falsa, porque = 49 = 7 .

5 2 5 20 20
r uma proposio falsa, porque 2 = = .
4 4 4 8
s uma proposio verdadeira, porque:
23 3
1 1
8
1
8
1 1 2 1
6
1
6
1 1 1
= = = e = = = e < .
2 2 2 256 2 2 2 64 256 64

7.1. a) p q falsa, porque p verdadeira e q falsa.

b) q r verdadeira, porque q falsa e r falsa.

c) q s verdadeira, porque p verdadeira e s verdadeira.

d) r s falsa, porque r falsa e s verdadeira.

5
Ficha n.o 1 Pgina 5 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS

7.2. a) p uma proposio verdadeira e t p verdadeira, logo t uma proposio verdadeira.

b) s uma proposio verdadeira e s t falsa, logo t uma proposio falsa.

c) q uma proposio falsa e t q falsa, logo t uma proposio verdadeira.

d) r uma proposio falsa e r t verdadeira, logo t uma proposio falsa.

8. p uma proposio verdadeira.

q uma proposio falsa. 3

( )
64 = 3 8 = 2 e 2 4 2

s uma proposio falsa. 3 ( 5 ) = 15 e ( 3 5 ) = 15

Se v s verdadeira e s tambm verdadeira, ento v verdadeira.

Se u q verdadeira e q falsa, ento u falsa.

Se t p verdadeira e p tambm verdadeira, ento t verdadeira.

Se r u verdadeira e u falsa, ento r falsa.

Assim:
p: verdadeira; q: falsa; r: falsa; s: verdadeira; t: verdadeira; u: falsa; v: verdadeira
A sequncia em que a Ana pensou : 1001101

5
Ficha n.o 2 Pgina 6

1.1. p : Um tringulo obtusngulo no pode ser equiltero.

q: 3 2 2 3
1 1
r:
2 3
s : Nem todos os divisores de 12 so mltiplos de 2.

1.2. a) p uma proposio falsa, porque um tringulo obtusngulo tem um ngulo obtuso e num tringulo
equiltero todos os seus ngulos medem 60 de amplitude, ou seja, todos os ngulos so agudos.
b) q uma proposio verdadeira.
Como 3 2 = 6 e 2 3 = 6 , ento 3 2 = 6 = 2 3 , pelo que q uma proposio falsa.

c) Dada uma proposio r, ( r ) r , logo o valor lgico de ( r ) o mesmo da proposio r.

1 1
Assim, < verdadeira.
2 3
d) s uma proposio falsa.

{ }
D12 = 1 , 2, 3 , 4, 6, 12 e M2 = {0 , 2, 4, 6, 8, 10,...} . Repare que 1 e 3 no so mltiplos de 2.

e) p uma proposio falsa, logo p verdadeira.

2.1. Dada uma proposio p, ( p ) p .

a) Se p uma proposio verdadeira, ento ( p ) tambm verdadeira.

b) Se p uma proposio falsa, ento ( p ) tambm falsa.

2.2. Pela lei da dupla negao: Dada uma proposio p, ( p ) p .

2.3. a) ( p ) uma proposio verdadeira, ento, pela lei da dupla negao, p verdadeira, logo p

falsa.
b) p uma proposio falsa, ento p verdadeira.

3.1. p uma proposio falsa. Se p q verdadeira, ento p e q tm o mesmo valor lgico. Como

p falsa, ento q falsa, donde q verdadeira.

3.2. a) p uma proposio falsa. Se q p falsa, ento:

(1) q falsa e p verdadeira ou (2) q verdadeira e p falsa.

Como p falsa, ento p verdadeira, excluindo-se a opo (2). Assim, q falsa, donde q

verdadeira.

6
Ficha n.o 2 Pgina 6 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS

4.1. a) A professora Slvia tem uma filha e a filha chama-se Lara.

b) A professora Slvia tem uma filha e a filha no tem 7 anos.
c) A filha da professora Slvia no se chama Lara.
d) A filha da professora Slvia no se chama Lara nem tem 7 anos.

4.2. a) Se p e r so verdadeiras, ento p r verdadeira.

b) Se p verdadeira, ento p falsa. Se p falsa e q verdadeira, ento p q falsa, logo

( p q ) verdadeira.

c) Se r verdadeira, r falsa. Se q verdadeira e r falsa, ento q r falsa. Se p

verdadeira e q r falsa, ento p ( q r ) falsa.

d) Se q verdadeira, q falsa. Logo, q q falsa.

6
Ficha n.o 2 Pgina 7

5.1. p : Proposio falsa

q : Proposio verdadeira
r : Proposio falsa
s : Proposio verdadeira
t : Proposio verdadeira
u : Proposio verdadeira

5.2. a) q s b) t r c) p u d) s r

5.3. a) 16 divisor de 4 e 4 um quadrado perfeito

b) 6 no mltiplo de 2 e divisor de 12
c) 2 divisvel por 12 e 6 no mltiplo de 2
d) 2 no um nmero primo nem divisvel por 12

5.4. a) Se p falsa, p verdadeira. Se p e u so verdadeiras, ento p u verdadeira.

b) Se q verdadeira e s verdadeira, ento q s verdadeira. Se r falsa, r verdadeira, logo

r ( q s ) verdadeira.

6.1. a) O Gil pratica atletismo ou pratica tnis.

Como p e q so verdadeiras, logo p q verdadeira.

b) O Gil no pratica atletismo ou pratica tnis.

Se p verdadeira, p falsa. Se p falsa e q verdadeira, ento p q verdadeira.
c) O Gil pratica atletismo ou no pratica tnis.
Se q verdadeira, q falsa. Se p verdadeira e q falsa, ento p q verdadeira.

d) O Gil no pratica atletismo ou no pratica tnis.

Se p verdadeira, p falsa. Se q verdadeira, q falsa. Se p falsa e q falsa, ento

p q falsa.

6.2. Proposio verdadeira

Princpio do terceiro excludo: Dada uma proposio p, p p uma proposio verdadeira, uma

vez que o valor lgico de p ou verdadeiro ou falso.

7. Opo correta: (C)

p uma proposio falsa. q r verdadeira, logo q e r so verdadeiras.

(A) p uma proposio falsa e r verdadeira, logo p r falsa.

(B) p uma proposio falsa, p verdadeira, q r verdadeira e ( q r ) falsa, logo

p ( q r ) falsa.

(C) p uma proposio falsa, p verdadeira e q r verdadeira, logo p ( q r ) verdadeira.

(D) q uma proposio verdadeira, q falsa, p falsa e q falsa, logo p q falsa.

7
Ficha n.o 2 Pgina 7 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS

8. Se p q verdadeira, ento p verdadeira e q verdadeira. Se q verdadeira, q falsa.

8.1. p uma proposio verdadeira e q verdadeira, logo p q verdadeira.

8.2. Se p uma proposio verdadeira, ento p falsa e como q falsa, ento p q falsa.

8.3. Pela lei da dupla negao, ( q ) tem o mesmo valor lgico de q logo falsa. Como p verdadeira,

p ( q ) verdadeira.

8.4. Se p uma proposio verdadeira, ento p falsa e como q falsa, ento p q falsa e,

assim, ( p q ) verdadeira.

7
Ficha n.o 2 Pgina 8

9.1. pq 9.2. q r 9.3. pr q

10.1. p uma proposio verdadeira e q falsa (( 2) 2 2

)
= 4 e ( 1) = 1, logo 4 > 1 , ento p q falsa.

3 2 9 3
2
9 9 9
10.2. r uma proposio verdadeira e s verdadeira = e = , logo > , ento r s
2 4 4 16 4 16

verdadeira.

10.3. p uma proposio verdadeira, p falsa, r verdadeira, ento p r verdadeira.

10.4. p uma proposio verdadeira, p falsa. q uma proposio falsa, q verdadeira.

p q verdadeira e p q falsa, logo ( p q ) ( p q ) falsa.

11. p q falsa, logo p verdadeira e q falsa. Se q falsa, ento q verdadeira.

11.1. p uma proposio verdadeira e q verdadeira, logo p q verdadeira.

11.2. p uma proposio verdadeira, logo p falsa. Como q verdadeira, ento p q verdadeira.

11.3. p uma proposio verdadeira, logo q falsa, logo p q falsa.

11.4. p uma proposio verdadeira, logo p falsa. Como q falsa, ento p q falsa.

11.5. q uma proposio verdadeira e p verdadeira, logo q p verdadeira.

11.6. p uma proposio verdadeira, logo p falsa. Como q verdadeira, logo p q verdadeira.

11.7. p uma proposio verdadeira e q falsa, logo p q falsa. Assim, ( p q ) verdadeira.

11.8. p uma proposio verdadeira, logo p falsa. Como q falsa, ento p q verdadeira,

logo ( p q ) falsa.

12. Opo correta: (C)

p q p ( p) q p p p p p ( p ) p ( p )
V V F V F F F V V
V F F V V F F V V
F V V F F F V V F
F F V F V F V V F

8
Ficha n.o 2 Pgina 8 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS

13. Os quadrados so retngulos se e s se tm os seus quatro ngulos internos retos.

Sendo p e q verdadeiras, ento p q verdadeira.

14. Sendo p q verdadeira, ento p verdadeira e q verdadeira, pelo que q falsa.

14.1. Se p verdadeira, ento p falsa. A proposio q falsa, logo p q verdadeira.

14.2. Se p verdadeira e q falsa, ento p q falsa.

14.3. Se p verdadeira e q falsa, ento p q falsa. Se p falsa e q falsa, ento p q falsa.

Ento, ( p q ) ( p q ) verdadeira.

8
Ficha n.o 2 Pgina 9

15. p q verdadeira, ento p e q so ambas verdadeiras ou ambas falsas.

15.1. Pelo princpio da dupla implicao: ( p q ) ( p q ) ( q p )

Assim, sabendo que p q verdadeira, ento p q verdadeira e q p verdadeira.

15.2. Princpio da dupla implicao:

Dadas as proposies p e q: ( p q ) ( q p ) ( p q )

16.1. a) p b) ( p r ) c) p r d) p r

16.2. a) A Carolina foi para as Carabas ou a Rita foi para as ilhas gregas.
b) A Carolina no foi para as Carabas e a Rita no foi para as ilhas gregas.
c) No verdade que a Joana foi para as Canrias ou a Rita para as ilhas gregas.
d) A Carolina foi para as Carabas e no verdade que a Joana no foi para as Canrias.

16.3. Se ( q p ) r verdadeira, ento ( q p ) verdadeira e r verdadeira. Se ( q p )

verdadeira, ento q p falsa. Assim, q falsa e p falsa. Se p falsa, ento p

verdadeira.
Conclui-se ento que r verdadeira q falsa e p verdadeira, logo:
A Joana foi para as Canrias, a Carolina para as Carabas e a Rita para as ilhas gregas.

17. Se ( p q ) ( q r ) falsa, ento p q verdadeira e q r falsa. Se p q verdadeira,

ento p verdadeira e q verdadeira. Se q verdadeira, ento q falsa. Se q r falsa,

ento q falsa e r falsa. Assim, p verdadeira, q falsa e r falsa, ou seja, o Marco toca guitarra.
18.
p q r p r pr q r ( p r ) (q r )
V V V F F F V F
V V F F V F V F
V F V F F F F F
V F F F V F V F
F V V V F V V V
F V F V V F V F
F F V V F V F F
F F F V V F V F
Por observao da tabela, a proposio dada verdadeira quando p falsa e q e r so verdadeiras.
19.
p q pq (p q) (p q) q ( p q ) q
V V V F V F
V F F V V F
F V F V V F
F F F V V F

20. ( r q ) p verdadeira, ento r q verdadeira e p verdadeira. Se p verdadeira,

ento p falsa. Se r q verdadeira e r verdadeira, ento q verdadeira. Se q

verdadeira, ento q falsa. Conclui-se ento que p falsa e q falsa.

9
Ficha n.o 3 Pgina 10 1. LGICA E TEORIA DOS CONJUNTOS

1.1. Opo correta: (C)

Pela propriedade comutativa da conjuno

1.2. Opo correta: (C)

Pela propriedade associativa da disjuno

2. Opo correta: (B)

Implicao contrarrecproca
3.1.
p q pq qp
V V V V
V F V V
F V V V
F F F F

Logo, p q q p .
3.2.
p q r pq qr p (q r ) (p q) r
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F V F F
F V F F F F F
F F V F F F F
F F F F F F F

Logo, p ( q r ) ( q r ) r .

3.3. Pretendemos provar que: p V V

p V pV
V V V
F V V

3.4. Pretendemos provar que: p F F

p F p F
V F F
F F F

3.5. Pretendemos provar que: p F p

p F pF
V F V
F F F

3.6. Pretendemos provar que: p V p

p V pV
V V V
F V F

10
Ficha n.o 3 Pgina 10 (cont.)

3.7. Pretendemos provar que: p ( q r ) ( p q ) ( p r )

p q r qr p (q r ) pq pr (p q) (p r )
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

3.8. Pretendemos provar que: ( p q ) p q

p q p q pq (p q) p q
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V

4.1. (p q) q

( p q ) q (Primeiras leis de De Morgan)

p ( q q ) (Propriedade associativa da disjuno)

p V (Princpio do terceiro excludo)

V (V o elemento absorvente da disjuno)

4.2.
p q pq (p q) (p q) q
V V V F V
V F F V V
F V F V V
F F F V V

10
Ficha n.o 3 Pgina 11 1. LGICA E TEORIA DOS CONJUNTOS

5.1. p r q

5.2. Se o Gil vai para a escola de autocarro, ento o Nuno vai para a escola a p e o Martim vai para a
escola de carro.

5.3. p r q

( p r ) q (Relao da implicao com a disjuno)

( p ) ( r ) q (Primeiras leis de De Morgan)

(p r ) q (Lei da dupla negao)

q ( p r ) (Propriedade comutativa da disjuno)

q (p r ) (Relao da implicao com a disjuno)

6.1. p pq

p ( p q ) (Relao da implicao com a disjuno)

( p p) q (Propriedade associativa da disjuno)

Vq (Princpio do terceiro excludo)

V (V o elemento neutro da disjuno)

6.2. p ( p q ) q

p ( p q ) q (Relao da implicao com a disjuno)

( p p ) ( p q ) q (Propriedade distributiva da conjuno em relao disjuno)

F ( p q ) q (Princpio de no contradio)

(p q) q (F o elemento neutro da disjuno)

( p q ) q (Relao da implicao com a disjuno)

( p q ) q (Primeiras leis de De Morgan)

p ( q q ) (Propriedade associativa da disjuno)

p V (Princpio do terceiro excludo)

V (V o elemento absorvente da disjuno)

6.3. ( p q)

p q (Negao da implicao)

( p q ) (Primeiras leis de De Morgan)

11
Ficha n.o 3 Pgina 11 (cont.)

6.4. ( p q )

( p q ) (Negao da implicao)

p ( q ) (Primeiras leis de De Morgan)

p q (Dupla negao)

6.5. ( q p ) ( q p )
( q ) p ( q p ) (Relao da implicao com a disjuno)

( q p ) ( q p ) (Dupla negao)

( q p ) q ( p ) (Primeiras leis de De Morgan)

(q p ) ( q p ) (Dupla negao)

( p q ) ( q p) (Propriedade comutativa da disjuno)

( p q ) (q p) (Relao da implicao com a disjuno)

pq (Princpio da dupla implicao)

6.6. ( q p ) ( p r )
( q ) p ( p r ) (Relao da implicao com a disjuno)

(q p ) ( p r ) (Lei da dupla negao)

( p q ) ( p r ) (Propriedade comutativa da disjuno)

p (q r ) (Propriedade distributiva da disjuno em relao conjuno)

7.1. ( p q )

( p ) ( q ) (Primeiras leis de De Morgan)

pq (Lei da dupla negao)

7.2. (p q) p
( p p) ( p q ) (Propriedade distributiva da conjuno em relao disjuno)

F ( p q) (Princpio da no contradio)

p q (F o elemento neutro da disjuno)

7.3. p (q p )

( p q ) ( p p ) (Propriedade distributiva em relao disjuno)

(p q) F (Princpio da no contradio)

(p q) (F o elemento neutro da disjuno

11
Ficha n.o 3 Pgina 11 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS
7.4. ( p q ) ( p q )
p (q q ) (Propriedade distributiva da disjuno em relao conjuno)

pF (Princpio de no contradio)

p (F o elemento neutro da disjuno)

7.5. (p q) q
( p q ) ( q p ) q (Princpio da dupla implicao)

( p q ) ( q p ) q (Relao da implicao com a disjuno)

( p q ) ( q p ) q (Relao da implicao com a disjuno)

( p q ) ( q p ) q (Primeiras leis de De Morgan)

( p q ) ( q p ) q (Primeiras leis de De Morgan)

( p q ) q ( q p ) (Propriedade associativa da disjuno)

( p q ) ( q q ) ( q p ) (Propriedade distributiva da disjuno em relao conjuno)

( p q ) V ( q p ) (Princpio do terceiro excludo)

( p q ) (q p) (V o elemento neutro da conjuno)

q p ( q p ) (Propriedade associativa da disjuno)

q ( p q ) ( p p ) (Propriedade distributiva da disjuno em relao conjuno)

q ( p q ) V (Princpio do terceiro excludo)

q (p q) (V o elemento neutro da conjuno)

qq p (Propriedade comutativa da disjuno)

qp (Idempotncia da disjuno)

7.6. p ( p q ) q

p ( p q ) q (Primeiras leis de De Morgan)

p ( p q ) q (Negao da implicao)

( p p ) ( p q ) q (Propriedade distributiva da disjuno em relao conjuno)

V ( p q ) q (Princpio do terceiro excludo)

( p q ) q (V o elemento neutro da conjuno)

( p q) ( q q ) (Propriedade distributiva da conjuno em relao disjuno)

( p q ) F (Princpio de no contradio)

p q (F o elemento neutro da disjuno)

11
Ficha n.o 3 Pgina 11 (cont.)
7.7. q ( q r ) ( q r ) r
( q q ) ( q r ) ( q r ) ( r r )
(Propriedade distributiva da disjuno em relao conjuno)

V ( q r ) ( q r ) V (Princpio do terceiro excludo)

(q r ) (q r ) (V o elemento neutro da conjuno)

q (r r ) (Propriedade distributiva da disjuno em relao conjuno

q F (Princpio de no contradio)
q (F o elemento neutro da disjuno)

7.8. (p q) ( p q) (p q)
( p q ) ( p q ) ( p q ) ( q p )
(Primeiras leis de De Morgan e princpio da dupla implicao)
p ( q q ) ( p q ) ( q p )
(Propriedade distributiva da disjuno em relao conjuno e

relao da implicao com a disjuno)

p F ( p q ) ( q p ) (Princpio de no contradio)
p ( p q ) ( q p ) (F o elemento neutro da disjuno)
( p ) ( p q ) ( q p ) (Relao da implicao com a disjuno)

p ( p q ) ( q p ) (Dupla negao)
p ( p q ) p ( q p ) (Propriedade distributiva da disjuno em relao conjuno)
( p p ) q [ p p q ] (Propriedade associativa da disjuno)

( V q ) ( p q ) (Princpio do terceiro excludo e idempotncia da disjuno)

V ( p q ) (V o elemento absorvente da disjuno)

p q (V o elemento neutro da conjuno)

8. p ( p q ) ( p q )

p ( p q ) ( p q ) (Primeiras leis de De Morgan)

p ( p q ) ( p q ) (Negao da implicao)

( p p ) q ( p q ) (Propriedade associativa da conjuno)

( F q ) ( p q ) (Princpio de no contradio)

F (p q) (F o elemento absorvente da conjuno)

F ( p q ) (Relao da implicao com a disjuno)

V (p q)

V (V o elemento absorvente da disjuno)

11
Ficha n.o 4 Pgina 12 1. LGICA E TEORIA DOS CONJUNTOS

1. Opo correta: (B)

2.1. Opo correta: (D)

(A) Se x = 1 , ento ( x + 2 ) = 0 falsa.

2

(B) x = 7 10 x = 3 uma condio impossvel em .

(C) x 2 + 4 0 x 2 4 uma condio impossvel em .

(D) ( x 3 ) 0 qualquer que seja o x , ( x 3 ) sempre um nmero no negativo.

2 2

x , ( x 3 ) 0 . Condio universal
2
2.2.

3.1. (I) x P, x mpar

(II) x , x

(III) x , x 2 > x
(IV) x T : x issceles e retngulo
(V) x D24 : x mltiplo de 3

(VI) x , x 2 + 5 0

(VII) x : 3 x = 2
(VIII) x P : x peixe escalar

(I) x = 2 , 2 um nmero primo que par, logo a proposio falsa.

(II) , logo todo o nmero pertencente ao conjunto ser tambm elemento do conjunto .
Assim, a proposio verdadeira.
(III) Se x = 0 , 02 = 0 , logo a proposio falsa.
(IV) Um tringulo cujas amplitudes dos ngulos so 45, 45 e 90 tem um ngulo reto, pelo que um
tringulo retngulo. Como tem dois ngulos iguais aos quais se opem dois lados iguais, ento um
tringulo issceles. A proposio verdadeira.
(V) D24 = {1, 2, 3, 4, 6, 8, 12, 24} ; x = 3 e 3 mltiplo de 3 , logo a proposio verdadeira.

(VI) Se x = 1, 12 + 5 = 6 > 0 , logo a proposio falsa.

2 2
(VII) Se x = , 3 = 2 , logo a proposio verdadeira.
3 3
(VIII) O peixe escalar um peixe de gua doce, logo a proposio verdadeira.

3.2. (I) x P : x no mpar (II) x : x

(III) x : x 2 x (IV) x T , x no issceles e retngulo

(V) x D24 , x no mltiplo de 3 (VI) x : x 2 + 5 > 0

(VII) x , 3 x 2 (VIII) x P, x no peixe escalar

12
Ficha n.o 4 Pgina 13
4.1. 2 x 1 > x 2 x x > 1 x > 1 . A condio universal em ]1, + [ .

4.2. A condio impossvel em ] , 1] .

4.3. Por exemplo: +0

5. (I) x : 2x 3 . Proposio verdadeira. Se x = 1, 2 1 = 2 3 .

(II) x , 2x = 3 . Proposio falsa. Se x = 2, 2 2 = 4 3 .

(III) x , ( x 1) x 2 2x + 1. Proposio falsa

2

1
(IV) x + : 1 . Proposio falsa
x +1
(V) x , x 2 x . Proposio falsa. Se x = 1, 1 1 = 3 > 1 .

(VI) x : 2 x x . Proposio verdadeira. Se x = 1 , 2 ( 1) = 2 < 1.

6.1. Proposio falsa. Se x = 2 , x um nmero primo.

6.2. x P : x no um nmero primo
6.3. a) Proposio falsa. Se x = 9 , 9 no um nmero primo.
b) Proposio verdadeira. Se x = 9 , 9 no um nmero primo.

p ( x ) uma condio possvel, mas no universal. Se x = 1 , ( 1)

2
7. = 1.

q ( x ) uma condio possvel, mas no universal. Se x = 1 , ( 1) ( 1) = 1 > 0 .

r ( x ) uma condio universal. O quadrado de um nmero um nmero no negativo.

t ( x ) uma condio impossvel.

7.1. p ( x ) r ( x ) uma condio possvel, pois a conjuno de uma condio possvel com uma

condio universal.

7.2. q ( x ) t ( x ) uma condio possvel, pois a disjuno de uma condio possvel com uma

condio impossvel.

7.3. p ( x ) t ( x ) uma condio impossvel, pois a conjuno de uma condio possvel com uma

condio impossvel.

7.4. q ( x ) r ( x ) uma condio universal, pois a disjuno de uma condio possvel com uma
condio universal.
1
8.1. x : 2x 1 0 x < 8.2. x : x = 5 2x 4 6
2

Se x = 5 , ( 5 ) > 16 . 25 > 16 verdadeira e 5 > 4 falsa.

2
9.1.

9.2. x , 2 x mltiplo de 2, logo 2x no mltiplo de 3. Repare que, se x = 12 , 2 12 = 24 mltiplo de 2

e 24 mltiplo de 3.

13
Ficha n.o 5 Pgina 14 1. LGICA E TEORIA DOS CONJUNTOS

1. Opo correta: (C)

Os conjuntos apresentados nas opes (A) e (D) so infinitos. Na opo (B), se x = 4 , x 2 = 16 .

Repare que:
Se x = 4 , 4 = 4 . Se x = 3 , 3 = 3 < 4 . Se x = 2 , 2 = 2 < 4 .

Se x = 1, 1 = 1 < 4 . Se x = 0 , 0 = 0 < 4 . Se x = 1, 1 = 1 < 4 .

Se x = 2 , 2 = 2 < 4 . Se x = 3 , 3 = 3 < 4 . Se x = 4 , 4 = 4 .

2. Opo correta: (B)

A = ] , 2[ 4 , + . Como

4 = 2 , A = ] , 2[ [ 2, + [ .

Representando os conjuntos A e B na mesma reta numrica:

5
Ento, A B = 2, .
2

3. Opo correta: (C)

A = {2, 4, 6, 8,...} ; B = {1, 2, 3, 4, 5} ; C = {4, 8, 12, 16, 20,...}

Se x = 2 , 2 A , mas 2 C , logo A no est contido em C.

1 1
4. ( )
x 2 9 ( 2 x 1) = 0 x 2 9 = 0 2 x 1 = 0 x 2 = 9 2x = 1 x = 9 x =
2
x = 3 x =
2
porque x

{x : ( x 2
) }
9 ( 2x 1) = 0 = {3, 3}

x 3 x 3 x 3 3 x 3 , logo { x : x 3} = {3, 2, 1, 0, 1, 2, 3}

{ }
x : x 2 < 30 = {5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5}

1 1
5. ( x 5 ) ( 4 x 2 1) = 0 x 5 = 0 4 x 2 1 = 0 x = 5 4 x 2 = 1 x = 5 x 2 = x = 5 x =
4 2
A condio universal no conjunto A, impossvel no conjunto B e possvel no universal no
conjunto C.

14
Ficha n.o 5 Pgina 15

5
6. A = ]3, + [ ; B = , e C = , 2
2

6.1. AB =

6.2. B C = , 2

5 5
6.3. B C = , , pelo que A ( B C ) = 3,
2 2

5 5
6.4. B = x : x > = , +
2 2

6.5. { }
C = x : x > 2 = 2, +

5
6.6. A \ B = , +
2

5
6.7. A = { x : x 3} = ] , 3] , logo B \ A = 3,
2

6.8. A C = 3, 2 , logo B \ ( A C ) = ] , 3 ]

7. { }
A = x : x 2 + 6 x = 9 = {3}

6 6 2 4 1 9 6 36 36 6
x 2 + 6 x = 9 x 2 + 6 x + 9 = 0 x = x= x= x = 3
2 1 2 2
B = { x : x 5} = [ 5, 5 ]

x 5 x 5 x 5 5 x 5

C = {n : n + 1 20 n um quadrado perfeito}

Quadrados perfeitos: 1, 4, 9, 16, 25,

n + 1 20 n 20 1 n 19 , logo C = {1, 4, 16} , pelo que B \ C = [ 5, 5 ] \ {1, 4} .

A C = {3} {1, 4, 16} =

8.1. P = {n : 2n 1 15} = {1, 2, 3, 4, 5, 6, 7, 8}

16
2n 1 15 2n 10 n n8
2

8.2. Q = {n : n divisor de 12} = {1, 2, 3, 4, 6, 12}

15
Ficha n.o 5 Pgina 15 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS

8.3. R = {n : 3n inferior a 15} = {1, 2, 3, 4}

15
3n < 15 n < n<5
3

8.4. S = {n : p ( x ) q ( x )} = P Q = {1, 2, 3, 4, 5, 6, 7, 8} {1, 2, 3, 4, 6, 12} = {1, 2, 3, 4, 6 }

8.5. T = {n : q ( n ) r ( x )} = Q R = {1, 2, 3, 4, 6, 12} {1, 2, 3, 4} = {1, 2, 3, 4, 6, 12 }

8.6. V = {n : p ( n ) r ( x )} = P R = {1, 2, 3, 4, 5, 6, 7, 8} {5, 6, 7, 8} = {5, 6, 7, 8}

1
9. p ( x ) : 2 3 x x 3 x x 2 4 x 2 x
2
x+4
q(x) : 2 x+46 x 2
3
r ( x ) : 1 x < 4 1 x x < 4 x 1 x < 4

1
9.1. A = {x : p ( x )} = , +
2

9.2. A = {x : r ( x )} = {x : x < 1 x 4} = ], 1[ [ 4, + [

1
9.3. C = {x : p ( x ) q ( x )} = A B = ], 1[ , +
2

1 1
9.4. D = {x : p ( x ) r ( x )} = A B = , + [ 1, 4[ = 2 , 4
2

1
9.5. E = {x : p ( x ) q ( x )} = A {x : q ( x )} = A ] , 2] = , ] , 2] = ] , 2]
2

1 1
9.6. { }
F = x : ( p ( x ) q ( x ) ) r ( x ) = , ]2, + [ [ 1, 4[ = 1, ]2, 4[
2 2

15
Ficha n.o 5 Pgina 16

10.1. Das propriedades sobre os valores lgicos de proposies, sabemos que a V V , logo
q ( x ) r ( x ) uma condio universal, uma vez que se trata da disjuno de uma condio universal

com uma condio qualquer. Assim, o seu conjunto-soluo o conjunto U.

10.2. Se q ( x ) uma condio universal, q ( x ) uma condio impossvel. Como a F F , ento

r ( x ) q ( x ) uma condio impossvel j que se trata da conjuno de uma condio qualquer

com uma condio impossvel. Assim, o seu conjunto-soluo o conjunto vazio.

10.3. p ( x ) uma condio impossvel, logo p ( x ) uma condio universal. Como a F a e

aV a , ento p(x) r (x) r (x) , pois p(x) uma condio impossvel e

p ( x ) r ( x ) r ( x ) , pois p ( x ) uma condio universal, logo o conjunto-soluo .

11. { ( ) }
A = x : x x 2 1 = 0 = {1, 0, 1}

( )
x x 2 1 = 0 x = 0 x 2 1 = 0 x = 0 x 2 = 1 x = 0 x = 1 x = 1

B = {x : 1 x 1} = [ 1, 1]

C = {x : x 1} = {1, 0, 1}

11.1. A = {1, 0, 1} = C

11.2. a) A = {1, 0, 1} e B = [ 1, 1] , logo A B , pelo que a proposio verdadeira.

b) A = C , pela alnea 11.1., ento A C e C A , logo a proposio verdadeira.

11.3. a) B = [ 1, 1] e C = {1, 0, 1} . Se x = 0,5, ento 0,5 [ 1, 1] , mas 0,5 {1, 0, 1} , logo a proposio

falsa.

12.1. Pela propriedade da dupla implicao: x , ( p ( x ) q ( x ) ) ( q ( x ) p ( x ) )

6
p ( x ) : 2 (1 x ) > 8 2 2 x > 8 2 x > 8 2 x < x < 3, x ] , 3[
2
12
q ( x ) : 4 x 12 x x 3, x [ 3, + [
4
x , p ( x ) q ( x ) falsa, porque o conjunto-soluo da condio p ( x ) no est contido no

conjunto-soluo da condio q ( x ) .

Do mesmo modo, x , q ( x ) p ( x ) falsa.

16
Ficha n.o 5 Pgina 16 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS

12.2. x , p ( x ) r ( x ) x , ( p ( x ) r ( x ) ) ( r ( x ) p ( x ) )

Conjunto-soluo de p ( x ) : x ] , 3[

3 x 11 9
r ( x ): < 5 3 x 11 < 20 3 x < 20 + 11 3 x < 9 x < x < 3, x ] , 3[
4 3
Logo, a proposio verdadeira.

13. x , p ( x ) q ( x ) x , ( p ( x ) q ( x ) ) ( q ( x ) p ( x ) )

p(x) q (x)

Se um tringulo issceles, ento tem pelo menos dois lados iguais. Como num tringulo a lados
iguais opem-se ngulos iguais, conclui-se que o tringulo tem pelo menos dois ngulos iguais.
q(x) p(x)

Se um tringulo tem dois ngulos iguais e como num tringulo a ngulos iguais opem-se lados
iguais, conclui-se que o tringulo tem dois lados iguais, ou seja, um tringulo issceles.

Assim, a proposio x , ( p ( x ) q ( x ) ) ( q ( x ) p ( x ) ) verdadeira.

14. Considere, por exemplo, o nmero natural 49. Apesar de 49 ser mltiplo de 7, no mltiplo de 14.
Contrarrecproco: Qualquer nmero natural que no seja mltiplo de 14, tambm no mltiplo
de 7.
Considere um retngulo no quadrado. O retngulo (no quadrado) tem os quatro ngulos retos e
as suas diagonais so iguais. No entanto, os seus lados no so iguais, logo no um quadrado.
Contrarrecproco: Qualquer quadriltero que no seja quadrado no tem os quatro ngulos iguais e
as suas diagonais iguais.
Considere o nmero 2, que um nmero primo e par.
Contrarrecproco: Qualquer que seja o nmero, se for par, ento no primo.

Considere o nmero real 1. Repare que 1= 12 .

Contrarrecproco: O quadrado de qualquer nmero real maior do que o prprio nmero.

16
Ficha n.o 5 Pgina 17
15.1. Qualquer quadriltero que no seja losango, no um quadrado.

15.2. Se um nmero no divisvel por 2, ento no divisvel por 4.

15.3. Qualquer nmero que no seja racional tambm no um nmero inteiro.

15.4. Se um quadriltero no um retngulo, ento no tem os quatro ngulos retos.

16.1. x < 1 x ], 1[ e x < 1 x ] , 1[

], 1[ ] , 1[ , logo x , x < 1 x < 1 verdadeira.

A sua contrarrecproca : x , x 1 x 1

16.2. x divisor de 12, logo {1, 2, 3, 4, 6, 12} ; x um nmero par, logo {2, 4, 6, 8, 10, ...} .

{1, 2, 3, 4, 6, 12} {2, 4, 6, 8, 10, ...}

Logo, x , x divisor de 12 x par uma afirmao falsa.

16.3. x 3 x [3, + [ e x 7 x [7, + [

[3, + [ [7, + [ , logo x , x 3 x 7 verdadeira.

A sua contrarrecproca : x , x < 7 x < 3

16.4. x = 2 x {2} e x = 2 x {2, 2}

{2} {2, 2} , logo x , x = 2 x = 2 verdadeira. A sua contrarrecproca :

x , x 2 x 2 .

16.5. x = 2 x {2, 2} e x = 2 x {2 }

{2, 2} {2 } , logo x , x = 2 x = 2 falsa.

16.6. x 2 = 9 x = 9 x = 3 x {3, 3 } e x = 3 x {3 }

{3, 3 } {3 } , logo x , x 2 = 9 x = 3 falsa.

16.7. Se um tringulo equiltero, ento tem os seus lados iguais, pelo que os seus ngulos tambm so
iguais, logo a implicao verdadeira. A sua contrarrecproca : No conjunto dos tringulos de um
dado plano, se um tringulo no tem os seus ngulos iguais ento no equiltero.

16.8. Seja T o conjunto dos tringulos de um dado plano.

x tringulo acutngulo x tem os seus ngulos externos obtusos
Um tringulo acutngulo se os seus ngulos internos so agudos. A soma da amplitude dos
ngulos internos com os respetivos ngulos externos de um tringulo igual a 180, logo se o ngulo
interno agudo, o respetivo ngulo externo obtuso. Assim, a sua implicao verdadeira. A sua
contrarrecproca : No conjunto dos tringulos de um dado plano, se um tringulo no tem os seus
ngulos externos obtusos, ento no acutngulo.

17
Ficha n.o 5 Pgina 17 (cont.) 1. LGICA E TEORIA DOS CONJUNTOS
16.9. 14 divisvel por 7, mas no divisvel por 35, logo a implicao falsa.

16.10. 12 = 1, 22 = 4, 32 = 9, 42 = 16, 52 = 25, ... Implicao verdadeira

A sua contrarrecproca : Em , se um nmero mpar, ento o seu quadrado mpar.

17.1. Contrarrecproca: x , n divisvel por 39 n divisvel por 13

Se n divisvel por 39, ento n = k 39 , para algum k .

Repara que 39 = 3 13 , ento n = 39 n = 13 3k . ( )

Logo, se n = 39k com k , n divisvel por 13, porque se k , 3k .
Portanto, se n divisvel por 39, ento n divisvel por 13.
Por contrarrecproco, tem-se que se n no divisvel por 13, ento no divisvel por 39.

17.2. Seja T o conjunto de tringulos de um dado plano.

x T,x tringulo equiltero x no tringulo retngulo
Se x tringulo equiltero, ento tem os lados todos iguais. Como num tringulo a lados iguais
opem-se ngulos iguais, ento o tringulo equiltero tem os ngulos todos iguais. Num tringulo a
soma das amplitudes dos ngulos internos igual a 180, logo cada um dos ngulos internos do
tringulo equiltero mede 180 : 3 = 60 . Assim, um tringulo equiltero no tem nenhum ngulo
interno reto e, por isso, no retngulo. Portanto, se x tringulo equiltero, ento no tringulo
retngulo.
Por contrarrecproco tem-se que, se x tringulo retngulo, ento no tringulo equiltero.

17.3. n , x , x > 0 x n > 0

Qualquer nmero natural positivo. Sabendo que o produto de quaisquer dois nmeros positivos
um nmero positivo, ento n x um nmero positivo. Portanto, se um nmero real positivo, ento
o seu produto por um nmero natural positivo.
Por contrarrecproco, se o produto de um nmero natural por um qualquer nmero real negativo,
ento esse nmero real negativo.

17.4. n , n par n 2 par

( )
2
Se n par, ento n = 2k , k . n 2 = 2k = 4k 2

Repare que 4 = 2 2 , logo, para k , 4k 2 = 2 2k 2 , ou seja, 4k 2 um nmero par.

Portanto, n , n par n 2 par .

Por contrarrecproco, se o quadrado de um nmero natural mpar, ento esse nmero mpar.

17
Teste n.o 1 Pgina 18

1. Opo correta: (A) porque a afirmao no depende do sujeito.

2. Opo correta: (C)

a b a b a b a b a b ba
F V V F F F V F

3. Opo correta: (B)

Como p q falsa, ento p verdadeira e q falsa.

p q pq pq (p q) p q p q q p ( q p ) q
V F F V F F V F F V

4. Opo correta: (C)

Como a ( b c ) verdadeira, b c falsa e, assim, a verdadeira, b verdadeira e c falsa.

18
Teste n.o 1 Pgina 19 1. LGICA E TEORIA DOS CONJUNTOS

5. Opo correta: (B) pela definio de condio.

6. Opo correta: (C)

Pelas segundas leis de De Morgan: ( x , p ( x ) ) x : p ( x )

Em linguagem natural: Pelo menos um aluno teve nota negativa no ltimo teste de Matemtica.

7. Opo correta: (D)

x 2 1 = 0 x = 1 x = 1 uma condio possvel
x 0 uma condio universal.

Ento, x 2 1 = 0 x 0 uma condio universal.

2 x + 4 = 0 x = 2 uma condio possvel.

3
2x 2 + 3 > 0 x 2 > uma condio universal
2
Ento, 2 x + 4 = 0 2 x 2 + 3 > 0 uma condio universal.
x 5 uma condio possvel
x 2 + 1 1 x 2 0 uma condio universal.
Ento, x 5 x 2 + 1 1 uma condio possvel.

x 2 + 6 x + 8 = 0 x = 2 x 4 uma condio possvel.

( x 2 + 2 ) 1 x 2 + 2 1 x 2 3 uma condio impossvel.

Ento, x 2 + 6 x + 8 = 0 x 2 + 2 1 uma condio impossvel.

8. Opo correta: (C)

A B = ]3, 2]; A B = ] , 3] ]2, + [

19
Teste n.o 1 Pgina 20

9. p : Esteve nos ltimos 21 dias num pas afetado pela epidemia por vrus bola.
q : Esteve nos ltimos 21 dias em contacto com um doente com infeo por vrus bola.
r : Tem febre superior a 38 C.
t : Ligue para 808 24 24 24.

( p q) r t
10. p uma proposio falsa, q verdadeira e r falsa.

p q r p p q p q r ( p q r ) ( p q r ) q
F V F F F F V F

A proposio falsa.

11. p uma proposio falsa, q verdadeira e r falsa.

a b a ab ab
V V F V V
V F F F F
F V V V V
F F V V V

12. ( a b ) b a

( a b ) ( b ) a (Primeiras leis de De Morgan)

( a b ) b a (Negao da implicao e lei da dupla negao)

( a b ) ( b b ) a (Propriedade distributiva da disjuno em relao conjuno)

( a b ) V a (Princpio do terceiro excludo)

(a b ) a (Elemento neutro da conjuno)

(a a ) ( b a ) (Propriedade distributiva da conjuno relativamente disjuno)

F ( b a ) (Princpio de no contradio)

b a

13. a ( b c )

a ( b c )

a ( b c )

( a b ) ( a c )

( a b ) ( a c )

( a b ) ( a c )

20
Teste n.o 1 Pgina 21 1. LGICA E TEORIA DOS CONJUNTOS

14.1. Proposio verdadeira

(
14.2. x : x > 2 x 2 > 4 )
x : x > 2 ( x 2 > 4 )

x : x > 2 x 2 4

14.3. x , x 2 x 2 4

15.1. x 1 3 x 1 3 x 1 3 x 4 x 2

p : ( x 4 x 2 ) x > 4 x < 2

p q : ( x > 4 x < 2 ) x 2

p q uma condio universal e ( p q ) uma condio impossvel.

15.2. p : x > 4 x < 2 pela alnea 15.1.:

] , 2[ ]4, + [

15.3. a) p : x 4 x 2

P = [ 2, 4 ]

q : x 2

Q = [ 2, + [

Q \ P = ]4, + [

b) P Q = [ 2, + [ ; P Q = ] , 2[

16.1. P = {2, 3, 5, 7, 11, 13}

16.2. Q = {7, 14, 21, 42}

16.3. R = {1, 2, 3, 6, 7, 14}

16.4. S = {4, 5, 8, 9, 10, 11, 12, 13}

17. ( x , p ( x ) q ( x ) )

x : ( p ( x ) q ( x ) )
x : p ( x ) q ( x )

21
Teste n.o 2 Pgina 22

1. Opo correta: (B)

p ( q r ) uma proposio verdadeira, ento p ( q r ) falsa, logo p verdadeira

e p r falsa. Assim, q e r so falsas.

2. Opo correta: (C)

( p q ) p q

3. Opo correta: (C)

Uma afirmao equivalente dada : Se a professora est em aula e os alunos no faltarem, ento a
professora no corrige testes.
( b c ) a

22
Teste n.o 2 Pgina 23 1. LGICA E TEORIA DOS CONJUNTOS

4. Opo correta: (B)

Afirmao em linguagem matemtica: x A : x no co

Negao da afirmao: x A, x co

5. Opo correta: (D)

A B = A B = A B = ]3, 5[

6. Opo correta: (A)

7. Opo correta: (B)

Seja Q o conjunto-soluo de q ( x ) .

p ( x ) q ( x ) , ento P = Q .

( )
x 3 = x x 3 x = 0 x x 2 1 = 0 x = 0 x = 1 x = 1

Q = {1 , 0, 1}

23
Teste n.o 2 Pgina 24

8.1. a ( a b )

a ( a b ) (Negao da implicao)

( a a ) ( a b ) (Propriedade distributiva da disjuno em relao conjuno)

V ( a b ) (Princpio do terceiro excludo)

a b (V o elemento neutro da conjuno)

8.2.

a b a ab ( a b) a ( a b )
V V F V F V
V F F V F V

A proposio dada verdadeira.

9.1. (a b ) c uma proposio verdadeira, ento a e b so falsas.

9.2. ( a b ) c ( a b ) c

As proposies a, b e c so falsas pela alnea 9.1.

Se a e b so falsas, ento a b falsa.
Se c falsa, ento c verdadeira.
Se a b falsa e c verdadeira, ento ( a b ) c falsa.

10.1. a) p q

b) t r
c) q r

10.2. p uma proposio verdadeira, t r verdadeira, p q verdadeira e q r verdadeira.

a) p q verdadeira, ento q verdadeira, pelo que q falsa.

b) q falsa, pela alnea anterior. Como q r verdadeira, ento r verdadeira, pelo que r

falsa.
c) q t

r falsa, pela alnea b). Como t r verdadeira, ento t falsa e t verdadeira.

q falsa, pela alnea b), logo q t falsa.

24
Teste n.o 2 Pgina 25 1. LGICA E TEORIA DOS CONJUNTOS

11. Repare que 2x + 3 = 3 uma condio impossvel.

4
3x > 4 x <
3
x > 4x x 4x > 0 3x > 0 x < 0

( )
Seja i x uma condio impossvel.

4 4 4
i (x) x < x < 0 i (x) x < x <
3 3 3
Logo, A = B .

12.1. x , x > 1 x > 0 verdadeira

1
4 x 2 1 0 4x 2 1 x 2
4
x , 4 x 2 1 0 falsa.

Se x = 0 , 4 0 1 = 1 < 0 .

12.2. x , x 0 x 1

( )
12.3. x , 4 x 2 1 0 x : 4 x 2 1 < 0

13. A = {2, 4, 6, 8,...}; B = {5, 10, 15, 20,...} ; C = {1, 3, 5, 15} e D = {1, 2, 3, 4}

13.1. P = {1, 3}

13.2. Q = {2, 4}

14. Existe pelo menos um nmero natural que verifica a condio 2 x 3 0 .

15. ( )
x, q ( x ) p ( x ) x, ( q ( x ) p ( x ) )

x, ( q ( x ) p ( x ) ) x, q ( x ) p ( x )

x, ( p ( x ) q ( x ) ) x, p ( x ) q ( x )

25