Escolar Documentos
Profissional Documentos
Cultura Documentos
Uma proposição (declaração ou frase) é uma afirmação que é falsa (F ou 0) ou verdadeira (V ou 1),
sem ambiguidades.
As proposições compostas são formadas por subproposições (ou proposições elementares) e vários
conetivos.
O valor lógico de uma proposição composta fica determinado pelo valor lógico das subproposições e
Uma proposição designa-se por primitiva quando não pode ser decomposta em subproposições mais
simples.
p ∼p
V F
F V
p q p∧q
V V V
V F F
F V F
F F F
1
• a disjunção de p e q e denota-se por p ∨ q e lê-se “p ou q”. O valor lógico de p ∨ q estuda-se
p q p∨q
V V V
V F V
F V V
F F F
• Uma proposição composta P (p, q, . . .) é uma expressão construı́da a partir das variáveis
• O valor lógico de uma proposição, em geral, depende dos valores lógicos das variáveis lógicas p,
proposição que é sempre falsa, independentemente dos valores lógicos das variáveis lógicas.
• Para estudar o valor lógico de uma proposição, pode-se usar uma tabela de verdade. Na
primeira linha desta colocam-se as variáveis lógicas e as sucessivas proposições compostas que
• Cada variável lógica pode tomar um de dois valores distintos: ou Verdadeiro ou Falso. A tabela
de verdade de uma proposição que dependa de n variáveis lógicas terá, para além da linha das
proposições, 2n linhas.
• Usam-se parêntesis para indicar a ordem pela qual se realizam as operações lógicas. Por con-
venção têm-se as seguintes prioridades: primeiro a negação; depois a conjução e a disjunção; por
Equivalência lógica
(p, q, . . .).
2
Declarações condicionais e bicondicionais
implica q” ou “se p então q”. O valor lógico de p → q estuda-se recorrendo a uma tabela de
verdade.
p q p→q
V V V
V F F
F V V
F F V
de verdade.
p q p↔q
V V V
V F F
F V F
F F V
Exercı́cios
2. Formule em linguagem corrente a negação das duas primeiras proposições do exercı́cio anterior.
3
3. Indique o valor lógico de cada proposição composta.
(a) (∼ q ∧ q) ∨ ∼ r
(b) ∼ p → r
(c) p ∧ (∼ q → r)
(d) p → (q →∼ r)
5. Construa a tabela de verdade das proposições compostas seguintes e diga, justificando, quais as
(a) ∼ (p ∧ ∼ q)
(b) p ∧ ∼ p.
(c) (p ∨ ∼ q) ↔ (∼ p ∧ q)
(d) (p ∧ q) → p
(e) (p ∧ r) → (q ∨ ∼ r)
(f) (p → q) ↔ (∼ p ∨ q)
(g) (p ∧ q) ↔ (∼ p ∨ ∼ q)
4
6. Sejam p, q e r proposições tais que p ∧ r é uma proposição verdadeira e p → q é uma proposição
(a) p ∧ q ∧ r.
(b) p ∨ (q ∧ r).
(c) (q → p) ∧ r.
B : C é culpado se A é culpado;
(a) Traduza os depoimentos de cada indivı́duo usando apenas os sı́mbolos “∼”, “∨”, “∧”, “→”
(b) Admitindo que os três depoimentos são verdadeiros, diga justificando, quem é inocente e
quem é culpado.
(c) Supondo que os três indivı́duos são inocentes, diga justificando, quem mentiu.
(a) (a ∧ ∼ b) →∼ b ≡ b →∼ (a ∧ ∼ b);
9. Sabendo que p e q são proposições, verifique através de tabelas de verdade, que as seguintes
(a) ∼ (q → p) ↔∼ p ∧ q.
(b) (p → (q ∧ p)) ↔ q ∨ ∼ p.
(c) p ∨ ∼ (p ∧ q).
5
10. Recorrendo apenas à proposição p e aos conetivos lógicos ∧, ∨ e ∼, apresente uma proposição
nenhuma delas.
∼ p ∨ q.
Soluções:
q ∧ ∼ p.
(b) p ∨ q.
(c) p → ∼ q.
4. (a) Verdadeiro.
(b) Verdadeiro.
(c) Falso.
(d) Verdadeiro.
6
5. (a)
p q ∼q p∧∼q ∼ (p ∧ ∼ q)
V V F F V
V F V V F
F V F F V
F F V F V
(b)
p ∼p p∧ ∼ p
V F F
F V F
(c)
p q ∼p ∼q p∨ ∼ q ∼p ∧q (p ∨ ∼ q) ↔ (∼ p ∧ q)
V V F F V F F
V F F V V F F
F V V F F V F
F F V V V F F
(d)
p q p ∧q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
7
(e)
p q r ∼r p ∧r q∨ ∼ r (p ∧ r) → (q ∨ ∼ r)
V V V F V V V
V F V F V F F
F V V F F V V
F F V F F F V
V V F V F V V
V F F V F V V
F V F V F V V
F F F V F V V
(f)
p q p→q ∼p ∼p ∨q (p → q) ↔ (∼ p ∨ q)
V V V F V V
V F F F F V
F V V V V V
F F V V V V
8
(g)
p q p ∧q ∼p ∼q ∼ p∨ ∼ q (p ∧ q) ↔ (∼ p ∨ ∼ q)
V V V F F F F
V F F F V V F
F V F V F V F
F F F V V V F
São tautologias as proposições (d) e (f) porque tomam sempre o valor de verdade e são
contradições as proposições (b), (c) e (g) porque tomam sempre o valor falso.
6. (a) Falso.
(b) Verdadeiro.
(c) Verdadeiro.
B: Culp(A) → Culp(C).
8. (a)
a b ∼b a∧∼b (a ∧ ∼ b) →∼ b ∼ (a ∧ ∼ b) b →∼ (a ∧ ∼ b)
V V F F V V V
V F V V V F V
F V F F V V V
F F V F V V V
(É tautologia.)
9
(b)
V V F F V V V F F
V F F V F F F V V
F V V F V V V F F
F F V V V V V F F
9. (a) —-
(b) —-
(c) —-
10. (a) p ∨ ∼ p
(b) p ∧ ∼ p
11.
p q p↔q ∼q (p ↔ q)∨ ∼ q
V V V F V
V F F V V
F V F F F
F F V V V
12.
p q p→q ∼p ∼p ∨q
V V V F V
V F F F F
F V V V V
F F V V V
10