Negação da Condicional A negação da condicional é uma expressão que vem derivada de outras duas equivalências lógicas: Regra de De Morgan e Implica...

Negação da Condicional
A negação da condicional é uma expressão que vem derivada de outras duas equivalências lógicas: Regra de De Morgan e Implicação material (apresentada nos tópicos seguintes). Como a idéia não é apresentar deduções, vamos mostrar a equivalência e prova-la através da tabela-verdade:
∼ ???? → ???? = ???? ∧∼ ????
Montando a tabela-verdade:
p q ???? → ???? ~ ???? → ???? ~q ???? ∧∼ ????
V V V F F F
V F F V V V
F V V F F F
F F V F V F
Comparando a quarta e sexta colunas, podemos observar que todas as linhas possuem os mesmos valores lógicos, comprovando a equivalência desta negação.
Usando frases como exemplo, se considerarmos p = “Fiz muitos gols” e q = “Sou o artilheiro”, a negação correta de “Se fiz muitos gols então sou o artilheiro” será “Fiz muitos gols e não sou o artilheiro”