Questo-aula

FICHA FORMATIVA 1

GRUPO I
1. Sabendo que A Terra e a Lua so redondas, identifica a opo correta:
(A) Se a Terra redonda ento a Lua quadrada.
(B) A Terra no redonda ou a Lua no redonda.
(C) A Terra quadrada se e s se a Lua redonda.
(D) Ou a Terra quadrada ou a Lua redonda.

2. Dadas proposies e , a proposio e equivalente a:

(A) ~ ~ (B) ~( ~ ~ ) (C) (D) ~( )

3.Observa a simplificao da expresso

( ( ~ ~ ) ( ~ ) )
( ~ ( ~ ) )
~
~
As propriedades utilizadas foram:
(A) F elemento neutro da disjuno; leis de De Morgan; dupla negao.
(B) Propriedade distributiva da disjuno em relao conjuno; propriedade associativa; F
elemento neutro da disjuno.
(C) Propriedade associativa; leis de De Morgan; propriedade distributiva da disjuno em relao
adio.
(D) Propriedade distributiva da disjuno em relao conjuno; princpio da no contradio; F
elemento neutro da disjuno.

4. Considera as proposies:
2 5 + 6 = 0 e ,| | > 0
Qual o valor lgico das proposies?
(A) So ambas verdadeiras.
(B) p verdadeira e q falsa.
(C) So ambas falsas.
(D) p falsa e q verdadeira.

GRUPO II
 1. Dada a proposio
r: Se a Rosa irm do Pedro ento no tem mais de quinze anos.
Considera as proposies operandas:
p: A Rosa irm do Pedro.
q: A Rosa tem mais de quinze anos.
Supondo que p e r so verdadeiras, traduz em linguagem corrente e indica o valor lgico da
proposio:~ ~ ( ).

2. Simplifica a proposio: ~ ( ( ) ~ ) ~

3. Dadas proposies e , enuncia o princpio da dupla implicao e prova-o, utilizando tabelas

de verdade.

Grupo I

Os cinco itens deste grupo so de escolha mltipla.

Em cada um deles, so indicadas quatro alternativas de resposta, das quais s uma est correta.

1. Sejam , e trs proposies quaisquer. Qual das seguintes afirmaes falsa?

(A) Se verdadeira e ~ falsa, ento verdadeira.

(B) A proposio ( ) equivalente proposio .
(C) A proposio ( ) equivalente proposio ( ) ( ).
(D) Se verdadeira, falsa e falsa, ento ( ) verdadeira.

2. Sabendo que a proposio ~ verdadeira, quais podem ser as proposies e ?

(A) : "15 um nmero primo" e : "todos os nmeros primos so mpares".

(B) : "2 um nmero primo" e : "4 um divisor de 18".
(C) : "1005 um mltiplo de 5" e : "1005 divisvel por 3".
(D) : "3 divisor de 23" e : "29 um nmero primo".

3. Considere a proposio , ( 2 > 1). Qual das seguintes proposies equivalente

negao da anterior?

(A) , ( > 2 1) (B) : ( > 2 1)

(C) : ( > 2 1) (D) : ( 2 < 1)

4. Considere a condio 3 + 2 + 2 = 3 + 2 . Relativamente a esta equao, qual das seguintes

afirmaes verdadeira?

(A) A condio universal em .

(B) A condio possvel em e o seu conjunto-soluo {0}.
 (C) A condio possvel em e o seu conjunto-soluo {1, 0, 1}.
(D) A condio impossvel em .

5. Sejam e os seguintes conjuntos de nmeros reais:

1
= { : 2 2 3}

= { : 3 > 4 4 9}

Qual dos seguintes conjuntos representa \?

