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

∙ ∶ ⫶ ფრჩხილების შემცვლელი ნიშნები (ალგებრაში). პ, ქ, რ,... განკითხვის ნიშნები (წინადადება). a, b, c,... ცნების ნიშნები (კლასები). x, y, z,... ინდივიდის ნიშნები. Ɔ ჩართვის ნიშანი (წინადადებები და კლასების ჩართვა). ∩ ლოგიკური გამრავლების ან თავსებადობის ნიშანი. ∪ ლოგიკური დამატების ან ალტერნატიულობის ნიშანი. ɜ არის ოპერატორის ნიშანი, რომელიც ადგენს კლასის შესაბამისობას გარკვეულ წინადადებასთან. ɛ ოპერატორის ნიშანი, რომელიც ადგენს ინდივიდის კლასს კუთვნილებას (ἐστι). i ერთეული კლასის ნიშანი. ინდივიდის ნიშანი, რომელიც მიეკუთვნება ერთეულ კლასს. ≡ რიცხვითი პირადობის ნიშანი. Ǝ რეალური არსებობის ნიშანი. R არის ორობითი ურთიერთობის ნიშანი (ორ ტერმინს შორის). R არის R შებრუნებული მიმართების ნიშანი. მიმართებათა ფარდობითი გამრავლების ნიშანი. ურთიერთობათა ლოგიკური გამრავლების ნიშანი. φx. ψx, … ლოგიკური ფუნქციის ნიშნები. „თუ ჩართვა p Ɔ q მართალია და თუ ჰიპოთეზა p არის ჭეშმარიტი, მაშინ წინადადება q ასევე ჭეშმარიტია და მისი მტკიცება შეიძლება ცალკე“ (VIII). (დედუქციის პრინციპი). ”ზოგად ფორმულაში ყოველთვის შეგიძლიათ შეცვალოთ კონკრეტული ან ინდივიდუალური ტერმინი ზოგადი ან განუსაზღვრელი ვადის ნაცვლად” (IX). (ჩანაცვლების პრინციპი). ფორმულები (XIV) და (XV) ერთად განსაზღვრავენ „უარყოფითს“, ასე რომ ჩვენ შეგვიძლია დავწეროთ: