Lógica

básica Prova 2

Prof. Mattia Petrolo 16/11/2021

1. (2 pontos)
Dadas as tabelas, encontrar a fórmula correspondente a cada tabela. (Cada fórmula
α, β, γ e δ deve conter A, B e C.)

A B C Fórmula α A B C Fórmula β
V V V V V V V F
V V F V V V F V
V F V F V F V F
V F F F V F F F
F V V V F V V F
F V F F F V F F
F F V V F F V F
F F F F F F F V

A B C Fórmula γ A B C Fórmula δ
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F V F F V
F V V V F V V F
F V F V F V F F
F F V V F F V F
F F F F F F F F


2. (3 pontos)
Considere uma linguagem L = {a, b, c, P, Q, R, S} e uma estrutura M = (B, IM) onde:
- B = {0,1,2,3,4}
- A função interpretação IM é como segue:
IM (a) = 0
IM (b) = 3
IM (c) = 4
IM (P) = {0, 1, 2, 3}
IM (Q) = {0, 3, 4}
IM (R) = {(0, 1), (0, 2), (0, 3), (1, 1), (3, 4), (4, 3)}
IM (S) = {(0, 1, 2), (1, 2, 3), (0, 3, 4), (4, 1, 3)}

1
 Diga se as fórmulas abaixo são verdadeiras ou falsas em M, e por quê.
(i) Sabc
(ii) ¬Qb
(iii) ∃xRxy
(iv) ∀x(Qx → Px)
(v) ∃x∃ySxyb
(vi) ¬∀x Px ↔ ¬∃x∀yRxy

3. (3 pontos)
Seja uma linguagem L = {a, b, c, d, P, Q}, e uma estrutura M = (B, IM) onde:
- B = {Hamlet, Ofélia, Cláudio, Horácio}
- A função interpretação IM é como segue:
IM (a) = Hamlet
IM (b) = Ofélia
IM (c) = Cláudio
IM (d) = Horácio
IM (P) = {Hamlet, Cláudio}
IM (Q) = {(Hamlet, Ofélia), (Ofélia, Hamlet), (Ofélia, Cláudio), (Cláudio, Horácio),
(Horácio, Horácio)}

Com relação a essa estrutura, dê exemplos de:

(i) Uma fórmula que seja falsa;
(ii) Uma fórmula com uma negação e uma disjunção que seja verdadeira;
(iii) Uma fórmula universalmente quantificada que seja falsa;
(iv) Uma fórmula com um quantificador universal e um existencial que seja
verdadeira.

4. (2 pontos)
As fórmulas abaixo são todas inválidas. Mostre isso, construindo para cada uma delas
uma estrutura onde a fórmula seja falsa.

(i) Pa → ∀xPx
(ii) ∃xPx → (Pa ∧ ¬ Pb)
(iii) (∃xPx ∧ ∃xQx) → ∃x(Px ∧Qx)
(iv) ∀x(Px ∨ Qx) → (∀xPx ∧ ∀xQx)



Conceitos : 10 pontos
A : 9 – 10
B : 7,50 – 8,99
C : 6 – 7,49
D : 5 – 5,99
F : 0 – 4,99