Conclusio

Die Conclusio (lat. conclusio: "Schlussfolgerung") eigentlich: Schluss, Schlussfolgerung, auch Konklusion genannt - bezeichnet in der traditionellen Logik eine Aussage, die durch logisches Schließen aus einer Prämisse (oder aus mehreren Prämissen) gewonnen wird.

In der modernen Logik ist es außerdem üblich, eine solche Aussage oder Aussagenverbindung als Conclusio zu bezeichnen, die in einer Implikation unmittelbar hinter dem Implikationszeichen steht.

So ist in der Implikation $p\to q$ das q die Conclusio.

In der Implikation

          $p\to (q\to (r\to s))$

fungieren als Conclusio

            $q\to (q\to s);r\to s;s$

Siehe auch: Logik, Implikation