Логик хэмжигдэхүүн бол ҮНЭН, ХУДАЛ гэсэн үгээр илэрхийлэгддэг ухагдахуун юм. Үнэн, худлынх нь тухай зарчмын хувьд тунгаан бодож, хэзээ нэгэн цагт шийдвэр өгч болох хүррнэх өгүүлбэрийг хэллэг хэмээн нэрлэдэг. Иймээс хэллэгийн үнэний утга нь логик хэмжигдэхүүнээр илэрхийлэгддэг.
Логик тогтмол гэдэг нь ҮНЭН эсвэл ХУДАЛ
ЛОгик хувьсагч гэдэг бол энгийн хэллэгүүд болон тэдгээрийн үнэний утгыг орлож болох x, y , z гэх мэт хувьсагчуудыг ойлгоно.

Логик илэрхийлэл гэдэг бол энгийн эсвэл нийлмэл хэллэг байна. Нийлмэл хэллэг нь энгийн хэллэгүүдээс логик тусламжтай зохиогдоно. Өөрөөр хэлбэл энгийн хэллэгүүд нь атомууд харин нийлмэл хэллэгүүд нь "атомууд" дээр логик үйлдэл хэрэглэснээр үүсгэх "молекулууд" мэтээр авч үзэж болно.

    a=a-b;