Revisão das 09h58min de 12 de setembro de 2007 editar Arthur Buchsbaum (discussão \| contribs) 637 edições ← Ver a alteração anterior		Revisão das 09h59min de 12 de setembro de 2007 editar desfazer Arthur Buchsbaum (discussão \| contribs) 637 edições Ver a alteração posterior →
Linha 3: :Se P, então Q. :P. :Então, Q. ou, em notação lógica: Linha 9: :P :<math>\therefore</math> Q onde <math>\therefore\,</math> representa a [[asserção lógica]]. O argumento tem duas [[premissa\|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.

Modus ponens: diferenças entre revisões