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

∙ ∶ ⫶ علامات استبدال الأقواس (في الجبر). ع، ف، ص،... علامات الحكم (جملة). أ، ب، ج،... علامات المفهوم (الفصول). x، y، z،... علامات الفرد. Ɔ علامة التضمين (الآثار المترتبة على الجمل والتضمين للفصول الدراسية). ∩ علامة الضرب المنطقي أو التوافق. ∪ علامة الإضافة المنطقية أو الاستبدال. ɜ هي علامة عامل تحدد مراسلات الفصل مع جملة معينة. ɛ علامة المشغل تثبت انتماء الفرد إلى فئة (ἐστι). ι علامة فئة الوحدة. علامة فرد ينتمي إلى فئة الوحدة. ≡ علامة الهوية الرقمية. Ǝ علامة على الوجود الحقيقي. R هي علامة علاقة ثنائية (بين مصطلحين). 'R هي علامة العلاقة العكسية R. علامة الضرب النسبي للعلاقات. علامة الضرب المنطقي للعلاقات. φx. ψx، … علامات دالة منطقية. "إذا كان التضمين pƆ q صحيحًا وإذا كانت الفرضية p صحيحة، فإن الفرضية q صحيحة أيضًا، ويمكن التأكيد عليها بشكل منفصل" (VIII). (مبدأ الخصم). "في الصيغة العامة، يمكنك دائمًا استبدال مصطلح معين أو فردي بدلاً من مصطلح عام أو غير محدد" (IX). (مبدأ الاستبدال). الصيغتان (XIV) و (XV) معًا تحددان "السلبية"، لذا يمكننا أن نكتب: