tabela equivalencia e negação das proposições

Prévia do material em texto

6 
FICHA DE AULA – EQUIVALÊNCIAS E NEGAÇÕES 
Equivalência da 
disjunção (exclusiva) 
𝑝 ∨ 𝑞 é equivalente a (𝑝 ∨ 𝑞) ∧ (~(𝑝 ∧ 𝑞)) 𝒑 ∨ 𝒒 ⇔ (𝒑 ∨ 𝒒) ∧ (~(𝒑 ∧ 𝒒)) 
 
 
 
 
 
 
 
 
 
 
 
 
Resumo das principais equivalências e negações 
 
DESCRIÇÃO RESUMO 
Equivalência da condicional 𝒑 → 𝒒 ⇔ ~𝒒 → ~𝒑 
Equivalência da condicional 𝒑 → 𝒒 ⇔ ~𝒑 ∨ 𝒒 
Negação da condicional ~(𝒑 → 𝒒) ⇔ 𝒑 ∧ ~𝒒 
Equivalência da disjunção 𝒑 ∨ 𝒒 ⇔ ~𝒑 → 𝒒 
Equivalência da disjunção 𝒑 ∨ 𝒒 ⇔ ~𝒒 → 𝒑 
Equivalência da disjunção 𝒑 ∨ 𝒒 ⇔ ~((~𝒑) ∧ (~𝒒)) 
Negação da conjunção ~(𝒑 ∧ 𝒒) ⇔ (~𝒑) ∨ (~𝒒) 
Negação da disjunção ~(𝒑 ∨ 𝒒) ⇔ (~𝒑) ∧ (~𝒒) 
Negação da conjunção ~(𝒑 ∧ 𝒒) ⇔ 𝒑 → ~𝒒 
Negação da conjunção ~(𝒑 ∧ 𝒒) ⇔ 𝒒 → ~𝒑 
Equivalência da bicondicional 𝒑 ↔ 𝒒 ⇔ (𝒑 → 𝒒) ∧ (𝒒 → 𝒑) 
Equivalência da bicondicional 𝒑 ↔ 𝒒 ⇔ (𝒑 ∧ 𝒒) ∨ (~𝒑 ∧ ~𝒒) 
Negação da bicondicional ~(𝒑 ↔ 𝒒) ⇔ 𝒑 ∨ 𝒒 
Negação da disjunção exclusiva ~(𝒑 ∨ 𝒒) ⇔ 𝒑 ↔ 𝒒 
Equivalência da disjunção (exclusiva) 𝒑 ∨ 𝒒 ⇔ (𝒑 ∨ 𝒒) ∧ (~(𝒑 ∧ 𝒒)) 
Negação de “Todo a é b” “Algum a não é b” 
Negação de “Nenhum a é b” “Algum a é b” 
Negação de “Algum a é b” “Nenhum a é b” 
Negação de “Algum a não é b” “Todo a é b”