Você está na página 1de 5

ESCOLA SECUNDÁRIA JOAQUIM CHISSANO- XAI-XAI

DISCIPLINA: MATEMÁTICA 11ª Classe FICHA: № 1


UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

1. Distinga das expresseõs seguintes, as designações das proposições e dê o valor lógico às proposições:

a) O sol é uma estrela. e) 15  3  5

b) Matemática. f)  3, 3 Z

c) π é um número irracional. g) 7 7

d) A bicicleta tem duas rodas. h) 2 2  32  13

2. Dadas as proposições: p: Vou ao campo. e q: Dou um passeio de automóvel.

Traduza em linguagem corrente:

a) p  ~ q b) ~ q  p c) p  q d) ~ p  q e) ( p  ~ p )  q

f) ~ ( p  q ) g) ~ ( p  q ) h) p  q i) p ~ q j) p  ~ q

3. Considere as proposições:

p: António escuta música. q: Maria estuda Matemática. r: João pratica natação

traduza em linguagem simbólica cada uma das seguintes proposições:

a) António escuta música e João pratica natação.

b) Maria não estuda Matemática ou António não escuta música.

c) Se João pratica natação então António escuta música

d) Maria estuda Matemática sse João pratica natação.

e) Nem Maria estuda Matemática nem António escuta música.

f) Se António escuta música então Maria não estuda Matemática e João pratica natação.

g) Se João não pratica natação então Maria estuda Matemática ou António escuta música

h) António escuta música ou Maria estuda Matemática mas não em simultaneamente.

i) Maria estuda Matemática sse João não pratica natação.

j) Não é verdade que António escuta música sse João pratica natação.

k) Se João não pratica natação e António não escuta música então Maria estuda Matemática.
1 Nao há esforço prolongado que não surta efeitos carlosmatavele5@gmail.com ESJC-Xai-Xai 2013
4. Sabendo que p designa proposição de valor lógico F , determine o valor lógico da proposição r nas
seguintes expressões:

a) ~ r  ~ p  1 b) r  ~ p  0 c)  p  r   p   1 d)~ p  r  ~ r   0
e)(~ p  r )  p   1 f)~ p  r   ~ r   1 g) ~ p  r  0 h) ~ (~ p  r )  0

5. Sendo pq uma proposição falsa,diga qual o valor lógico de cada proposições seguintes:
a) ~ p  q b) ~  p  q  c) ~ p  q d) ~ p  ~ p  q  e) ~  p  q   q f) p  ~ q  p 
6. Mostre, usando tabelas de verdade, que :

a) p  ( ~ q  p)  p b)  p  q   ~ p  q   q

c)  p  q   ~ p  ~ q  ~ ( p  q) d) p  (q  r )  ( p  ~ q)  r 

7. Verifique que é uma tautologia cada uma das seguintes expressões:

a) ~ (~ p  ~ q)  p  b) ~ p  ( q  ~ p )
c) p  (~ p  q) d) (~ a  b) ~ (~ a  b) e) p  ( p  q )

8. Sem recorrer a tabelas de verdade, verifique as seguintes equivalências :

a) ~ a  (a ~ b) ~ (a  b) b)(~ a ~ b)  (a  b) ~ a ~ a c) ~ p  ( p  q) ~ q   ~ ( p  q)


d) ~ ( p  q )  p ~ q  p e) ~ ~ (~ a ~ b)  a   ~ (b  a) f) a  (b  c) ~ a  F

9. Sem utilizar o símbolo de negação, negue cada uma das seguintes proposições :

a) 2  3  4 b) 2 2  3 2  13 c) 1  3  4 d) 10  8  5  4 e) 2  3  6  1  2

10. Negue as seguintes proposições e simplifique, quando possível :

a) p  q b) p  q c) ~ p  q d) ~ p ~ q e) ~ p  ( p  q ) f) p  (~ p  q)
g) ( p  q)  (q  r ) h) p  q i) p  ~ q j) ~ p  (q  r ) k) ( p  q) ~ q

11. Negue cada uma das seguintes proposições :

a) 5 é um número ímpar e divisor de 10.

b) 12 é um número par ou um múltiplo de 5.

c) 10 não é impar mas é multiplo de 2.

d) Se for sair vou para a biblioteca estudar.

e) Se Manuel estudar transita de ano.

2 Nao há esforço prolongado que não surta efeitos carlosmatavele5@gmail.com ESJC-Xai-Xai 2013
ESCOLA SECUNDÁRIA JOAQUIM CHISSANO- XAI-XAI
DISCIPLINA: MATEMÁTICA 11ª Classe FICHA: № 1
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

Tema : Exercícios sobre expressões proposicionais e quantificadores

1. Dadas as expressões:

a) 2 x  3 b) x  1  0 c) x 2  y 2  0 d) x  y  1 e) ( x  y)(x  y)  0 f) x  y
1
g) 2 x  1  0 h) (4 x  6) i) x  1  0 j) 5( x  3) k) x  1  y l) x 2  3  0
2

Indique :

1.1. as expressões designatórias;

1.2. as expresses proposicionais;

1.3. condições equivalentes.

2. Não utilize o símbolo ~ , indique, em cada um dos casos, uma condição contrária à dada :

