XXX. Основные знаки и простейшие формулы логистики (для справок).

∙ ∶ ⫶ σημάδια που αντικαθιστούν τις παρενθέσεις (στην άλγεβρα). p, q, r,... σημάδια κρίσης (πρόταση). α, β, γ,... εννοιολογικά σημεία (τάξεις). x, y, z,... σημάδια ενός ατόμου. Ɔ σημάδι συμπερίληψης (συνέπειες για προτάσεις και συμπερίληψη για τάξεις). ∩ σημάδι λογικού πολλαπλασιασμού ή συμβατότητας. ∪ σημάδι λογικής προσθήκης ή εναλλακτικότητας. Το ɜ είναι ένα σύμβολο τελεστή που καθορίζει την αντιστοιχία μιας κλάσης με μια συγκεκριμένη πρόταση. ɛ σύμβολο του χειριστή που διαπιστώνει ότι το άτομο ανήκει σε μια τάξη (ἐστι). ι σημάδι μιας κλάσης μονάδας. σημάδι ενός ατόμου που ανήκει σε μια κατηγορία μονάδων. ≡ αριθμητικό σύμβολο ταυτότητας. Ǝ σημάδι πραγματικής ύπαρξης. Το R είναι ένα σύμβολο δυαδικής σχέσης (μεταξύ δύο όρων). «R είναι το πρόσημο της αντίστροφης σχέσης R. σημάδι σχετικού πολλαπλασιασμού των σχέσεων. σημάδι λογικού πολλαπλασιασμού των σχέσεων. φχ. ψx, … σημάδια λογικής συνάρτησης. «Αν η συμπερίληψη p Ɔ q είναι αληθής και αν η υπόθεση p είναι αληθής, τότε η πρόταση q είναι επίσης αληθής, και μπορεί να υποστηριχθεί χωριστά» (VIII). (Αρχή της έκπτωσης). «Σε έναν γενικό τύπο, μπορείτε πάντα να αντικαταστήσετε έναν συγκεκριμένο ή μεμονωμένο όρο αντί για έναν γενικό ή αόριστο όρο» (IX). (Αρχή αντικατάστασης). Οι τύποι (XIV) και (XV) μαζί ορίζουν το "αρνητικό", οπότε μπορούμε να γράψουμε: