

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
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:
¬P∧¬Q
¬P∨¬Q
¬Q→¬P
(P→Q)∧(Q→P)
P∧¬Q