Modus ponens
Origem: Wikipédia, a enciclopédia livre.
Em lógica, Modus ponens (em Latim: modo de afirmar) é um dos modos dos silogismos condicionais (normalmente abreviado para MP):
- Se P, então Q.
- P.
- Portanto Q.
ou, em notação lógica:
- P → Q
- P
Q
onde o sinal "
" representa o ato de concluir Q a partir de P → Q e P. Este sinal pode ser lido como "portanto".
O argumento tem duas premissas. A primeira premissa é a condição "se - então", nomeadamente que P implica Q. A segunda premissa é que P é verdadeiro. Destas duas premissas pode ser logicamente concluído que Q tem de ser também verdadeiro.
Aqui está um exemplo:
- Se chover, então fico em casa.
- Chove.
- Então fico em casa.