(A) {1}
(B) {0, 1, 2}
1 9
(C) ] 2 , 4]
4 1
(D) ] 3 , 2[
 Grupo II
Ateno: Quando para um resultado no pedida a aproximao, pretende-se sempre o valor exato.
1. Considere as proposies , e :
: Um quadrado no um retngulo.
: Um retngulo um paralelogramo.
: Um quadrado um paralelogramo.
1.1. Traduza em linguagem corrente as seguintes proposies.

1.1.1. ~ ~

1.1.2. ~( )

1.2. Traduza em linguagem simblica a proposio Se um quadrado no um retngulo e um

retngulo um paralelogramo, ento um quadrado no um paralelogramo.
Traduza tambm em linguagem simblica a negao da proposio anterior, simplificando-a.

1.3. Determine o valor lgico da proposio ~( ( ~)).

2. Considere duas proposies e . Mostre que a proposio (~ ) ( ~) equivalente a ~,

recorrendo:
2.1. a uma tabela de verdade;
 2.2. s propriedades das operaes lgicas.

3. Considere as proposies , e :
: "O Joo vai ao cinema."
: "O Joo vai ao futebol."
: "O Joo vai s compras."

Sabendo que a proposio ( (~ )) ~( ) verdadeira, determine o que pode concluir

sobre o Joo.

6. Qual das seguintes proposies uma tautologia (proposio composta que verdadeira quaisquer
que sejam os valores lgicos das proposies elementares que a formam)?
(A) (( ) (~ ))
(B) ~(( ) )
(C) (( ) (~ )) (~ )
(D) (~ ((~ ) ( )))

7. Qual das seguintes condies universal em ?

(A) 2 = 16 = 4
(B) = 4 2 = 16
(C) = 4 2 = 16
(D) 2 > 0 > 0

8. Qual das seguintes condies impossvel no universo considerado?

(A) 2 2 2 = 0, em
 (B) 2 2 = 0, em
(C) 2 0 2 = 7, em
(D) ~( 2 < 0 2 7), em

9. Considere a proposio , () (). Qual das seguintes proposies equivalente negao da

anterior?

(A) , ~() ~()

(B) , (() ~()) ( () ())
(C) : (() ~()) ( () ())
(D) : (() ~()) ( () ())

10. Seja = {2, 2, 1, 0, 2, 2, 4, 16}. Qual das seguintes proposies verdadeira?

(A) , 2
(B) : 2 = 8
(C) O conjunto { 2 : } pode ser definido em extenso por {2, 4, 16, 256}.
(D) O conjunto { : 2 } pode ser definido em extenso por {2, 2, 0, 2, 2, 4}.
 Grupo II

Nas respostas aos itens deste grupo apresente o seu raciocnio de forma clara, indicando todos os clculos que tiver
de efetuar e todas as justificaes necessrias.
Ateno: Quando para um resultado no pedida a aproximao, pretende-se sempre o valor exato.

2. Considere as proposies , e :
: O Joaquim est doente.
: O Joaquim vai para a creche.
: O Joaquim tem febre.

3.1. Traduza em linguagem simblica as seguintes proposies.

a) O Joaquim no est doente nem tem febre.

b) O Joaquim no vai para a creche quando est doente.

c) condio necessria para que o Joaquim tenha febre que o Joaquim esteja
doente.

3.2. Traduza em linguagem corrente e escreva em linguagem simblica o

contrarrecproco da proposio (~ ~) .

3.3. Sabendo que a proposio ~( ) (~ ) ( V) verdadeira, averige

se o Joaquim est doente. Justifique a sua resposta.
3.4. Escreva em linguagem corrente a negao da seguinte afirmao: Todos os dias
da semana o Joaquim vai para a creche.

3. Sejam e proposies. Verifique, recorrendo a uma tabela de verdade, que as

proposies ~( ) ( ) e so equivalentes.

4. Sejam e duas proposies quaisquer. Prove, pelas propriedades das

operaes lgicas, que ~( ~ ) ~( ~) equivalente a ~.

5. Sabe-se que ( ~) ( ) uma proposio falsa. Qual o valor lgico

de , de e de ? Justifique a sua resposta.