Faculdade de Ciências

Departamento de Matemática e Informática

Licenciatura em Ciências de Informação Geográca, Diurno
10 Teste de Lógica e Teoria de Conjuntos. Guião da Correcção. Variante 1.

Duração: 90 minutos 10.09.2014

1. (2 valores) Determine os valores de verdade das variáveis proposicionais P e Q sabendo

os valores de verdade das proposições compostas G1 e G2 :
Proposição Valor de verdade
G1 ≡ (¬P ∨ (1 > 2)) ↔ P Verdadeiro
G2 ≡ ¬((22 = 4) ∧ Q) → Q Falso
Apresente os resultados na tabela por um sinal × .
Respostas para variantes diferentes:
Variante 4n + 1 Variante 4n + 2
só V só F V ou F nenhum só V só F V ou F nenhum
P × P ×
Q × Q ×
Variante 4n + 3 Variante 4n
só V só F V ou F nenhum só V só F V ou F nenhum
P × P ×
Q × Q ×

Resolução para Variante 1:Determinamos os valores de verdade de P e Q por meio das

seguintes tabelas (também pode-se fazer o raciocínio em memória):

P ¬P 1 > 2 ¬P ∨ (1 > 2) G1
F V F V F
V F F F F
Q 22 = 4 (22 = 4) ∧ Q ¬((22 = 4) ∧ Q) G2
F V F V F
V V V F V

2. (3 valores) Simplique a fórmula proposicional (p ∨ q) → ¬p usando o raciocínio

dedutivo.
Resolução: (p ∨ q) → ¬p
⇔ ¬(p ∨ q) ∨ ¬p (lei de condicional 1)
⇔ (¬p ∧ ¬q) ∨ ¬p (lei de Morgan)
⇔ ¬p ∨ (¬p ∧ ¬q) (lei comutativa)
⇔ ¬p (lei de absorção)
3. (2 valores) Ache as formas normais disjuntiva e conjuntiva para a fórmula proposicional
(a → (a ∧ ¬b)) ↔ ¬a.
Resposta: A FND é: (¬a ∧ ¬b) ∨ (¬a ∧ b) ∨ (a ∧ b).

A FNC é: ¬a ∨ b.

1
 Resolução:

a b ¬b a ∧ ¬b a → (a ∧ ¬b) ¬a (a → (a ∧ ¬b)) ↔ ¬a para FND para FNC

F F V F V V V ¬a ∧ ¬b
F V F F V V V ¬a ∧ b
V F V V V F F ¬a ∨ b
V V F F F F V a∧b

4. O conjunto universo é R. Consideremos a seguinte proposição P : para algum valor do

parâmetro a, qualquer solução da inequação x2 < a satisfaz a condição x + a > 0.
(a) (1 valor) Apresente a proposição P na forma simbólica usando quanticadores e
os símbolos Q(a, x) e R(a, x) para os predicados Q(a, x) = {x2 < a} e R(a, x) =
{x + a > 0}.
(b) (1 valor) Escreva a negação da proposição P na forma simbólica e transforme para
uma forma equivalente que não contem os conectivos diferentes de ∨, ∧, ¬, sendo
que ¬ pode estar só antes de símbolos Q(a, x), R(a, x).
Resolução: a) ∃a ∀x (Q(a, x) → R(a, x));
b) ¬P ⇔ ¬∃a∀x(Q(a, x) → R(a, x))
⇔ ∀a∃x¬(Q(a, x) → R(a, x)) (lei de Morgan)
⇔ ∀a∃x¬¬(Q(a, x) ∧ ¬R(a, x)) (lei de condicional 1)
⇔ ∀a∃x(Q(a, x) ∧ ¬R(a, x)) (dupla negação)

5. (2 valores) O universo é N. Consideremos o predicado P (x, y) ≡ {y = x2 }. Determine

se cada uma das quatro proposições na primeira linha da tabela é verdadeira ou é falsa
(preencha a segunda linha, escrevendo nos quadrados V ou F ).
Variante 4n + 1 ∀x∃yP (x, y) ∃x∀yP (x, y) ∀y∃xP (x, y) ∃y∀xP (x, y)
V F F F
Variante 4n + 2 ∀y∃xP (x, y) ∃y∀xP (x, y) ∀x∃yP (x, y) ∃x∀yP (x, y)
F F V F
Variante 4n + 3 ∃x∀yP (x, y) ∀x∃yP (x, y) ∃y∀xP (x, y) ∀y∃xP (x, y)
F V F F
Variante 4n ∃y∀xP (x, y) ∀y∃xP (x, y) ∃x∀yP (x, y) ∀x∃yP (x, y)
F F F V
6. Teorema. Para que a proposição p ∧ q seja verdadeira é necessário que pelo menos uma

