Tayanch so’z va iboralar:
fikr – chin yoki yolg’on bo’lgan jumla;
fikriy forma – o’zgaruvchilari konkret qiymatlarni qabul qilgan fikr yoki bir nechta o’zgaruvchili jumladir;
kvantor - “Barcha’’ va “ba’zi’’ so’zlari;
mulohaza —
fikr yuritish;
matеmatik mantiq —
mulohazalar nazariyasi;
inkor — biror
mulohazaga tеskari mulohaza;
konyuksiya – mulohazalar chin bo’lganda chin bo’ladigan
yangi mulohaza;
dizyunksiya– mulohazalardan kamida bittasi chin bo’lganda chin bo’ladigan yangi mulohaza;