Lista1

Prévia do material em texto

Nota:
SISTEMAS DE INFORMAÇÃO
DISCIPLINA: LÓGICA COMPUTACIONAL
PROFA. ME. MAIANA LOPES
ALUNO(A):
Lista de Exercı́cios
1. Verifique se as expressões abaixo são proposições. Justifique sua resposta.
a) Hoje tem aula de Lógica.
b) Boa sorte!
c) Lisboa é capital de Portugal.
d) Não faça isso!
e) (3 + 5)2 = 32 + 52
f) O Sol é uma estrela.
g) Qual é o seu nome?
2. Represente as seguintes proposições utilizando a linguagem da lógica clássica proposicional. Utilize os sı́mbolos
proposicionais C (Está chovendo) e N (Está nevando).
a) Está chovendo, mas não está nevando.
b) Não é o caso que está chovendo ou nevando.
c) Se não está chovendo, então está nevando.
d) Não é o caso que se está chovendo então está nevando.
e) Está chovendo se e somente se está nevando.
f) Se está nevando e chovendo, então está nevando.
g) Se não está chovendo, então não é o caso que está nevando e chovendo.
3. No exercı́cio seguinte, represente o texto na linguagem da lógica proposicional especificando significado dos
sı́mbolos proposicionais utilizados.
Ela não está em casa ou não está atendendo ao telefone. Mas se ela não está em casa, então ela foi sequestrada.
E se ela não está atendendo ao telefone, ela está correndo algum outro perigo. Ou ela foi sequestrada ou ela está
correndo um outro perigo.
4. Sejam as proposições p: Está frio e q: Está chovendo. Traduza para a linguagem corrente as seguintes proposições:
a) ∼ p b) p ∧ q c) p ∨ q d) p←→ q
e) p −→∼ q f) p∨ ∼ q g)∼ p∧ ∼ q h) p←→∼ q
5. Considere as concatenações de sı́mbolos do alfabeto da Lógica Proposicional dadas a seguir. Identifique aquelas
que são fórmulas da Lógica Proposicional.
a) PQ ∨ verdadeiro b) (P ∧Q) −→ ((Q −→ P )∨ ∼ R) c) ∨Q d) (P ∨Q) −→ (Q←→∼ R)
1