Revisão das 09h57min de 12 de setembro de 2007 editar Arthur Buchsbaum (discussão \| contribs) 637 edições ← Ver a alteração anterior		Revisão das 09h58min de 12 de setembro de 2007 editar desfazer Arthur Buchsbaum (discussão \| contribs) 637 edições Ver a alteração posterior →
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