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 13.09.2013

1. (2 valores) Determinar o valor de verdade para cada uma das variáveis proposicionais
sabendo o valor de verdade das seguintes proposições:
Fórmula Valor de verdade
(P ∧ (3 > 1)) ∨ ¬P V
¬Q ↔ (23 = 5) F
R → (¬R ∨ (5 ≤ 3)) F
(¬S ∧ (3 ≤ 3)) → S V

Os resultados apresentar na tabela abaixo por sinal × .

Resolução:
só V só F V ou F nenhum
P ×
Q ×
R ×
S ×

Designando as proposições compostas por A1 , A2 , A3 , A4 determinamos os valores

de verdade de P , Q, R e S por seguintes tabelas (também pode-se fazer o raciocínio
correspondente em memória):

P 3 > 1 P ∧ (3 > 1) ¬P A1 Q ¬Q 23 = 5 A2
F V F V V F V F F
V V V F V V F F V

R 5 ≤ 3 ¬R ¬R ∨ (5 ≤ 3) A3 S ¬S 3 ≤ 3 ¬S ∧ (3 ≤ 3) A4
F F V V V F V V V F
V F F F F V F V F V

2. (3 valores) Simplicar (¬p → q) → (p ∧ ¬q) usando as leis da álgebra de proposições.

Resolução: (¬p → q) → (p ∧ ¬q)
⇔ ¬(¬p → q) ∨ (p ∧ ¬q) (1a lei de implicação)
⇔ ¬¬(¬p ∧ ¬q) ∨ (p ∧ ¬q) (2a lei de implicação)
⇔ (¬p ∧ ¬q) ∨ (p ∧ ¬q) (negação dupla)
⇔ (¬q ∧ ¬p) ∨ (¬q ∧ p) (lei comutativa)
⇔ ¬q ∧ (¬p ∨ p) (lei distributiva)
⇔ ¬q ∧ T (lei comutativa e denição da tautologia)
⇔ ¬q (lei de identidade)

1
3. (3 valores) Achar a forma normal conjuntiva para a fórmula proposicional (a → ¬b) → c.
Resolução: a b c ¬b a → ¬b (a → ¬b) → c para FNC
F F F V V F a∨b∨c
F F V V V V
F V F F V F a ∨ ¬b ∨ c
F V V F V V
V F F V V F ¬a ∨ b ∨ c
V F V V V V
V V F F F V
V V V F F V
Então, a FNC para (a → ¬b) → c é (a ∨ b ∨ c) ∧ (a ∨ ¬b ∨ c) ∧ (¬a ∨ b ∨ c).
4. Representar as frases seguintes usando quanticadores e operações lógicas e não usando
o conectivo ¬ (o universo é R).
(a) (1 valor) Cada solução da desigualdade (x − 1)(x − 2) < 0 é um número positivo.
(b) (1 valor) Não para todo número real a a equação x2 + x + a = 0 tem raízes reais.
Resolução: a) ∀x ((x − 1)(x − 2) < 0 → x > 0); b) ∃a ∀x (x2 + x + a ̸= 0).
5. (2 valores) O universo é N. Consideremos o predicado P (x, y) ≡ {x − y ≥ 0}. Determi-
nar se cada um de quatro proposições na primeira linha da tabela é verdadeira ou falsa
(preencher a segunda linha, escrevendo nos quadrados V ou F ).

∀x∃yP (x, y) ∃x∀yP (x, y) ∀y∃xP (x, y) ∃y∀xP (x, y)

V F V V

6. Consideremos o seguinte teorema: se |p| < 1, então a desigualdade x2 + 2px + 1 > 0 é

valido qualquer que seja número real x.
a) (1 valor) Formule o teorema usando as palavras é suciente que ;
b) (1 valor) Formule o teorema contra-recíproco do teorema dado.
Resolução: a) Para que a desigualdade x2 + 2px + 1 > 0 seja valido qualquer que seja
número real x é suciente que seja |p| < 1.
b) Se existe um número real x satisfazendo a condição x2 + 2px + 1 ≤ 0, então |p| ≥ 1.

2
7. (3 valores) Dê a demonstração de validade para o seguinte argumento:

1. A → B
2. D ∧ E → ¬B
3. A ∧ D ⊢ ¬E.

Resolução: Pode-se usar um dos métodos abaixo:

10 método (demonstração directa) 20 método (demonstração indirecta)
1. A→B (Hip.) 1. A → B (Hip.)
2. D ∧ E → ¬B (Hip.) 2. D ∧ E → ¬B (Hip.)
3. A ∧ D ⊢ ¬E (Hip. ⊢ Conclusão) 3. A ∧ D ⊢ ¬E (Hip. ⊢ Conclusão)
4. A (3; Simplicação) 4. ¬¬E (Dem. indirecta)
5. D (3; Simplicação) 5. E (4; Negação dupla)
6. B (1, 4; Modus Ponens) 6. A (3; Simplicação)
7. ¬¬B (6; Negação dupla) 7. D (3; Simplicação)
8. ¬(D ∧ E) (2, 7; Modus Tolens) 8. B (1, 6; Modus Ponens)
9. ¬D ∨ ¬E (8; de Morgan) 9. D ∧ E (5, 7; Conjunção)
10. ¬¬D (5; Negação dupla) 10. ¬B (2, 9; Modus Ponens)
11. ¬E (9, 10; Silogismo disj.) 11. B ∧ ¬B ≡ C (8, 10; Contradição)

8. (3 valores) Demonstrar a lei transitiva generalizada

(a1 → a2 ) ∧ (a2 → a3 ) ∧ . . . ∧ (an−1 → an ) ⇒ (a1 → an ) (n = 2, 3, . . .)

do método de indução matemática usando a lei transitiva (p → q) ∧ (q → r) ⇒ (p → r).

Resolução: Deve-se demonstrar P (n) qualquer que seja n = 2, 3, . . ..
(B) P (2) ≡ {(a1 → a2 ) ⇒ (a1 → a2 ))} é verdadeira.
(I) Demonstramos ∀k ∈ {2, 3, . . .}

P (k) ≡ {(a1 → a2 ) ∧ (a2 → a3 ) ∧ . . . ∧ (ak−1 → ak ) ⇒ (a1 → ak )} (Hip.)

→ P (k + 1) ≡ {(a1 → a2 ) ∧ (a2 → a3 ) ∧ . . . ∧ (ak → ak+1 ) ⇒ (a1 → ak+1 )}. (Tese)

Seja k ∈ {2, 3, . . .} e seja P (k) é verdadeira. Designamos por a a proposição

(a1 → a2 ) ∧ (a2 → a3 ) ∧ . . . ∧ (ak−1 → ak ). Temos que

(a1 → a2 ) ∧ (a2 → a3 ) ∧ . . . ∧ (ak → ak+1 )

⇔ a ∧ (ak → ak+1 )
⇒ (a1 → ak ) ∧ (ak → ak+1 ) (Hip., Dilema constr, lei de idempotência)
⇒ a1 → ak+1 (lei transitiva).

Então, P (k + 1) é verdadeira.
Pelo princípio de indução matemática, P (n) é verdadeira ∀n ∈ {2, 3, . . .}.

Prof. Doutor Yury Nepomnyashchikh