Anda di halaman 1dari 3

Lista de Exercícios de Lógica

Questão 1. Determinar o valor lógico (V ou F) de cada uma das seguintes


proposições:

(i) (2 + 5)3 = 57 e 4 + 4 = 0.

(ii) 19 é um número primo ou 2 é um número irracional.

(iii) 13 ≥ 31 ∧ 53 = 125.

(iv) A UFABC não é uma Universidade Federal ∨ a expressão n2 − 20n é


sempre um número real negativo, para todo inteiro positivo n ≥ 20.

Questão 2. Determinar o valor lógico (V ou F) de cada uma das seguintes


proposições:

(i) Se (2 + 5)3 = 57, então 4 + 4 = 0.



(ii) Se 19 é um número primo se, e somente se, 2 é um número racional.

(iii) 31 ≥ 13 → 53 = 125.

(iv) A UFABC é uma Universidade Municipal ↔ a expressão n2 − 20n é


sempre um número real negativo, para todo inteiro positivo n ≥ 21.

Questão 3. Construir as tabelas-verdade das seguintes proposições:

(i) (p ↔ ¬q) → ¬p ∧ q.

(ii) (p → q) ∧ p ↔ ¬(p ∨ q).

Questão 4. A partir das tabelas-verdade, abaixo, construa a negação das


proposições: conjunção, disjunção, condicional e bicondicional. Considere
as proposições das terceiras colunas das tabelas apresentadas. Conclua que
elas representam proposições equivalentes as das negações.

p q p∧q ¬(p ∧ q) (¬p) ∨ (¬q)


V V
V F
F V
F F

1
p q p∨q ¬(p ∨ q) (¬p) ∧ (¬q)
V V
V F
F V
F F

p q p→q ¬(p → q) p ∧ (¬q)


V V
V F
F V
F F
 
p q p↔q ¬(p ↔ q) (¬p) ∧ q ∨ p ∧ (¬q)
V V
V F
F V
F F

Questão 5. Determinar os conjunto verdades Vp em R de cada uma das


sentenças abertas, abaixo:

(i) 2x > 1.

(ii) ¬(2x > 1).

(iii) x−3 é um número real real negativo.

(iv) ¬(x − 3 é um número real real negativo).

(v) 2x > 1 e x−3 é um número real real negativo.

(vi) ¬(2x > 1 e x−3 é um número real real negativo).

(vii) 2x > 1 ou x−3 é um número real real negativo.

(viii) ¬(2x > 1 ou x−3 é um número real real negativo).

(ix) Se 2x > 1, então x−3 é um número real real negativo.

(x) ¬ (Se 2x > 1, então x−3 é um número real real negativo).

(xi) 2x > 1 se, e somente se, x−3 é um número real real negativo.

2
(xii) ¬ (2x > 1 se, e somente se, x−3 é um número real real negativo).

Questão 6. Determinar os valores lógicos de cada uma das proposições,


abaixo:

(i) (∀x ∈ R) (x + 1 > x).


(ii) (∀x ∈ R) |x| = x.
(iii) (∃x ∈ R) (x2 = 2x).
(iv) (∃x ∈ R) (x + 5 = x).
(v) (∀x ∈ R) (x + 1 > x) e (∃x ∈ R) (x2 = 2x).
(vi) (∀x ∈ R) |x| = x ou (∃x ∈ R) (x2 = 2x).
(vii) Se (∃x ∈ R) (x + 5 = x), então (∀x ∈ R) |x| = x.
(viii) (∀x ∈ R) |x| = x se, e somente se, (∀x ∈ R) (x + 1 > x).
Questão 7. Dar a negação de cada uma das proposições, abaixo:

(i) (∀x ∈ R) (x + 1 > x).


(ii) (∀x ∈ R) |x| = x.
(iii) (∃x ∈ R) (x2 = 2x).
(iv) (∃x ∈ R) (x + 5 = x).
(v) (∀x ∈ R) (x + 1 > x) e (∃x ∈ R) (x2 = 2x).
(vi) (∀x ∈ R) |x| = x ou (∃x ∈ R) (x2 = 2x).
(vii) Se (∃x ∈ R) (x + 5 = x), então (∀x ∈ R) |x| = x.
(viii) (∀x ∈ R) |x| = x se, e somente se, (∀x ∈ R) (x + 1 > x).
Questão 8. Prove as seguintes implicações lógicas:

(i) (p ∨ q) ∧ ¬p ⇒ q, denominada Regra Silogismo Disjuntivo.

(ii) (p → q) ∧ p ⇒ q, denominada Regra Modus Ponens.

(iii) (p → q) ∧ ¬q ⇒ ¬p, denominada Regra Modus Tollens.