NEGAÇÃO DOS CONECTIVOS

LÓGICOS
 Negação da negação

A negação da negação de uma proposição é equivalente à própria proposição.

De fato, construindo a tabela-verdade verificamos tal equivalência:

p ~p ~ (~ p)

Assim, podemos escrever: ∼ (∼ p) ⇔ p.

 Negação da conjunção

A negação de uma conjunção é logicamente equivalente a uma disjunção.

Podemos comprovar este fato pela seguinte tabela-verdade:

p q p∧q ∼ (p ∧ q) ~p ~q ∼p∨∼
q

Logo, podemos escrever: ∼ (p ∧ q) ⇔∼ p∨ ∼ q.

 Negação da Disjunção

A negação de uma disjunção é logicamente equivalente a uma conjunção:

p q p∨q ∼ (p ∨ q) ~p ~q ∼p∧∼
q
V V F F
V F F V
F V V F
F F V V
Assim, podemos escrever: ∼ (p ∨ q) ⇔∼ p∧ ∼ q.
 Negação da Condicional

A negação da condicional é logicamente equivalente a uma conjunção.

p q p→q ~ (p → q) ~q p∧∼q
V V F
V F V
F V F
F F V

Portanto, podemos concluir que: ∼ (p → q) ⇔ p ∧ ∼ q

Ou seja, a negação de uma condicional é uma disjunção formada pela “partida” da

condicional e a negação de sua “chegada”.
 Negação da Bicondicional
Mostraremos através da tabela abaixo que ∼ (p ↔ q) ⇔ p ↔∼ q.
p q p↔q ~ (p ↔ q) ~q p↔∼q
V V F
V F V
F V F
F F V

Esta provado, então, que ∼ (p ↔ q) ⇔ p ↔∼ q, porém a negação da bicondicional

também pode ser escrita da forma: ∼ (p ↔ q) ⇔ ~ p ↔ q.