Fandom

Teonis Wiki

Modus ponens

976pages on
this wiki
Add New Page
Talk0 Share

Em lógica proposicional, modus ponens (ou modus ponendo ponens, latin para "o caminho que afirma afirmando"[1]) é uma forma válida de silogismo e também uma regra de inferência que pode ser resumido da seguinte maneira:

  1. Se P, então Q.
  2. P.
  3. Logo, Q.

Em notação lógica:

\frac{P \to Q,\; P}{\therefore Q}

Referências

  1. Stone, Jon R.. Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language (em <Língua não reconhecida>). London, UK: Routledge, 1996. p. 60. ISBN.
Mais sobre este artigo:
Filme logo1 Vídeos selecionados
Saiba mais sobre Modus ponens:
Wikipedia-logo Wikipedia anglófona e lusófona


Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.