Escolar Documentos
Profissional Documentos
Cultura Documentos
. Uma tautologia é uma proposição que é verdadeira, independentemente dos valores lógicos
das proposições elementares que a constituem.
. Uma contradição é uma proposição que é falsa, independentemente dos valores lógicos das
proposições elementares que a constituem.
Tabelas de verdade
Para demonstrar propriedades das operações com proposições ,
podem usar-se diferentes técnicas tais como: tabelas de verdade,
argumentos que envolvam apenas as definições das operações, ou
ainda, recorrendo a propriedades já verificadas.
Dadas as proposições p, q e r:
. propriedade comutativa:
. propriedade associativa :
. idempotência da conjunção:
. idempotência da disjunção:
Dadas as proposições p, q e r:
. Negação da implicação:
. Implicação é transitiva:
Observação:
. é a implicação recíproca
. é a implicação contrária
. é a implicação contrarrecíproca
Condições e conjuntos
3.
. Uma expressão designatória é uma expressão p(x) envolvendo uma variável x tal que,
substituindo x por um objeto a, se obtém uma designação p(a).
Dada uma condição p(x), a proposição é verdadeira quando e apenas quando se obtém
uma proposição verdadeira para pelo menos um valor de x.
Classificação de condições
Propriedades
Sejam c(x) uma condição qualquer, u(x) uma condição universal e i(x) uma
condição impossível:
Segundas Leis de De Morgan
Classificação de condições num conjunto U
∀ 𝑥, 𝑝ሺ
𝑥ሻ⇔ 𝑞 ሺ
𝑥 ሻé 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒 𝑎 ∀𝑥, (𝑝 ሺ
𝑥ሻ⇒ 𝑞ሺ
𝑥ሻ ∧ 𝑞 ሺ
𝑥 ሻ ⟹ 𝑝ሺ
𝑥 ሻ)
Exemplo:
Queremos mostrar que: ∀ 𝑥 ∈ 𝐼𝑅, 𝑥 2 > 4 ⟺ 𝑥 > 2 ∨ 𝑥 < −2, que é equivalente
mostrar que (𝑥 2 > 4 ⟹ 𝑥 > 2 ∨ 𝑥 < −2) e (𝑥 > 2 ∨ 𝑥 < −2 ⟹ 𝑥 2 > 4)
1.ª parte:
𝑥2 − 4 > 0 ⟹ ሺ
𝑥 − 2ሻሺ𝑥 + 2ሻ > 0 ⟹ ሺ𝑥 − 2 > 0 ∧ 𝑥 + 2 > 0ሻ∨ (𝑥 − 2 < 0 ∧ 𝑥 + 2 < 0)
⟹ ሺ𝑥 > 2 ∧ 𝑥 > −2 ሻ∨ ሺ
𝑥 < 2 ∧ 𝑥 < −2ሻ ⟹ 𝑥 > 2 ∨ 𝑥 < −2
2.ª parte:
Exemplo:
Exemplo:
Ou seja, ∀ 𝑥 ∈ 𝐼𝑅, 𝑥 ≥ 1 ⟹ 𝑥 2 ≥ 1
Seja 𝑥 ≥ 1,
Se 𝑥 = 1 então 𝑥 2 = 1