Escolar Documentos
Profissional Documentos
Cultura Documentos
03 de agosto de 2017
1 Introdução
1 Introdução
2 Proposição
1 Introdução
2 Proposição
1 Introdução
2 Proposição
1 Introdução
2 Proposição
5 Conectivos
Negação
Conjunção
Disjunção
Condicional
Bicondicional
Introdução
Proposição
Exemplos de porposição
(a) A Lua é um satélite da Terra.
(b) Salvador é a capital da Bahia.
√
(c) π > 2.
Contra-exemplos de porposição
(a) Pare!
(b) Quer uma xícara com chá?
(c) Que dia é hoje?
Valor Lógico
Valor Lógico
Questão
Das frases seguintes, assinale quais são proposições, atribuindo-lhes o valor
lógico correspondente.
(a) (3 + 5)2 = 32 + 52
(b) −2 < −5
(c) Que horas são?
(d) O número 17 é primo.
(e) −5, 0 e 5 são raízes da equação x 3 + 25x = 0
Proposições simples - São aquelas que não contêm nenhuma outra como
parte integrante de si mesma. São também chamadas de atômicas.
Exemplos:
p: 2 é raiz da equação 2x + 1 = 0.
1
q: é um número irracional.
2
r: O número π é racional.
Proposições compostas - Aquelas formadas pela combinação de
proposições simples. São também chamadas de moleculares.
Exemplos:
P: 3 é ímpar e 2 é par .
Q: 2 > 0 ou 3 + 1 = 5.
R: Se 4 é par então 4 é divisível por 2.
S: 3 é ímpar se e somente se 3 é primo.
Conectivos
Exemplos
Exemplos 1
p: Jorge Amado escreveu o romance Mar Morto.
q: Rui Barbosa era baiano.
Temos as seguintes traduções para a linguagem corrente:
∼p: Jorge Amado não escreveu o romance Mar Morto.
p∧ ∼q: Jorge Amado escreveu o romance Mar Morto e Rui Barbosa
não era baiano.
∼p∨q: Jorge Amado não escreveu o romance Mar Morto ou Rui
Barbosa era baiano.
Exemplos
Exemplos 2
p: 2 é um número par.
q: 6 é múltiplo de 3.
Temos as seguintes traduções para a linguagem corrente:
∼p∨q: 2 não é um número par ou 6 é múltiplo de 3.
∼q→p: se 6 não é multiplo de 3 então 2 é par.
∼p↔q: 2 não é um número par se, e somente se, 6 é multiplo de 3.
Questão
Questão
Negação
p ∼p
V F
F V
Veja o exemplo:
p : 2 + 3 = 5 V (p) = V
∼ p : 2 + 3 6= 5 V (∼ p) = F .
Conjunção
p q p∧q
V V V
V F F
F V F
F F F
Veja o exemplo:
p:2<5
q : 2+1=3
Logo, V (p ∧ q) = V .
Disjunção
p q p∨q
V V V
V F V
F V V
F F F
Veja o exemplo:
p : 2 é ímpar
q:4>0
Logo, V (p ∨ q) = V .
Condicional
p q p→q
V V V
V F F
F V V
F F V
Veja o exemplo:
p : 4 é ímpar
q : 30 é par
Logo, V (p → q) = V .
Observações
Bicondicional
p q p↔q
V V V
V F F
F V F
F F V
Veja o exemplo:
p : 3 é ímpar
q : 4 é divisível por 2
Logo, V (p ↔ q) = V .
Observações
Questão
Construção de Tabelas-Verdade
∼ (p ∨ q) ↔∼ p∧ ∼ q
Construção de Tabelas-Verdade
p q p∨q ∼ (p ∨ q) ∼p ∼q ∼ p∧ ∼ q ∼ (p ∨ q) ↔∼ p∧ ∼
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V