Λογική Συμπερασματολογία Οδηγοί
Μοτίβα έγκυρης συλλογιστικής συμπεριλαμβανομένων συλλογισμών και προτασιακής λογικής Επίλυση λογικών παζλ βασισμένων σε περιορισμούς συμπεριλαμβανομένων διατάξεων θέσεων, αναθέσεων ομάδων και σειρών κατάταξης
Συλλογισμός Barbara
Ο πιο θεμελιώδης έγκυρος συλλογισμός: Όλα τα Α είναι Β, Όλα τα Β είναι Γ, επομένως Όλα τα Α είναι Γ.
Δείτε τους Οδηγούς →Συλλογισμός Celarent
Ένας έγκυρος συλλογισμός με αρνητικό συμπέρασμα: Κανένα Α δεν είναι Β, Όλα τα Γ είναι Α, επομένως Κανένα Γ δεν είναι Β.
Δείτε τους Οδηγούς →Συλλογισμός Darii
Ένας έγκυρος συλλογισμός με μερικό συμπέρασμα: Όλα τα Α είναι Β, Μερικά Γ είναι Α, επομένως Μερικά Γ είναι Β.
Δείτε τους Οδηγούς →Συλλογισμός Ferio
Ένας έγκυρος συλλογισμός: Κανένα Α δεν είναι Β, Μερικά Γ είναι Α, επομένως Μερικά Γ δεν είναι Β.
Δείτε τους Οδηγούς →Modus Ponens
Ο 'τρόπος επιβεβαίωσης': Αν Ρ τότε Q, το Ρ ισχύει, επομένως το Q ισχύει.
Δείτε τους Οδηγούς →Modus Tollens
Ο 'τρόπος άρνησης': Αν Ρ τότε Q, το Q δεν ισχύει, επομένως το Ρ δεν ισχύει.
Δείτε τους Οδηγούς →Υποθετικός Συλλογισμός
Αλυσιδωτή συλλογιστική: Αν Α τότε Β, Αν Β τότε Γ, επομένως Αν Α τότε Γ.
Δείτε τους Οδηγούς →Διαζευκτικός Συλλογισμός
Συλλογιστική 'ή/ή': Ή Α ή Β, όχι Α, επομένως Β.
Δείτε τους Οδηγούς →Αντιθετοαντίστροφη
Λογική ισοδυναμία: 'Αν Α τότε Β' ισοδυναμεί με 'Αν όχι Β τότε όχι Α'.
Δείτε τους Οδηγούς →Μεταβατική Σχέση
Αν Α > Β και Β > Γ, τότε Α > Γ. Ισχύει για σχέσεις διάταξης.
Δείτε τους Οδηγούς →Αμφισυνθήκη
'Α αν και μόνο αν Β' σημαίνει ότι τα Α και Β είναι και τα δύο αληθή ή και τα δύο ψευδή.
Δείτε τους Οδηγούς →Διάταξη Θέσεων
Προσδιορισμός θέσεων ατόμων σε μια σειρά βάσει ενδείξεων περιορισμών όπως γειτνίαση, σχετική σειρά και σταθερές θέσεις.
Δείτε τους Οδηγούς →Ανάθεση σε Ομάδες
Ανάθεση στοιχείων ή ατόμων σε ομάδες υπό περιορισμούς ίδιας ομάδας, διαφορετικής ομάδας και σταθερής ομάδας.
Δείτε τους Οδηγούς →Σειρά Κατάταξης
Προσδιορισμός της σειράς κατάταξης στοιχείων από ενδείξεις σύγκρισης όπως υψηλότερα από, χαμηλότερα από και περιορισμοί θέσης.
Δείτε τους Οδηγούς →Ενθύμημα
Ένας συλλογισμός στον οποίο μία προκείμενη (ή ενίοτε το συμπέρασμα) παραμένει άρρητη και πρέπει να συμπληρωθεί από τον αναγνώστη.
Δείτε τους Οδηγούς →Σωρείτης (Αλυσιδωτός Συλλογισμός)
Ένας πολυσυλλογισμός όπου το συμπέρασμα κάθε συλλογισμού γίνεται προκείμενη του επόμενου, συνδέοντας πολλές προκείμενες με ένα τελικό συμπέρασμα.
Δείτε τους Οδηγούς →Πίνακας Αληθείας
Ένας πίνακας που απαριθμεί όλους τους πιθανούς συνδυασμούς τιμών αληθείας των εισερχόμενων προτάσεων και την προκύπτουσα τιμή αλήθειας μιας σύνθετης φόρμουλας.
Δείτε τους Οδηγούς →