Логикалық шамалар: АҚИҚАТ, ЖАЛҒАН (true, false) сөздерімен айтылатын ұғымдар. Демек, пікірлердің ақиқаттылығы логикалық шамалар арқылы айтылады.
Логикалық константа: АҚИҚАТ немесе ЖАЛҒАН.
Логикалық айнымалы: символдармен белгіленген логикалық шама. Демек, егер А, В, Х, Ү және басқа – айнымалы логикалық шамалар екені белгілі болса, онда олар тек қана АҚИҚАТ немесе ЖАЛҒАН мәндерін қабылдай алады.
Логикалық өрнек — ол, жай немесе күрделі пікір. Күрделі пікір, логикалық амалдардың (байламдардың) көмегімен жай пікірлерден құрылады.