a) x  2  0 b) x  3  2 x  1  0 c) 3x  1  0  x  3  0
x2
d)  x  0  2x  1  3 e) x 2  1  0 ~ ( x  3)  0
3

3. Traduza em linguagem quantificada :

a) Todos os números naturais são positivos.

b) Algum número real y é negativo.

c) Existe um número natural superior a 5 e inferior a 7.

d) Todos os múltiplos de um número natural são iguais ou superior a ele.

e) Todo o número inteiro admite 1 como divisor.

f) Todo o número real é múltiplo de si próprio.

g) Existe um número real x tal que x  3  1

h) Entre -5 e 5 há alguns numerous inteiros.

i) Há pelo menos um número inteiro que é menor que todos os outos.

j) Existem números primos impares.

3 Nao há esforço prolongado que não surta efeitos carlosmatavele5@gmail.com ESJC-Xai-Xai 2013
4. Traduza em linguagem corrente as seguintes expressões e indique o seu valor lógico:

a) x, y  IR : x  y  0 b) x  IN , y  IR : x  y c) x  IR : x   x d) x  IR : x 2  0

5. Quantifique convenientemente cada uma das seguintes condições de modo a obter proposições
verdadeiras : a) x  y  3 b) x 2  3x  1  0 c) x  0 d) x  y e) 2  x  5  0

6. Sem utilizar o símbolo de negação, negue cada uma das seguintes proposições :

a)x  IR : x  5  x  7 b)x  IR : x  3  x  7 c) x  IR : x  1  2 d) x  IR : x 2  1  3  x  1
e) x  IR, y  IR : x  y  2 f) 2 x  3  0  x  IQ g) x 2  1  0  x  2 h) x  IN  x  IR

7. Determine o valor lógico de :

x2
a)x  IR : x  3  0 b)x  IR : x 2  x  7  0 c) x  IR : 2 x 2  x  0 d) x  IN : 2
x 1
1
e) x  Z : 2   3 f) x  IR : x  1  x  7  6 g) ~ (x  IR : x 2  1  x 2  3  0)
x
h) x  IR : x  2  3 i)x, y  IR : x 2  y 2  0 j)x  IR : x 2  2 x  1 k ) x  IR : 2 x 2  5  0

4 Nao há esforço prolongado que não surta efeitos carlosmatavele5@gmail.com ESJC-Xai-Xai 2013
ESCOLA SECUNDÁRIA JOAQUIM CHISSANO- XAI-XAI
DISCIPLINA: MATEMÁTICA 11ª Classe FICHA: № 1
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

Os exercícios são compostos por (14) questões, todas com cinco (4) alternativas de resposta, estando
correcta somente UMA (1) das alternativas. Assinale a correcta, circundando a letra.
1. Considere as proposições:
a : Maputo é uma cidade.
b : Paulino escreveu um livro.
A tradução em linguagem corrente da proposição a ~ b é :
A. Ou Maputo é uma cidade, ou Paulino escreveu um livro.
B. Se Maputo é uma cidade, então Paulino escreveu um livro.
C. Se Maputo é uma cidade, então Paulino não escreveu um livro.
D. Maputo é uma cidade e Paulino escreveu um livro.
2. Sabe-se que a proposição p  q é falsa.

A. p  q é verdadeira. B. ~ p  q é falsa. C. p  q é falsa. D. ~ p  p  q é falsa.


3. Considere a proposição: a  (a ~ b) uma proposição equivalente é :
A. a ~ b B. ~ a  b C. a ~ b D. a  b
4. Considere a proposição: (~ a  b)  a uma proposição equivalente é :
A. ~ a  b B. a  b C. ~ a ~ b D. ~ a ~ b
5. A negação da proposição: a ~ a é :
A. ~ a  b B. a ~ b C. ~ a ~ b D. a  b
6. A negação da proposição: (a ~ b) ~ c é a proposição:
A. ~ a  b  c B. ~ a  (b  c) C. ~ (a  b) ~ c D. (a  b)  c
7. Qual das seguintes afirmações é verdadeira?
A. x  IR , x  0 B. n  IN , n  1 C. x  IR , x  IR D. x  IR , x  IR
2 * 3

8. Das seguintes expressões, qual delas não é uma proposição?



A. x  IR, x  1 B. x  IN , x  1 C. x  Z , x  0 D. x  IN , x  y  0
* *

9. Qual das seguintes expressões, traduz a proposição:


1000
Há um número racional maior que 10
A. x  IQ , x  10 B. x  IR , x  10 C. x  IQ , x  10 D. x  IQ , x  10
1000 1000 1000 1000

10. Qual das seguintes expressões, traduz a proposição:


Todos número natur
A. x  IN , x  0 B. x  IN , x  0 C. x  IN , x  0 D. x  IN , x  0
* * * *

11. A negação da proposição, x  IN : x  3  x  2 é a proposição :

A. x  IN : x  3  x  2 B. x  IN : x  3  x  2 C. x  IN : x  3  x  2
D. x  IN : x  3  x  2
5 Nao há esforço prolongado que não surta efeitos carlosmatavele5@gmail.com ESJC-Xai-Xai 2013

Você também pode gostar