Texto associado.
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".
Considere as seguintes proposições.
I- “Se não p, então não q”, (~p → ~q):
II- “Se não q, então não p”, (~q → ~p):
III- “Não p ou q”, (~p ∨ q):
São proposições equivalentes à proposição condicional “Se p, então q”, (p → q):
- ✂️
- ✂️
- ✂️
- ✂️