Lógica Proposicional

758 palavras 4 páginas
7ª Lista de Exercícios – 2o Bimestre
1) Sendo R o conjunto dos números reais, determinar o valor lógico das seguintes expressões: a)
b)
c)
d)
e)
f)

(∀x ϵ R) (|x| = x)
(∃x ϵ R) (x2 = x)
(∃x ϵ R) (|x| = 0)
(∃x ϵ R) (x + 2 = x)
(∀x ϵ R) (x+1 > x)
(∀x ϵ R) (x2 = x)

Para |x| a função módulo de x, que é calculada como:
|x| = x, se x ≥ 0
|x| = -x, se x < 0
2) Sendo A = {2, 3, ..., 8, 9} dar um contraexemplo para as afirmações:
a)
b)
c)
d)
e)

(∀x ϵ A) (x + 5 < 12)
(∀x ϵ A) (x é primo)
(∀x ϵ A) (x2 > 1)
(∀x ϵ A) (x é par)
(∀x ϵ A) (0x = 0)

3) Usando os seguintes símbolos:
D(x) = “x é um dia”
S(x) = “x está fazendo sol”
C(x) = “x está chovendo”
M = “segunda-feira”
T = “terça-feira”
Formalize os seguintes enunciados no domínio formado pelo conjunto de todas as coisas: a) Todos os dias está fazendo sol.
b) Alguns dias não está chovendo.
c) Todo dia que não está fazendo sol está chovendo. d) Alguns dias está fazendo sol e chovendo. e) Nenhum dia está fazendo sol e chovendo ao mesmo tempo.
f) Segunda-feira fez sol; portanto, vai fazer sol todos os dias.

g) Choveu na segunda e na terça-feira.
h) Se chover algum dia, então vai fazer sol todos os dias.
4) Supondo os seguintes símbolos:
A(x,y) = “x ama y” j = “João” c = “Cátia”
V(x) = “x é vistoso”
H(x) = “x é um homem”
M(x) = “x é uma mulher”
B(x) = “x é bonita”
Dê versões para o Português para as fórmulas apresentadas abaixo:
a) V(j) ∧ A(c,j)
b) (∀x) (H(x) → V(x))
c) (∀x) (M(x) → (∀y)(A(x,y) → (H(y) ∧
V(y))))
d) (∃x) (H(x) ∧ V(x) ∧ A(x,c))
e) (∃x) (M(x) ∧ B(x) ∧ (∀y)(A(x,y) → (V(y)
∧ H(y))))
f) (∀x) (M(x) ∧ B(x)→ A(j,x))
5) Formalize as sentenças a seguir utilizando predicados e objetos:
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
m)
n)
o)
p)

Cátia é mecânica.
Bob é mecânico.
Cátia e Bob são mecânicos.
Ou Cátia ou Bob são mecânicos.
Cátia é mecânica ou enfermeira.
Se Cátia é mecânica, então ela não é enfermeira. Cátia é mais alta

Relacionados

  • Lógica proposicional
    1232 palavras | 5 páginas
  • Lógica proposicional
    1401 palavras | 6 páginas
  • Logica Proposicional
    6252 palavras | 26 páginas
  • Logica proposicional
    3211 palavras | 13 páginas
  • Logica Proposicional
    838 palavras | 4 páginas
  • Lógica proposicional
    761 palavras | 4 páginas
  • Logica proposicional
    3089 palavras | 13 páginas
  • Lógica Proposicional
    4273 palavras | 18 páginas
  • LOGICA PROPOSICIONAL
    40844 palavras | 164 páginas
  • Atps lógica proposicional.
    1551 palavras | 7 páginas