Qual a diferença de equivalência e negação?

Dizemos que duas proposições “p” e “q” são equivalentes se os resultados de suas tabelas-verdade são idênticos (ou seja, as colunas com os valores de p e q são iguais). Para dizer que “p” e “q” são equivalentes, escrevemos “p = q”. Um exemplo simples está na dupla negação, ~(~p), equivalente a p.

Como negar uma proposição Bicondicional?

Para negar a bicondicional, teremos na verdade que negar a sua conjunção equivalente. E para negar uma conjunção, já sabemos, nega-se as duas partes e troca-se o E por OU. Fica para casa a demonstração da negação da bicondicional.