algoritimos

Proposições simples

Observe as seguintes sentenças:

Os gatos não voam.
Como é o seu nome?
Saia já daqui!
Não se esqueça de estudar.
Que dia lindo!

Embora todas as sentenças anteriores façam parte da nossa linguagem usual, aqui estamos interessados apenas naquelas que possam ser classificadas em verdadeiras ou falsas. As sentenças que admitem tal classificação são chamadas de sentenças declarativas.

Entre as sentenças citadas, somente a primeira delas (“Os gatos não voam”) pode ser classificada em verdadeira ou falsa. Para as demais, não faz muito sentido classificá-las dessa forma.

Indique quais sentenças são proposições, atribuindo-lhes o valor lógico correspondente. Caso a sentença não seja uma proposição, marque um X.

a) ( )Zero é um número par.
b) ( )7 + 3
c) ( )Todos os brasileiros são cariocas.
d) ( )Amanhã choverá?
e) ( )Charlie é dentista ou não é dentista. f ) ( )Felicidades!
g) ( )x > 2
h) ( )Todos os meses do ano têm 28 dias.

Questões:
01. Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca, traduzir para a linguagem corrente as seguintes proposições:
a) ~q
b) p ^ q
c) p v q
d) p q
e) p (~q)

02. Sendo p a proposição Roberto fala inglês e q a proposição Ricardo fala italiano traduzir para a linguagem simbólica as seguintes proposições:
a) Roberto fala inglês e Ricardo fala italiano.
b) Ou Roberto não fala inglês ou Ricardo fala italiano.
c) Se Ricardo fala italiano então Roberto fala inglês.
d) Roberto não fala inglês e Ricardo não fala italiano. 03. (UFB) Se p é uma proposição verdadeira, então:
a) p ^ q é verdadeira, qualquer que seja q;
b) p v q é verdadeira, qualquer que seja q;
c) p ^ q é verdadeira só se q for falsa;
d) p =>q é falsa, qualquer que seja q
e) n.d.a.
04. (MACK) Duas grandezas x e y são tais que "se x = 3 então y = 7". Pode-se concluir que:
a) se x 3 antão y 7
b) se y = 7 então x = 3
c) se y 7 então x 3
d) se x = 5 então y = 5
e) se