Em lógica proposicional, o raciocínio condicional envolve a realização de inferências com base na relação "se-então" dada. Dessa forma, a negação da proposição ¬(P?Q) é equivalente a: