Se p e q são proposições, e o símbolo ~ denota negação, o símbolo !$ \vee !$ denota o conetivo ou, o símbolo !$ \wedge !$ denota o conetivo e, símbolo !$ \rightarrow !$ denota o conetivo condicional, então a proposição!$ (p\rightarrow \sim q) !$é equivalente à seguinte fórmula