Qual é a negação de uma proposição condicional "Se p então q"?

Resposta

A negação de p → q é p ∧ ¬q.

Exemplo: para "Se a borboleta saiu do casulo, então a águia pousou no ninho" (b → a), a negação é "b e não a", ou seja, "A borboleta saiu do casulo e a águia não pousou no ninho".