Novo Ípsilon - 10.

º ano

FICHA FORMATIVA – 10.º ANO

NOME: __________________________________________ N.º: ___ TURMA: ___ ANO LETIVO: _____/_____

DATA: _____/_____/_____

PROPOSIÇÕES

1. Considera as seguintes proposições:

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 proposições seguintes:
1.1 p
1.2 p  q

1.3 p  q

1.4  p  q

2. Considera a seguinte proposição:

p: a   b  c

2.1 Utilizando as primeiras leis de De Morgan, mostra que p  a  b  c .

2.2 Aplica a propriedade distributiva (da conjunção em relação à disjunção) à proposição obtida
na alínea anterior.
2.3 Justifica que p é uma proposição falsa se a e b forem conjuntamente verdadeiras.

3. Constrói as tabelas de verdade correspondentes às seguintes proposições:

3.1 a  b  c

3.2  a  b  c

www.raizeditora.pt 1
 Novo Ípsilon - 10.º ano

4. Sejam a e b proposições. Simplifica as seguintes expressões:

4.1  b  a

4.2  b a

4.3 a  b

4.4  a  b

5. Sem recorrer às tabelas de verdade, verifica que, sendo p e q duas proposições quaisquer, se
tem:
5.1  p  p  q   p q

5.2  q   p q    q  q p

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

 p  q   p  p  p  q

FIM

www.raizeditora.pt 2
 Novo Ípsilon - 10.º ano

PROPOSIÇÕES – PROPOSTAS DE RESOLUÇÃO

1.
1.1 O Bernardo não frequenta a escola ou não 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 não frequenta a escola ou não gosta de estudar e o Bernardo não joga futebol.

2.
2.1  a   b  c    a  b  c   a   b c

2.2 a   b  c   a  b   a  c

2.3 Se a e b forem conjuntamente verdadeiras, serão a e b conjuntamente falsas.

Se b é uma proposição falsa, então para qualquer valor lógico de c , b  c é falsa.
A disjunção de duas proposições 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

www.raizeditora.pt 3
 Novo Ípsilon - 10.º ano

4.
4.1  b  a   b a

4.2  b a  ba

4.3 a  b   b a  b  a

4.4  a  b   b  a  b  a

5. Sendo p e q duas proposições 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 
  q  q    p  q  q  f   p   q  q   f   p  q   p  q  q p

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

 p  q   p  p    p p    q p    p   v   q p   p 
  q p  p  q  p   p  p  q  p  f  q  p  p  q

FIM

www.raizeditora.pt 4