Universidade Estadual Vale do Acaraú - UVA
Curso:
Ciências da Computação
Disciplina:
Lógica Matemática
Professor:
Hudson Costa
Lista 01 - Sintaxe da Lógica Proposicional
1. Qual das sentenças abaixo são proposições:
a) O número 2 mais o número 3 é maior que 7.
b) Como está o eu computador?
c) O consumo do CPU do servidor vai subir amanhã.
d) Rogério Coelho é professor de Lógica Matemática.
e) Existe vida em outro planeta.
2. Assinale as FBFs abaixo e as que não estiverem corretas descreva os erros:
a)
(P∧Q)→(¬P∨ ¬Q)
b)
¬(¬P¬Q)∧(P→ ∨Q)
c)
(P→ ¬Q)∨(¬Q↔ ¬P)∧R
d)
(∨¬P)→(∨Q¬P)
e)
(P∧Q∧R∨ ¬P)↔(¬Q∧P)
3. Para cada FBF abaixo diga quais são suas subfórmulas:
a)
¬(p∨ ¬q)
b)
p∧q→p∨q
c)
¬(p→ ¬q)
d)
(p↔ ¬q)↔q→q
e)
(p∧q)∧(r∧s)→p∨s
f)
(p→q)→(p∨r→q∨q)
4. Sejam as proposições p:
Está frio
e q:
Está chovendo
. Traduzir para a
linguagem
natural
as seguintes proposições:
a)
¬p
b)
p∧q
c)
p∨q
d)
q↔p
e)
p→ ¬q
f)
p∨ ¬q
1
