Тооцуулагч нь тодорхойлолтын хувьсагчийн тоон үзүүлэлтийг тодорхойлоход хэрэглэгддэг Энэ нь томьёог агуулсан бөгөөд үнэн утга нь зарим хувьсагчийн утгаас хамаарч болох хэллэгийн төрөл юм. Энэ нь мөн бүх боломжит утгуудын хувьд эсвэл ярианы орчлон дахь зарим үнэ цэнэ(үүд)-ийн хувьд предикат үнэн эсвэл үгүй гэдгийг харуулж байна. …
Математикийн хэмжигч гэж юу вэ?
Тоон тоологч нь тухайн өгүүлбэрт хамаарах объектын тоог харуулсан илэрхийлэл юм уу хэллэг юм. Математик логикт хоёр хэмжигч байдаг: оршихуйн болон бүх нийтийн хэмжигдэхүүн … ' Бүх нийтийн хэмжигдэхүүнийг илтгэх мэдэгдлийн зарим үг, хэллэгүүд нь 'бүр, ' ' ' үргэлж ' эсвэл ' тус бүр байна.
Хэмжигчийг жишээгээр тайлбарлах нь юу вэ?
Логикийн хувьд хэмжигдэхүүн нь илтгэлийн домайн дахь хэдэн хувь хүн нээлттэй томьёог хангаж байгааг тодорхойлдог оператор юм. Жишээлбэл, эхний эрэмбийн томъёоны бүх нийтийн хэмжигч нь домэйн дээрх бүх зүйл.-р тэмдэглэгдсэн шинж чанарыг хангаж байгааг илэрхийлдэг.
Жишээтэй предикат ба тоологч гэж юу вэ?
Universal Quantifier
∀xP(x) нь x-ийн утга бүрийн хувьд P(x) үнэн гэж уншина. Жишээ − "Хүн бол мөнх бус" гэдэг нь ∀xP(x) гэсэн саналын хэлбэрт хувирч болох бөгөөд P(x) нь х нь мөнх бус, харин ярианы орчлон бол бүх хүмүүс гэдгийг илэрхийлдэг предикат юм.
Хэмжигч гэж юу гэсэн үг вэ?
Тоон тоологч нь объектийн тоо хэмжээг илэрхийлэх нэр үгийн өмнө явдаг үг; жишээлбэл, бага зэрэг сүү. … (Би “бага зэрэг сүү” гэж хэлж байгаа нь ойлгомжтой.) Их хэмжээний (их, их, олон), бага хэмжээ (бага зэрэг, бага зэрэг, цөөн) болон тодорхойлогдоогүй (зарим, ямар ч) хэмжээг тодорхойлох хэмжигчүүд байдаг..