das proposições p ou q seja verdadeira.

a) (1 valor) Formule o teorema na forma "Se ..., então ... ".
b) (1 valor) Formule o teorema contrário do teorema dado, na forma
"Se ..., então ... ".
c) (1 valor) Quais dos teoremas escritos em a) e b) são válidos e quais não são válidos?
Resolução: a) Se a proposição p ∧ q é verdadeira, então pelo menos uma das proposições
p ou q é verdadeira.
b) Se a proposição p ∧ q é falsa, então ambas proposições p e q são falsas.
c) O teorema dado é válido mas o seu teorema contrário não é válido. Isto implica
directamente da denição do conectivo ∧.

2
7. Argumento. Se não tiro boa nota no teste da Lógica e não tiro boa nota no teste da
Álgebra, então não co f eliz. Se não co f eliz, então não vou viajar para Xai-Xai. Não
tirei boa nota no teste da Álgebra mas viajei para Xai-Xai. Portanto, tirei boa nota no
teste da Lógica.
Escreva o argumento na forma simbólica usando as letras L, A, F, X (1 valor) e dê a
demonstração da sua validade (2 valores).
Resolução: Pode-se usar um de dois métodos:

10 método (demonstração directa).

1. (¬L ∧ ¬A) → ¬F (Hip.)
2. ¬F → ¬X (Hip.)
3. ¬A ∧ X ` L (Hip. ` Conclusão)
4. ¬A (3; Simplicação)
5. X (3; Simplicação)
6. ¬¬X (5; Dupla negação)
7. ¬¬F (2, 6; Modus Tollens)
8. ¬(¬L ∧ ¬A) (1, 7; Modus Tollens)
9. L ∨ A (8; de Morgan e dupla negação)
10. L (9, 4; Silogismo disjuntivo)
20 método (demonstração indirecta).
1. (¬L ∧ ¬A) → ¬F (Hip.)
2. ¬F → ¬X (Hip.)
3. ¬A ∧ X ` L (Hip. ` Conclusão)
4. ¬L (Demonstração indirecta)
5. ¬A (3; Simplicação)
6. X (3; Simplicação)
7. ¬F (4, 5, 1; Modus Ponens)
8. ¬X (2, 7; Modus Ponens)
9. X ∧ ¬X ≡ C (6, 8; Contradição)
8. (3 valores) Demonstre usando a indução matemática que
(p1 → q) ∧ (p2 → q) ∧ . . . ∧ (pn → q) ⇔ (p1 ∨ p2 ∨ . . . ∨ pn ) → q (n = 2, 3, . . .)
sendo p1 , p2 , . . . pn , q são proposições arbitrárias.
Resolução: Tem que ser demonstrado P (n) = {(p1 → q) ∧ . . . ∧ (pn → q) ⇔ (p1 ∨ . . . ∨

pn ) → q} qualquer que seja ∀n ∈ {2, 3, . . .}.

(B) P (2) ≡ {(p1 → q) ∧ (p2 → q) ⇔ (p1 ∨ p2 ) → q} é V, pela lei de condicional 2.
(I) Hipótese: P (k) = {(p1 → q) ∧ . . . ∧ (pk → q) ⇔ (p1 ∨ . . . ∨ pk ) → q}.
Tese: P (k + 1) = {(p1 → q) ∧ . . . ∧ (pk+1 → q) ⇔ (p1 ∨ . . . ∨ pk+1 ) → q}
Temos que:
(p1 → q) ∧ . . . ∧ (pk+1 → q)
⇔ ((p1 → q) ∧ . . . ∧ (pk → q)) ∧ (pk+1 → q) (lei associativa)
⇔ ((p1 ∨ . . . ∨ pk ) → q) ∧ (pk+1 → q) (Hipótese)
⇔ ((p1 ∨ . . . ∨ pk ) ∨ pk+1 ) → q (lei de condicional 2)
⇔ ((p1 ∨ . . . ∨ pk+1 ) → q (lei associativa)
Então, P (k + 1) é verdadeira.
Pelo princípio de indução matemática generalizado, P (n) é verdadeira ∀n ∈ {2, 3, . . .}.

Professores Yury Nepomnyashchikh e Tomé Eduardo Sicuaio