FICHA DE 11 CLASSE 2017

NOME: N.: TURMA: ANO LETIVO: _/_

DATA: _/_ _/

PROPOSIES

1. Considera as seguintes proposies:

p : O Bernardo frequenta a escola e gosta de estudar.

q : O Bernardo joga futebol.

Traduz, para linguagem natural, o significado de cada uma das proposies seguintes:
p
1.1
1.2 p q
1.3 p q

p q
1.4

2. Considera a seguinte proposio:

a b c
p:

2.1 Utilizando as primeiras leis de De Morgan, mostra que p ab c .

2.2 Aplica a propriedade distributiva (da conjuno em relao disjuno) proposio obtida
na alnea anterior.
2.3 Justifica que p uma proposio falsa se a e b forem conjuntamente verdadeiras.

3. Constri as tabelas de verdade correspondentes s seguintes proposies:

3.1 a b c
3.2 a b c

1
4. Sejam a e b proposies. Simplifica as seguintes expresses:

b a
4.1

b a
4.2

a b
4.3

a b
4.4

5. Sem recorrer s tabelas de verdade, verifica que, sendo p e q duas proposies quaisquer, se
tem:
p p q p q
5.1

5.2 q p q q q p

6. Mostra que, qualquer que seja o valor lgico de p e q , se tem:

p q p pp q

FIM

2
PROPOSIES PROPOSTAS DE RESOLUO
1.
1.1 O Bernardo no frequenta a escola ou no gosta de estudar.
1.2 O Bernardo frequenta a escola, gosta de estudar e joga futebol.
1.3 O Bernardo frequenta a escola e gosta de estudar ou o Bernardo joga futebol.
1.4 O Bernardo no frequenta a escola ou no gosta de estudar e o Bernardo no joga futebol.

2.
2.1 a b c a b c a b c

2.2 a b c aba c

2.3 Se a e b forem conjuntamente verdadeiras, sero a e b conjuntamente falsas.

Se b uma proposio falsa, ento para qualquer valor lgico de c , b c falsa.
A disjuno de duas proposies falsas falsa, pelo que a b c falsa.

3.
3.1 Tabela de verdade para a b c
a b c b c a b c
V V V V V
V V F V V
V F V V V
V F F F F
F V V V V
F V F V V
F F V V V
F F F F V

3.2 Tabela de verdade para a b c

a b c a b a b a b c
V V V V F V
V V F V F V
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F

3
4.
4.1 ba b a

b a ba
4.2
4.3 a b b a b a

4.4 a b b a b a

5. Sendo p e q duas proposies quaisquer, tem-se:

5.1

p pq pq p pq p p q p
p p q p f q p q p p q

5.2
q p qq q p qq q pqq
qq pq q f pqq f pq pq q p

6. Qualquer que seja o valor lgico de p e q , tem-se:

p q p p p pq p p vq p p
q p p q p p p q p
f q p pq

FIM