Considere seguintes proposições:
p: Em março há 2 feriados ou 5 domingos.
q: Em março nunca há carnaval.
A negação da condicional p → q é equivalente à afirmação:
Em março não há 2 feriados e não há 5 domingos e em março sempre há carnaval.
Em março não há 2 feriados ou não há 5 domingos e em março sempre há carnaval.
Em março há 2 feriados ou 5 domingos e em março pode haver carnaval.
Se em março não há 2 feriados e não há 5 domingos, então em março sempre há carnaval.
Se em março não há 2 feriados e não há 5 domingos, então em março pode haver carnaval.
