Aluno

N.

Turma

Data

Considera as proposies:
p : O Tiago pratica voleibol.
q : O Tiago pratica surf.
s : O Tiago no pratica tnis.
1.1. Qual das seguintes expresses a traduo simblica da proposio:
Se o Tiago no pratica surf , ento o Tiago pratica tnis ou pratica voleibol.
(A) q ( p s )

(B) q ( s p )

(C) ( s p ) q

(D) q ( s p )

1.2. Sabendo que a proposio ( p q ) ( s p ) verdadeira, pode afirmar-se que:

(A) O Tiago pratica voleibol, no pratica surf e no pratica tnis.
(B) O Tiago pratica voleibol e tnis mas no pratica surf.
(C) O Tiago no pratica voleibol, nem tnis nem surf.
(D) O Tiago pratica voleibol e surf mas no pratica tnis.
2

Considera a seguinte tabela de verdade:

a

A proposio p equivalente a:

(A) a b

(B) a b

(C) b a

(D) a b

Considera em as condies:

p ( x ) : 20 3 x 47 ; q ( x ) : x < 4 x 2 + 5 < 0
Das seguintes proposies indica a que verdadeira.
(A) x : p ( x )

(B) x , q ( x )

(C) x , p ( x )

(D) x : q ( x )

- -

Sejam a , b , c e d proposies elementares.

4.1. Admite que a e b so proposies verdadeiras e c e d so proposies falsas.
Indica o valor lgico de:
a) ( a c ) ( b c )
b) ( a ) ( c d ) ( a b )
4.2. Mostra que a ( a b ) ( b a ) uma contradio por cada um dos
seguintes processos:
a) Completando a seguinte tabela de verdade:
a

ab

b a

(a b ) ( b a )

a [ (a b ) (b a ) ]

b) Utilizando as propriedades das operaes lgicas e simplificando a expresso.

5

Sejam p , q e r proposies elementares.

Considera a proposio: ( q q ) r q

5.1. Mostra que a proposio dada equivalente a q ( p r ) .

5.2. Determina o valor lgico da proposio dada, sabendo que a proposio q tem valor
lgico falso.
6

Considera os conjuntos:
x 1 3x 1

< 3 e C = { x : x 25 = 0}
A = { x : 5 < x } , B = x :
4
2

6.1. Representa na forma de intervalo ou reunio de intervalos.

a) B \ A
b) A B
6.2. Representa em extenso cada um dos conjuntos:
a) D = { x : x A}
b) E = { x : x A x B}
6.3. Indica, justificando, o valor lgico de cada uma das seguintes proposies.
a) x , x B
b) x C : x A
6.4. Escreve a negao de cada uma das proposies referidas em 6.3.

1.1. q ( s p )

Opo: (D)
1.2. Se ( p q ) ( s p ) verdadeira , pode afirmar-se que ( p q )
verdadeira e

(s p)

tambm.

Assim, p q falsa, sendo por isso p verdadeira e q falsa.

Como

(s p)

verdadeira e p falsa, ento s verdadeira.

Conclui-se que p verdadeira, q falsa e s verdadeira, ou seja, o Tiago pratica

voleibol e no pratica surf nem tnis.

Opo: (A)
2

Verifica-se que a b equivalente a p .

a

ab

Opo: (D)
3

20 3 x 47 3 x 27 x 9

x < 4 x 2 + 5 < 0 4 < x < 4 x 2 < 5 . Condio impossvel em R .

Se q ( x ) impossvel em R , ento q ( x ) universal em R .
Assim, x R , q ( x ) verdadeira.

Opo: (B)
4

4.1. a) ( a c ) ( b c )
Se a e b so proposies verdadeiras e c e d so falsas, ento:
a c verdadeira, ou seja, ( a c ) falsa.
Na implicao ( a c ) ( b c ) tem-se o antecedente falso, pelo que a
implicao verdadeira.
Valor lgico: verdadeiro.

b) ( a ) ( c d ) ( a b )

a ( c d ) ( a b )
Se a e b so verdadeiras, a b verdadeira . Ento

(c d ) (a b)

verdadeira e ( c d ) ( a b ) falsa. Como a verdadeira, a implicao

a ( c d ) ( a b ) falsa, pois o antecedente verdadeiro e o
consequente falso.
Valor lgico: falso

4.2. a)

ab

b a

(a b ) ( b a )

a [ (a b ) (b a ) ]

A proposio sempre falsa, logo, uma contradio.

b) a ( a b ) ( b a ) a ( a b ) ( b a )

( a a ) ( a b ) ( b a )
twuwv
F
a

( b b) (a b a) F

(a b) ( b a)

Conclui-se que a proposio uma contradio.

5

5.1. ( p q ) r q ( p q ) r q

( p q ) r q ( p q ) q ( r q )
( p q ) (q q ) ( r q ) ( p q ) ( r q )
Pondo q em evidncia obtm-se q ( p r ) .

5.2. Se q falsa, q verdadeira. Ento, a disjuno q ( p r ) verdadeira,

independentemente do valor lgico de p r .
A proposio verdadeira.
6

x 1 3x 1

< 3 e C = { x : x 25 = 0}
A = { x : 5 < x } , B = x :
4
2

6.1. a) A =] 5 , ] ;

x 1 3x 1
11 .

< 3 x 1 6 x + 2 < 12 5 x < 11 x >

4
2
5
11

Ento, B =
, + ;
B \ A = B A = ] , + [
5

11
11
11

b) B = , ;
A B = ] 5 , ] , = 5 ,
5
5
5

6.2. a) D = { x : x A} = { 4 , 3 , 2 , 1 , 0 , 1 , 2 , 3}
b) E = { x : x A x B} = { 2 , 1 , 0 , 1 , 2 , 3}
6.3. a) x , x B .
Por exemplo, 1 e 1 B . O valor lgico Falso.
b) x 2 25 = 0 x = 5 x = 5 . Ento, C = { 5 , 5} .
x C : x A uma proposio falsa.
6.4. Escreve a negao de cada uma das proposies referidas em 6.3.
( x , x B ) x : x B

( x C : x A) x C : x A