Διακριτικός Κανόνας
Ο διακριτικός κανόνας είναι ένας κανόνας στη λογική που αναφέρεται στην αποδεικτική αξία ενός συλλογικού διαπιστώματος. Σύμφωνα με τον διακριτικό κανόνα, αν οι προτάσεις ενός διαπιστώματος είναι αντιφατικές, τότε το διαπίστωμα συνήθως απορρίπτεται.
Ένα απλό παράδειγμα του διακριτικού κανόνα είναι:
- Πρόταση 1: Όλοι οι άνθρωποι είναι θνητοί.
- Πρόταση 2: Ο Σωκράτης είναι αθάνατος.
Με βάση τις δύο αντιφατικές προτάσεις παραπάνω, μπορούμε να συμπεράνουμε ότι ο Σωκράτης δεν είναι άνθρωπος, διότι αν ήταν άνθρωπος θα έπρεπε να είναι θνητός σύμφωνα με την Πρόταση 1.
Για περισσότερες πληροφορίες σχετικά με τον διακριτικό κανόνα, μπορείτε να επισκεφτείτε τη σελίδα του στη Βικιπαίδεια εδώ.