Modus ponens: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Etiqueta: Remoção considerável de conteúdo |
m Revertidas edições por 189.12.8.192 para a última versão por JYBot, de 11h03min de 23 de julho de 2012 (UTC) |
||
Linha 1:
{{sem-fontes|Este artigo}}
Em [[lógica]], '''Modus ponens''' (em [[Latim]]: ''modo de afirmar'') é um dos modos dos [[silogismo]]s condicionais (normalmente abreviado para '''MP'''):
:Se P, então Q.
:P.
:Portanto Q.
ou, em notação lógica:
Linha 8 ⟶ 12:
onde o sinal "<math>\therefore</math>" representa o ato de concluir Q a partir de P → Q e P. Este sinal pode ser lido como "portanto".
O argumento tem duas [[premissa]]s. 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:
| |||