A proposição: “Se p, então q”, denotada por “p → q”, é chamada de implicação ou afirmação condicional, onde p é chamada de hipótese e q é chamada de conclusão. Considere, por exemplo, a seguinte proposição condicional: “Se Mariana passar no concurso, então ela ganhará um presente.”. Dessa forma, p representa "Mariana passa no concurso" e q representa "Mariana ganha um presente".
A negação da sentença condicional “Se Mariana passar no concurso, então ela ganharáum presente”, é: