Você está na página 1de 3

Questo de aula nmero 1

Matemtica A 10. ano


Ano letivo 2015/2016

Introduo Lgica Bivalente e Teoria dos Conjuntos


1. Das expresses seguintes indica as que so proposies:

(A
Coelho
)

(
B
)

O coelho tem duas


patas

1+ 5
5

(
C
)

(
D
)

16 4
=
9 3

2. Indica o valor lgico de cada uma das seguintes proposies:


(A
3 um quadrado perfeito.
)

(B
)

2 um nmero primo.

(C
)

(
D
)

Se uma reta perpendicular a um


plano ento perpendicular a todas
as retas desse plano.

Todo o quadrado um retngulo.

3. Considera as proposies:
p: o pi um nmero irracional
2
3

q: um nmero racional
r: 5 mltiplo de 25
utilizando duas das proposies dadas e o smbolo

, escreve:

a) Uma proposio verdadeira.


b) Uma proposio falsa.

1. Sejam a, b e c as proposies:
a: os patos nadam
b: os patos tm bico
c: os patos comem plantas
Traduz para linguagem corrente cada uma das proposies:
a) ab
b) bc

QA_1_10_LGICA|professor Carlos Silva

c) ab
d) bc
1. Sabendo que a proposio pq verdadeira, diga, justificando, qual o valor lgico
de cada uma das proposies:
a) pq
b) pq
c) ( p)q
d) ( pq )

1. Considera a proposies p e q .
A seguinte expresso define uma proposio.
( p( p q ) ) q

Simplifica-a indicando sempre que possvel a(s) propriedade(s) utilizadas.

2. O Joo, o Pedro e o Duarte, so trs amigos que tm preferncias futebolsticas


diferentes. Considera as proposies:
a: O Joo do Sporting
b: O Pedro do F.C. Porto
c: O Duarte no do Benfica
Determina a preferncia futebolstica da cada um dos trs amigos, sabendo que, a
proposio seguinte falsa.

( a b )( ac )
(utiliza na resoluo deste exerccio uma tabela de verdade)

3. Sejam a, b e c as proposies:
p: O Joo pratica futebol
q: O Joo pratica andebol
r: O Joo pratica voleibol

QA_1_10_LGICA|professor Carlos Silva

Sabendo que a proposio: ( ( pr )( pr ) ) ( p q ) verdadeira, descobre, de


entre as modalidades referidas, quais so as que o Joo pratica.
(Simplifica-a indicando sempre que possvel a(s) propriedade(s) utilizadas)

QA_1_10_LGICA|professor Carlos Silva

Você também pode gostar