„(1. Prämisse) Alle Menschen sind sterblich. (2. Prämisse) Sokrates ist ein Mensch. =>(Konklusion) Sokrates ist sterblich.“ ist eine logische ''Demonstration.''
[[Verfahren]], um etwas im Sinne der [[Logik]] zu beweisen