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«, »schließen«]. Diese Art der Aussagenverknüpfung wird als Syllogismus bezeichnet. Ein Prädikat ist in diesem Zusammenhang das, was von einem Subjekt