///
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):
| p | q | p → q |
|---|---|---|
| V | V | |
| V | F | |
| F | V | |
| F | F |
Preenchendo a tabela, de cima para baixo, obtêm-se para a terceira coluna os seguintes valores lógicos: