Você está na página 1de 5

ESCOLA SECUNDÁRIA DE INHAMISSA

DISCIPLINA: MATEMÁTICA 11ª Classe CIENCIAS FICHA: № 02


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

EXERCÍCIOS SOBRE EXPRESSÕES PROPOSICIONAIS E QUANTIFICADORES


UNIVERSAL E EXISTENCIAL
1. Sem usar 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)8 ∈ IN
2. 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
3. Mostre, usando tabelas de verdade, que :

a ) p∧(~ q∨ p)=p b) [ ( p∧q )∨( ~ p∧q ) ] =q

4. 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 )
5. 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
6. 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.

7. Considere as expressoes seguintes: indique as expressoes designatorias e proposicionais.


Classique em IN e em IR cada uma das condicoes.

a)x 2 =4 d) x 2 +8 x=0 e )( x−3)( x+3 ) f )|x+5|=5


g)0<x 2 +2
8. Dadas as expressões:

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


2017
ESCOLA SECUNDÁRIA DE INHAMISSA
DISCIPLINA: MATEMÁTICA 11ª Classe CIENCIAS FICHA: № 02
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

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


g)2x+1<0 h ) x+ y≠1 i )x+1=0 j)5( x +3) k ) x≠1− y l) √ x 2 +3>0
Indique :
a. as expressões designatórias;

b. as expressoes proposicionais;

c. condições equivalentes.

9. Determine, em IR o conjunto verdade de cada uma das seguintes condicoes:

3
a )|2−x|=2 b )|x + |≥1 c )|x+2|+|x-1|=0 d )|x-3|=|2x-1|
2
10. 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) Existe numeros positivos nao superiores a 7 no campo de reais.

e) Existe um número real x tal que x+ 3=−1

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

11. Negue as seguintes condicoes:


2
a)∀ x:|x|=x b )∃ x: x =x c) ∃x ∈ IR: x+2=x d)∀ x: x+1≻x
12. 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


13. Indique o valor logico das proposicoes seguintes:
2
a)∀ x:|x|=x b)∃ x: x =x c ) ∃x ∈ IR: x+2=x d )∀ x: x+1≻x
2 “Por uma Educação de qualidade rumo ao desenvolvimento ” GRUPO DE MATEMATICA
2017
ESCOLA SECUNDÁRIA DE INHAMISSA
DISCIPLINA: MATEMÁTICA 11ª Classe CIENCIAS FICHA: № 02
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

14. 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
15. 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
16. 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
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

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


2017
ESCOLA SECUNDÁRIA DE INHAMISSA
DISCIPLINA: MATEMÁTICA 11ª Classe CIENCIAS FICHA: № 02
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

VEJA SE ESTA PREPARADO/A PARA O TETE 1 DA LOGICA BIVALENTE

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

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


2017
ESCOLA SECUNDÁRIA DE INHAMISSA
DISCIPLINA: MATEMÁTICA 11ª Classe CIENCIAS FICHA: № 02
UNIDADE TEMÁTICA: I. INTRODUÇÃO À LÓGICA MATEMÁTICA

A.
∀ x ∈IR, x>1 B. ̏ Todos número naturais, excepto zero são
não negativos ̋
∀ x ∈IN ,x≥1
¿
C. ∃x ∈IN ,x>0
¿
A. B.
∀ x ∈Z − , x>0 D. ∀ x ∈IN ,x≥0
¿
C.
∀ x ∈IN ,x+ y>0 ¿

∀ x ∈IN ,x>0 ∀ x ∈ IN ,x<0


¿ ¿
9. Qual das seguintes expressões, traduz a D.
proposição: 11. A negação da proposição,
̏ Há um número racional maior que ∀ x ∈IN :|x|≤3∨x≥2
10
1000 é a proposição :
̋
1000 ∃x ∈IN :|x|≤3∨x≥2
A.
∃x ∈IQ , x>10 B.
A.
∀ x ∈IN :|x|≤3∧x≥2
∀ x ∈IR, x>101000 C.
B.

∃x ∈ IQ , x≥10
1000
C.
∃x ∈IN :|x|<3∧x<2
D.
∀ x ∈ IQ , x≥10
1000
D.
∃x ∈IN :|x|>3∧x<2
10. Qual das seguintes expressões, traduz a
proposição:

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


2017