3.

Propriedades das Operações lógicas

3.1 Propriedades da negação
 Dupla negação: a dupla negação corresponde à afirmação: ~~𝒑 = 𝒑
Exemplo:
p: Cristina é estudante
~𝑝: Cristina não é estudante
~~𝑝: não é verdade que Cristina não é estudante, o que equivale a dizer: Cristina é estudante.
 Leis de Morgan
 Negar que duas proposições são ao mesmo tempo verdadeiras equivale a afirmar uma pelo menos
é falsa: ~(𝒑 ∧ 𝒒) = ~𝒑 ∨ ~𝒒

𝒑 𝒒 ~𝒑 ~𝒒 𝒑∧𝒒 ~ ( 𝒑 ∧ 𝒒) ~𝒑 ∨ ~𝒒
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V

 Negar que pelo menos uma de duas proposições é verdadeira equivale a afirmar que as duas são
simultaneamente falsas: ~(𝒑 ∨ 𝒒) ↔ ~𝒑 ∧ ~𝒒

𝒑 𝒒 ~𝒑 ~𝒒 𝒑∨𝒒 ~( 𝒑 ∨ 𝒒) ~𝒑 ∧ ~𝒒
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V

Exemplos:
a) Negar que Allan é estudante e é trabalhador, equivale afirmar que Allan não é estudante e/ou
não é trabalhador.
b) Negar que Pedro estuda Matemática ou física equivale a afirmar que Pedro não estuda
Matemática e não estuda Física.

Página 1 de 2
 3.2 Propriedades da implicação
 Relação da implicação com a disjunção: 𝒑 ⇒ 𝒒 ↔ ~𝒑 ∨ 𝒒

𝒑 𝒒 ~𝑃 𝑝⇒𝑞 ~𝒑 ∨ 𝒒
V V F V V
V F F F F
F V V V V
F F V V V

 Negação da Implicação: ~ (𝒑 ⇒ 𝒒) ↔ ~(~𝒑 ∨ 𝒒) ↔ 𝒑 ∧ ~𝑞. Portanto:

~ (𝒑 ⇒ 𝒒) ↔ 𝒑 ∧ ~𝒒 (i)

 Lei da Conversão: 𝒑 ⇒ 𝒒 ↔ ~𝒒 ⇒ ~𝑝
Com efeito, já vimos que𝑝 ⇒ 𝑞 ↔ ~𝑝 ∨ 𝑞. Como a disjunção é comutativa temos:
𝑝 ⇒ 𝑞 = 𝑞 ∨ ~𝑝e atendendo a condição em (i), tem-se: 𝒑 ⇒ 𝒒 ↔ ~𝒒 ⇒ ~𝑝 c.q.d.
Nesta senda, dizer que p implica q, é o mesmo que afirmar que se q é falso p também é falso.

3.3 Propriedades da equivalência material

 A equivalência material como um conjunto de implicações

𝒑 ⇔ 𝒒 ↔ (𝒑 ⇒ 𝒒) ∧ (𝒒 ⇒ 𝒑)

Assim:
p q 𝒑⇔𝒒 𝒑⇒𝒒 𝒒⇒𝒑 (𝒑 ⇒ 𝒒) ∧ (𝒒 ⇒ 𝒑)
V V V V V V
V F F F V F
F V F V F F
F F V V V V

 Negação da equivalência: ~(𝒑 ⇔ 𝒒) ↔ (𝒑 ∧ ~𝒒) ∨ (𝒒 ∧ ~𝒑)

Negar que duas proposições são equivalentes materialmente equivale dizer que a primeira é verdadeira
e a segunda é falsa ou que a segunda é verdadeira e a primeira é falsa.
Demonstração:
Vimos que: 𝒑 ⇔ 𝒒 ↔ (𝒑 ⇒ 𝒒) ∧ (𝒒 ⇒ 𝒑)e convertendo as implicações em disjunções, tem-se: 𝒑 ⇔
𝒒 ↔ (𝒑 ∧ ~𝒒) ∨ (𝒒 ∧ ~𝒑). Aplicando as leis de De Morgan, resulta:

~(𝒑 ⇔ 𝒒) ↔ (𝒑 ∧ ~𝒒) ∨ (𝒒 ∧ ~𝒑)

Página 2 de 2