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".

Dada a tabela verdade, parcialmente preenchida, para a proposição condicional “Se p, então q”, (p → q):

Preenchendo a tabela, de cima para baixo, obtêm-se para a terceira coluna os seguintes valores lógicos: