Indholdsfortegnelse
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.
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..