8/17/2019 Aula 4 - Lógica Aplicada a Computação
1/36
Aula 4 – Tautologias,
Contradições e Contingências
8/17/2019 Aula 4 - Lógica Aplicada a Computação
2/36
Toda proposição composta cuja última colunada sua tabela-verdade possua apenas a letraV(verdade)Em outras palavras, trata-se de umaproposição P(p, q, r...) cujo valor lógico final ésempre V (verdadeiro)
2
8/17/2019 Aula 4 - Lógica Aplicada a Computação
3/36
Proposições tautológicasProposições logicamente verdadeiras
3
8/17/2019 Aula 4 - Lógica Aplicada a Computação
4/36
Princípio de identidade para as proposições
p → p
p ↔ pSão tautológicas
8/17/2019 Aula 4 - Lógica Aplicada a Computação
5/36
I. Proposição “~ (p ^ ~ p)” princípio da nãocontradição) é tautológica
p ~ p ^ ~ p)V V V F F VF V F F V F
p ~p p ̂ ~ p) ~ p ̂ ~ p)
V F F VF V F V
ou
8/17/2019 Aula 4 - Lógica Aplicada a Computação
6/36
II. Proposição “p v ~ p” princípio do terceiroexcluído) é tautológica
p p v ~ pV V V F VF F V V F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
7/36
III. Proposição “p v ~ (p ^ q)” é tautológica
p q p v ~ p ^ q)
8/17/2019 Aula 4 - Lógica Aplicada a Computação
8/36
III. Proposição “p v ~ (p ^ q)” é tautológica
p q p v ~ p ^ q)V V V V F V V VV F V V V V F FF V F V V F F V
F F F V V F F F1 4 3 1 2 1
8/17/2019 Aula 4 - Lógica Aplicada a Computação
9/36
IV. Proposição “p ^ q → (p ↔ q)” é tautológica
p q
8/17/2019 Aula 4 - Lógica Aplicada a Computação
10/36
8/17/2019 Aula 4 - Lógica Aplicada a Computação
11/36
V. Proposição “p v (q ^ ~q) ↔ p ” é tautológica
p q
V VV FF VF F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
12/36
V. Proposição “p v (q ^ ~q) ↔ p ” é tautológica
p q p v q ^ ~q) ↔ p
V V V V V F F V VV F V V F F V V VF V F F V F F V FF F F F F F V V F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
13/36
VI. Proposição “p ^ r → ~q v r” é tautológica
p q r
8/17/2019 Aula 4 - Lógica Aplicada a Computação
14/36
VI. Proposição “p ^ r → ~q v r” é tautológica
p q r p ^ r → ~q v rV V V VV V V F V V
V V F VF F V F F FV F V VV V V V V VV F F VF F V V V FF V V F F V V F V V
F V F F F F V F F FF F V F F V V V V VF F F F F F V V V F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
15/36
VII. Proposição “((p→q)→r) →(p→(q →r))” étautológica
p q r
8/17/2019 Aula 4 - Lógica Aplicada a Computação
16/36
VII. Proposição “((p→q)→r) →(p→(q →r))” étautológica
p q r p → q) → r) → p → q → r))
V V V V V V V VV V V V V VV V F V V V F FV V F V F FV F V V F F V VV V V F V VV F F V F F V F V V V F V F
F V V F V V V VV F V V V VF V F F V V F F V F V V F FF F V F V F V VV F V F V VF F F F V F F F V F V F V F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
17/36
Toda proposição composta cuja última colunada sua tabela-verdade possua apenas a letraF (falsidade)Em outras palavras, trata-se de umaproposição P(p, q, r...) cujo valor lógico final ésempre F (falsidade) independente dosvalores lógicos das suas proposiçõescomponentes
17
8/17/2019 Aula 4 - Lógica Aplicada a Computação
18/36
Uma tautologia sempre apresenta comovalores lógicos finais valores verdadeiros , anegação de uma tautologia resulta sempreem valores falsos, isto é, uma contradição
P(p, q, r,...) é uma tautologia se e somente se~P(p, q, r,...) é uma contradição
18
8/17/2019 Aula 4 - Lógica Aplicada a Computação
19/36
Proposições contraválidasProposições logicamente falsas
8/17/2019 Aula 4 - Lógica Aplicada a Computação
20/36
I. Proposição “p ^ ~ p” é uma contradição
p p ^ ~ p)
V V F F VF F F V F
p ~p p ̂ ~ p)V F FF V F
ou
8/17/2019 Aula 4 - Lógica Aplicada a Computação
21/36
II. Proposição “p ↔ ~ p” é uma contradição
p p ↔ ~ p
V V F F VF F F V F
p ~p p ↔ ~ p)V F FF V F
ou
8/17/2019 Aula 4 - Lógica Aplicada a Computação
22/36
III. Proposição “(p ^ q) ^ ~ (p v q)” é contradição
p q
8/17/2019 Aula 4 - Lógica Aplicada a Computação
23/36
III. Proposição “(p ^ q) ^ ~ (p v q)” é contradição
p q p ̂ q) p v q) ~ p v q) p ̂ q) ̂ ~ p v q)
V V V V F FV F F V F FF V F V F FF F F F V F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
24/36
IV. Proposição “~p ^ (p ^ ~q) é uma contradição
p q
8/17/2019 Aula 4 - Lógica Aplicada a Computação
25/36
8/17/2019 Aula 4 - Lógica Aplicada a Computação
26/36
Toda proposição composta cuja última colunada sua tabela-verdade possua as letras V(verdadeiro) e F (falsidade) pelo menos umavez para cada uma delasEm outras palavras, trata-se de umaproposição que não seja uma tautologia , nemuma contradição
26
8/17/2019 Aula 4 - Lógica Aplicada a Computação
27/36
Proposições contingentesProposições indeterminadas
27
8/17/2019 Aula 4 - Lógica Aplicada a Computação
28/36
I. Proposição “p → ¬p” é uma contradição
p p → ¬ p
V V F F VF F V V F
p ¬p p → ¬p
V F FF V V
ou
8/17/2019 Aula 4 - Lógica Aplicada a Computação
29/36
II. Proposição “p v q → p” é uma contradição
p qV VV FF V
F F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
30/36
II. Proposição “p v q → p” é uma contradição
p q p v q → pV V V V V V VV F V V F V VF V F V V F F
F F F F F V F
8/17/2019 Aula 4 - Lógica Aplicada a Computação
31/36
III. Proposição “x=3 ^ (x≠y→x≠3)” é umacontingência
x=3 x=y x=3 ^ x≠y → x≠3)
V V V V F V FV F V F V F FF V F F F V VF F F F V V V
8/17/2019 Aula 4 - Lógica Aplicada a Computação
32/36
a) (p→p) v (p→¬p)b) (p↔p ^ ¬p)↔¬pc) (p→q) ^ p→q)d) p v (q v ¬p)e) (p→q)^¬q→¬pf) (p v q) ^¬p→q
g) p↔p ^ (p v q)h) ¬(p v ¬p) v (q v ¬q)i) ¬(p ^¬p) v (q→¬q)
j) p v (p ^ q)↔pk) ¬(p v q) →(p↔q)l) (p↔q)^p→ q
Mostrar que as proposições a seguir sãotautológicas:
8/17/2019 Aula 4 - Lógica Aplicada a Computação
33/36
Qual das proposições seguintes sãocontradições?a) (p→q)→(p ^ r→q)b) ¬(p v (p ^ q) ↔ p)c) p→(p →q ^ ¬q)d) p→(p v q) v re) ((p→q ↔ q ) →pf) ¬p v ¬ q→ (p→q)
8/17/2019 Aula 4 - Lógica Aplicada a Computação
34/36
Qual das proposições seguintes sãocontingentes?a) (p→q ) ^ qb) (p v q)c) q ^ ( q→r )d) (p→q ) ^ (q v p)
e) (p→q ) ^ ~q
f) ~(p ^ q) v ~(q ↔ p)g) ~r v ~(s →t)h) (p ^ q) v (r ↔ p)
i) (r ^ s) ^ ~(q ↔ p) j) (r ^ s) → ~(q ↔ p)
k) p → (q ↔ ~q)l) ~(q ↔ p)
m) (p ^ p) v (q ↔ r)
n) (~q v ~(r → s)) v po) ~r v ~(s →t)p) ~r ↔ ~(s →t)q) ~r v (s↔ ~(t → s)) v ( r^t)
8/17/2019 Aula 4 - Lógica Aplicada a Computação
35/36
Sempre que uma proposição P(p,q,r,...) forverdadeira ela implica em outra proposiçãoQ(p,q,r,...), se Q(p,q,r,...) for verdadeira (V)Com outras palavras, uma proposição P
implica uma proposição Q sempre que nasrespectivas tabelas-verdade dessas duasproposições não aparece V e F na mesmalinha da última coluna
SÍMBOLO:⇒
8/17/2019 Aula 4 - Lógica Aplicada a Computação
36/36
Top Related