Sei sulla pagina 1di 5

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 a b 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 p q

FIM
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.
a b c a b c a b c
2.1

2.2 a b c a b a 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
V
V
V
V
F
F
F
F

3.2 Tabela de verdade para a b c

a a b a b
V
V
V
V
F
F
F
F
4.
4.1 b a b a

b a b a
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 p q p q p p q p p q p
p p q p f q p q p p q

5.2
q p q q q p q q q p q q

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


p p p p q p p v q p p
p q
f q p p q
q p p q p p p q p
FIM

q q p q q f p q q f p q p q q p

Potrebbero piacerti anche