Λογική: Διαφορά μεταξύ των αναθεωρήσεων

Συμπέρασμα είναι η πρόταση η οποία συνδέεται απόμε ένα σύνολο προτάσεων (προκείμενων) ή αιτημάτων με '''λογική συνέπεια'''. Για παράδειγμα, αν οι προκείμενες είναι "οι άνθρωποι είναι θνητοί" και "ο Σωκράτης είναι θνητός", τότε η πρόταση "ο Σωκράτης είναι θνητός" θα είναι το συμπέρασμα, διότι συνδέεται με τις προηγούμενες με λογική συνέπεια. Αυτή η σχέση της λογικής συνέπειας είναι ίσως η πλέον θεμελιώδης έννοια στη Λογική. Το συμπέρασμα προκύπτει από άλλες προτάσεις, οπότε δεν μπορεί να συνιστά αξίωμα, όμως μπορεί να είναι προκείμενη και, μαζί και με άλλες προκείμενες, να συνδέεται με λογική συνέπεια με μια άλλη πρόταση, ή αλλιώς (εξ ορισμού) συμπέρασμα.