Modus ponens
MODUS PONENS
A "modus" szó logikában az érvelés általános formáját jelenti. A "modus ponens" a középkori logika kifejezés, amely egy bizonyos következtetési szabályt és a megfelelő logikai törvényt jelöl.
Az elvonás szabálya a modus ponens, amelyet általában elkülönítési szabálynak vagy hipotetikus szilogizmusnak neveznek. lehetővé teszi a feltételes nyilatkozat és annak alapjául szolgáló nyilatkozat (antecedent) nyilatkozatát a (következmény) következményének kijelentésére
Itt "ha A. majd B" és "A" a helyiségek, "B" a következtetés; a vízszintes vonal a "következésképpen" szó helyett áll. Egy másik bejegyzés:
Ennek a szabálynak köszönhetően, az "A" és "B" feltételektől az "A" parcellán keresztül "B" különálló következtetésnek számítunk. Például:
Ha egy személy az influenzával rendelkezik, beteg.
Az a személy rendelkezik az influenzával.
Ezt a szabályt folyamatosan használjuk érvelésünkben. Első alkalommal Arisztotelész diákja, Theophrastus a III. Században megfogalmazta, amennyire meg lehet ítélni. BC
Az elválasztási szabálynak megfelelő logikai törvény a következőképpen fogalmaz:
Ha igaz az, hogy ha A, akkor B. és A. igaz B. Például: „Ha az eső a fű gyorsabban növekszik, és az eső, a fű gyorsabban növekszik.”
Az érvelés szerint a szabály modus viselte fut az alapja az igazi állítások feltételes állítások jóváhagyására, annak következményeit. Ez logikailag helyes mozgás a gondolat néha zavaros egy hasonló, de logikailag hibás lépés a következménye, hogy a valódi feltételes állítás, hogy az alapító nyilatkozatot.
Például a helyes következtetés:
Ha a bizmut fém, áramot vezet.
A bizmut elektromos áramot vezet.
De egy látszólag hasonló következtetés:
Ha a bizmut fém, áramot vezet.
A bizmut elektromos áramot vezet.
logikusan helytelen. Az utolsó rendszer szerint vitatkozva hamis következtetést lehet levonni az igazi helyiségekből. Például:
Ha egy személy bélyegeket gyűjt, gyűjtő.
Az ember bélyegeket gyűjt.
Nem minden gyűjtő gyűjti össze a védjegyeket; attól a ténytől, hogy egy személy egy gyűjtő, nem lehet arra következtetni, hogy csak bélyegeket gyűjt. A helyiség igazsága nem garantálja a következtetés igazságát.
Ellen keverési szabályt modus ponens az említett szabálytalan áramköri figyelmeztet: az alapvonaltól, hogy erősítse meg az érvényesítési vizsgálatot lehet következtetni, a visszaigazolást a vizsgálat, hogy érvényesítse a bázis - nincs.