Logica

Rev.20130521

Lógica
Simulado 2 – Questões

1) (2,0) Utilizando tabelas-verdade, verifique a validade dos argumentos abaixo:
a) Se como gordura então engordo.

b) Se como gordura então engordo.

Se durmo então descanso.

Se durmo então descanso.

Comi gordura ou dormi.

Emagreci ou fiquei cansado.

Logo, engordei ou descansei.

Logo, não comi gordura ou não dormi.

2) (3,0) Através das regras de inferência, verificar que são válidos os argumentos abaixo.
a) (s.e)’, e’→g ⊢ s→g
b) s→p, p→(w+j), s.w’ ⊢ j
c) a→u, u’+(b.j’), b→a, (j’.a’)’+b ⊢ j→a’

3) (2,0) Determinar o conjunto verdade das sentenças abaixo:
a) 2x + 5 ≤ 27,

ॼ=ℤ

b) Todo triângulo é um polígono.
c) 3x - 12 < 3,

ॼ = {-5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5}

4) (3,0) Determinar o valor lógico das sentenças abaixo:
a) ∀x (x+3 = 10), ॼ = {1, 2, 3, 4, 5, 6, 7}
b) ∀x (x+3 = 10), ॼ = {7}
c) ∃x (x+3 = 10),

ॼ = {1, 2, 3, 4, 5, 6, 7}

d) ∃x (x+3 = 10), ॼ = {1, 2, 3}

Rev.20130521

Lógica - Simulado 2 – Resolução
1)
a)

Passo 1: p→q, r→s, p+r ⊢ q+s
(p→q).(r→s).(p+r)→(q+s)

Passo 2a: (p→q).(r→s).(p+r) ⇒ q+s Passo 2b:

Passo 2c
(p
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

→
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1

q)
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

1

2

1

.

→

1
1
0
1
1
1
0
1
0
0
0
0
1
1
0
1

(r
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

0
0
0
1
0
0
0
1
0
0
0
0
1
1
0
1

(p
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

+
0
0
1
1
0
0
1
1
1
1
1
1
1
1
1
1

r)
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

→

1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1

s)
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

(q
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

+
0
1
0
1
1
1
1
1
0
1
0
1
1
1
1
1

s)
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

3

1

2

1

4