Vi arbejder på at gendanne Unionpedia-appen i Google Play Store
UdgåendeIndgående
🌟Vi har forenklet vores design for bedre navigation!
Instagram Facebook X LinkedIn

Modus ponens

Indeks Modus ponens

Modus ponens er navnet på en syllogisme indenfor klassisk logik.

Indholdsfortegnelse

  1. 3 relationer: Logik, Modus tollens, Syllogisme.

Logik

Den græske tænker og filosof Aristoteles anses som faderen til den klassiske logik. Logik (fra græsk λόγος, logos.

Se Modus ponens og Logik

Modus tollens

Modus tollens er en gyldig syllogisme (argumentationsform): I naturligt sprog: I formel logik (sætningslogik): ("p medfører/så q, ikke-q, ergo ikke-p") I mængdelære: ("P er en delmængde af Q. x er ikke i Q. Derfor, er x ikke i P.").

Se Modus ponens og Modus tollens

Syllogisme

Syllogisme som mængdelære: M er en del af A. B er en del af M. Derfor er B en del af A Syllogisme (af græsk: syllogismos - sammenregning) er en logisk slutning, som består af to præmisser og en konklusion, som alle er kategoriske udsagn, f.eks..

Se Modus ponens og Syllogisme