lógica

1ª LISTA DE LÓGICA – CIÊNCIA DA COMPUTAÇÃO – 1,0 pt
1) O que é Lógica? Para que serve?
2) Para que estudar lógica se eu faço o curso de Ciência da Computação?
3) Quais os três princípios que regem a Lógica Clássica?
4) O que é o Princípio do Terceiro Excluído. Exemplifique.
5) O que é uma proposição?
6) O que são proposições compostas?
7) Sejam as proposições p: “Está chovendo”, q: “O sol está brilhando” e r: “Há nuvens no céu”.
Traduza as seguintes sentenças abaixo em notação da lógica simbólica:
a. “choverá se o sol brilhar ou se o céu estiver com nuvens”.
b. “se está chovendo, então há nuvens no céu.”
c. “o sol brilha quando e apenas quando não está chovendo e não há nuvens no céu.”
8) Encontre a tabela verdade das seguintes proposições.
a) (p ∨ ~ q) ↔ (~ p ∧ q)
b) (p ∧ ~ p) → (q ∨ p)
c) (p → r) ∨ (q → r) ↔ (p ∧ q) → r

9) Marcos é um cara estranho, pois mente às quintas, sextas e sábados, mas fala a verdade nos outros dias da semana. Em qual dos dias da semana não é possível que Marcos faça a seguinte afirmação:
“Menti ontem se somente se mentirei amanhã.”
10) Tem-se 9 perolas idênticas, das quais 8 são exatamente do mesmo peso e uma delas é

mais pesada que as outras. Para identificar qual a perola mais pesada dispõe-se de uma balança de pratos. Como descobrir qual a perola mais pesada em apenas 2 pesagens?