modus ponens

A Wikiszótárból, a nyitott szótárból

Angol

Főnév

modus ponens (tsz. modus ponenses)

  1. (matematika) A modus ponens egy latin kifejezés, mely szó szerinti fordításban annyit jelent, hogy tételező mód. Ez a legalapvetőbb következtetési séma. A modus ponens esetében az állításból és annak előtagjából arra következtetünk, hogy az utótag is helyes.
    P1: Ha dolgozom, stresszes vagyok.
    P2: Dolgozom.
    K: Stresszes vagyok.
    A séma formális jelölése : A ⊃ B, A ⇒ B