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 expressões seguintes, as designações das proposições e dê o valor lógico às proposições:
2 2
a) Cidade de Xai-Xai é capital de Niassa. e) 2 +3 ÷13
b) Matemática. f) √ 79
15
∈ IN
c) π é um número irracional. g) 3
d) Malagatana foi um pintor . h) 20+ 3×7
2. Dadas as proposições: p: Ésta frio. e q: Ésta chovendo.

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: Malagatana foi pintor. q: Josina é heroína. r: Craverinha foi escritor.

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

a) Malagatana foi pintor e Craverinha foi escritor.

b) Josina não é heroína ou Malagatana foi pintor.

c) Se Craverinha foi escritor então Malagatana foi pintor.

d) Josina é heroína sse Craverinha foi escritor.

e) Nem Josina é heroína nem Malagatana foi pintor.

f) Se Malagatana foi pintor então Josina não é heroína e Craverinha foi escritor.

g) Se Craverinha não foi escritor então Josina é heroína ou Malagatana foi pintor.

h) Malagatana foi pintor ou Josina é heroína mas não simultaneamente.

i) Josina é heroína sse Craverinha foi escritor.

j) Não é verdade que Malagatana foi pintor sse Craverinha foi escritor.

k) Se Craverinha não foi escritor e Malagatana não foi pintor então Josina é heroína.

1 “Por uma Educação de qualidade rumo ao desenvolvimento ” GRUPO DE MATEMATICA

2017
ESCOLA SECUNDÁRIA JOAQUIM CHISSANO- XAI-XAI
DISCIPLINA: MATEMÁTICA 11ª Classe FICHA: № 1
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

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 :
2 2
a )2+3>4 b )2 +3 =13 c )1<3<4 d )10>8∨5>4 e )2×3=6 ⇒ 1=2 f )8 ∈ IN
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.

2 “Por uma Educação de qualidade rumo ao desenvolvimento ” GRUPO DE MATEMATICA

2017
ESCOLA SECUNDÁRIA JOAQUIM CHISSANO- XAI-XAI
DISCIPLINA: MATEMÁTICA 11ª Classe FICHA: № 1
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

d) Se for sair vou para a biblioteca estudar.

e) Se Manuel estudar transita de ano.

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 )3 x +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

3 “Por uma Educação de qualidade rumo ao desenvolvimento ” GRUPO DE MATEMATICA

2017
ESCOLA SECUNDÁRIA JOAQUIM CHISSANO- XAI-XAI
DISCIPLINA: MATEMÁTICA 11ª Classe FICHA: № 1
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

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

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

j) Existem números primos impares.

4. Traduza em linguagem corrente as seguintes expressões e indique o seu valor lógico:

2
a )∀ x , y ∈ IR: x+ y >0 b )∃ x ∈ IN , ∀ y ∈ IR : x> y c ) ∃ x ∈ IR: x=−x d )∀ x ∈ IR : x ≥0
5. Quantifique convenientemente cada uma das seguintes condições de modo a obter proposições
2
verdadeiras : a )x+ y=3 b )x +3 x+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 “Por uma Educação de qualidade rumo ao desenvolvimento ” GRUPO DE MATEMATICA

2017
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 (11) 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.
~ a∧b B.
a∨b
a : Maputo é uma cidade.
C.
~ a∧~ b D.
~ a∨~ b
b : Paulino escreveu um livro.
A tradução em linguagem corrente da 5. A negação da proposição: a ⇒ ~b é :
proposição a ⇒ ~b é : ~ a∨b a∧~ b
A. B.
A. Ou Maputo é uma cidade, ou Paulino
C.
~ a∧~ b D.
a∧b
escreveu um livro.
B. Se Maputo é uma cidade, então Paulino 6. A negação da proposição:
escreveu um livro. (a ⇒~ b )∧~c
é a proposição:
C. Se Maputo é uma cidade, então Paulino ~ a∧b∧c
A. B.
não escreveu um livro.
D. Maputo é uma cidade e Paulino escreveu
~ a∨(b∧c )
C.
um livro. ~(a∧b )∧~ c (a∧b)∨c
D.
2. Sabe-se que a proposição p⇔ q é falsa. 7. Qual das seguintes afirmações é
¿ verdadeira?
A.
p∧q
é verdadeira. B.
~ p¿ q é 2
A.
∀ x ∈ IR, x >0 B.
falsa. C. p∨q é falsa. D. ¿
~ p ⇒ p∨q é falsa.
∀n∈IN ,n>1 C.
3
3. Considere a proposição: a∧(a∧~ b )
∃x ∈ IR , √ x∉ IR D.
∃x ∈ IR , √ x∉ IR
8. Das seguintes expressões, qual delas não é
uma proposição equivalente é :
uma proposição?
A.
a∧~ b B.
~ a∧b
A.
∀ x ∈ IR, x>1 B.
C.
a∨~ b D.
a∧b
∀ x ∈IN ,x≥1
¿

4. Considere a proposição: (~ a∧b)∨a C.

uma proposição equivalente é :

∀ x ∈Z − , x>0 D.
∀ x ∈ IN ,x+ y>0
¿

5 “Por uma Educação de qualidade rumo ao desenvolvimento ” GRUPO DE MATEMATICA

2017
ESCOLA SECUNDÁRIA JOAQUIM CHISSANO- XAI-XAI
DISCIPLINA: MATEMÁTICA 11ª Classe FICHA: № 1
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

∃x ∈IN ,x>0
9. Qual das seguintes expressões, traduz a ¿

proposição: A. B.
∀ x ∈IN ,x≥0
¿
̏ Há um número racional maior que C.
1000
10 ̋ ∀ x ∈ IN ,x>0
¿
∀ x ∈IN ,x<0
¿
D.
1000
A.
∃x ∈ IQ , x>10 B. 11. A negação da proposição,

∀ x ∈ IR, x>101000 ∀ x ∈IN :|x|≤3∨x≥2 é a proposição :

C.
∃x ∈ IQ , x≥101000 A.
∃x ∈IN :|x|≤3∨x≥2
D.
∀ x ∈ IQ , x≥101000 B.
∀ x ∈IN :|x|≤3∧x≥2
10. Qual das seguintes expressões, traduz a
proposição: C.
∃x ∈IN :|x|<3∧x<2
̏ Todos número naturais, excepto zero são
D.
∃x ∈IN :|x|>3∧x<2
não negativos ̋

6 “Por uma Educação de qualidade rumo ao desenvolvimento ” GRUPO DE MATEMATICA

2017