Ой билдирүү логикасы
Ой билдирүү логикасы - матем. логиканын бөлүгү. 

Ал «жана», «же», «эгер» ж. б. байламталардын жардамы менен элементардык билдирүүлөрдөн түзүлгөн татаал билдирүүнүн логикалык формаларын иликтейт.

Колдонулган адабияттар 
Кыргыз Совет Энциклопедиясы. Башкы редактор Б. О. Орузбаева. -Бишкек: Кыргыз Совет Энциклопедиясынын башкы редакциясы, 1979. Том 4. Лактация - Пиррол.  -656 б.
Математика