A αντιανακλαστική αντιθετοαντιστροφή αντιμεταθετικότητα αντίφαση αποτίμηση άρνηση	B Boole
Γ γνωστές ταυτολογίες γλώσσα Γ γραμμική διάταξη	Δ δένδρα διάζευξη διάταξη διπλή άρνηση
E έκφραση επάρκεια συνδέσμων επαρκές επιμεριστικότητα	I ικανοποιεί ικανοποιήσιμο ικανοποιησιμότητα ισοδυναμία
K καλή διάταξη κανόνες De Morgan κανονική διαζευκτική μορφή κόμβος	M μερική διάταξη μεταβατική μονοπάτι
N νόμος απόκλεισης του τρίτου νόμος της αντιθετοαντιστροφής	Π προσεταιριστικότητα πίνακας αλήθειας
Ρ ρίζα	Σ σύζευξη συνάρτηση Boole συνδέσμους συνεπαγωγή
T ταυτολογία ταυτολογικά ισοδύναμες ταυτολογικά συνεπάγεται ταυτολογική συνεπαγωγή τιμές αλήθειας τριχοτομίας