In der Grundform der formalen Logik wird von zwei Prädikataussagen, den Annahmen (Prämissen [von lateinisch praemittere »vorausschicken«]), auf eine dritte Aussage geschlossen. Letztere nennt man Konklusion [von lateinisch concludere »folgern«,

(30 von 212 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?

Quellenangabe
Brockhaus, Formale Logik. http://brockhaus.de/ecs/julex/article/logik-20/formale-logik