ESTRUTURAS LÓGICAS
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Uma proposição é uma tautologia quando o seu valor lógico é sempre verdade
(V), quaisquer que sejam os valores lógicos das proposições componentes.
TAUTOLOGIA
Prof. Brunno Lima
Casos particulares de Tautologia:
• P (~P)
• P→P
• PP
• P (~P)
TAUTOLOGIA
Prof. Brunno Lima
Exemplo:
𝑨∧𝑩∧𝑪 𝑫 ∨ ~𝑬 ∨ ~ ∼ 𝑬 ∨ 𝑫 𝑨∧𝑩∧𝑪
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
Verifique se a proposição [A ∧ (A → B)] → B é uma tautologia.
[A ∧ (A → B)] → B
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA E A TÉCNICA DO
ABSURDO
Prof. Brunno Lima
ABSURDO OU NÃO? EIS A QUESTÃO!
Verifique se a proposição [A ∧ (A → B)] ⟶ B é uma tautologia.
[A ∧ (A → B)] ⟶ B
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
ABSURDO OU NÃO? EIS A QUESTÃO!
Verifique se a proposição 𝑃 → (𝑃 ∨ 𝑄) é uma tautologia.
𝑃 → (𝑃 ∨ 𝑄)
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
ABSURDO OU NÃO? EIS A QUESTÃO!
Verifique se a proposição (𝑝 ∧ 𝑞) → 𝑞 é uma tautologia.
(𝑝 ∧ 𝑞) → 𝑞
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA E A TÉCNICA DO
ABSURDO
Prof. Brunno Lima
ABSURDO OU NÃO? EIS A QUESTÃO!
Verifique se a proposição 𝑝 ∨ 𝑞 → 𝑞 é uma tautologia.
𝑝∨𝑞 →𝑞
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
ABSURDO OU NÃO? EIS A QUESTÃO!
Verifique se a proposição ¬ 𝑥 → 𝑦 ∧ 𝑦 é uma tautologia.
¬ 𝑥→𝑦 ∧𝑦
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
ABSURDO OU NÃO? EIS A QUESTÃO!
Verifique se a proposição [P ∧ Q] ∨ [(¬Q) ⟶ P] é uma tautologia.
[P ∧ Q] ∨ [(¬Q) ⟶ P]
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
ABSURDO OU NÃO? EIS A QUESTÃO!
Verifique se a proposição 𝑥 ∧ 𝑥 → 𝑦 → 𝑦 é uma tautologia.
𝑥∧ 𝑥→𝑦 →𝑦
TAUTOLOGIA
Prof. Brunno Lima
TAUTOLOGIA
Prof. Brunno Lima
CONTRADIÇÃO
Prof. Brunno Lima
CONTRADIÇÃO:
Uma proposição é uma contradição quando o seu valor lógico é sempre falso (F),
quaisquer que sejam os valores lógicos das proposições componentes.
CONTRADIÇÃO
Prof. Brunno Lima
CASOS PARTICULARES DE CONTRADIÇÃO:
• P ∧ (~P)
• P (~P)
• PP
CONTRADIÇÃO
Prof. Brunno Lima
EXEMPLOS:
𝑨 ∧ 𝑩 ∧ 𝑪 ∧ 𝑫 ∧ 𝑬 ∧ ¬ (𝑨 ∧ 𝑩 ∧ 𝑪 ∧ 𝑫 ∧ 𝑬)
CONTRADIÇÃO
Prof. Brunno Lima
CONTRADIÇÃO
Prof. Brunno Lima
EXEMPLOS:
𝑷 → 𝑸 ∨ 𝑹 ⟷ 𝑺 ∧ 𝑻 ∧ ~𝑻
CONTRADIÇÃO
Prof. Brunno Lima
CONTRADIÇÃO
Prof. Brunno Lima
Verifique se a proposição ~(p ∨ q) ∧ (p ∧ q) é uma contradição.
~(p ∨ q) ∧ (p ∧ q)
CONTRADIÇÃO
Prof. Brunno Lima
CONTRADIÇÃO
Prof. Brunno Lima
INDETERMINÇÃO OU
CONTINGÊNCIA
Prof. Brunno Lima
INDETERMINAÇÃO OU CONTINGÊNCIA:
Uma proposição é uma indeterminação (ou uma contingência) quando não é uma
tautologia ou uma contradição. Ou seja, quando o seu valor lógico se alterna de
acordo com os valores lógicos das proposições componentes.
INDETERMINAÇÃO OU CONTINGÊNCIA
Prof. Brunno Lima
CASOS PARTICULARES DE INDETERMINAÇÃO:
• P∧P
• P∨P
• P → ~P
INDETERMINAÇÃO OU CONTINGÊNCIA
Prof. Brunno Lima
EXEMPLOS:
𝑷→ 𝑸∨𝑹 →~ 𝑷⟶ 𝑹∨𝑸
INDETERMINAÇÃO OU CONTINGÊNCIA
Prof. Brunno Lima
INDETERMINAÇÃO OU CONTINGÊNCIA
Prof. Brunno Lima
EXEMPLOS:
𝑨∧𝑩∧𝑪 ∨ 𝑫 𝑬 ∧ 𝑫⟷𝑬 ∨ 𝑨∧𝑩∧𝑪
INDETERMINAÇÃO OU CONTINGÊNCIA
Prof. Brunno Lima
INDETERMINAÇÃO OU CONTINGÊNCIA
Prof. Brunno Lima
OBRIGADO
Prof. Brunno Lima