Билиглел: Эде көрүлделер аразында ылгал

 

Шын эвес угаалга: шын даап бодалдардан шын эвес түннел үнүп кээр болза, ол дээрге шын эвес (меге) угаалга-дыр. Оон өскелери – шын угаалгалар-дыр. Шын угаалгалар аразында чиктиг чүүлдер бар. Меге даап бодалдардан шын түңнелге кээр болза, ол угаалга ниитизи-биле шын бооп болур.

----

Амгы үеде дээди өөредилге черлеринде болгаш оон-даа өске өөредилге болгаш эртем черлеринде ажыглалда чоруп турар логиканың тургузукчузу – эрте-бурунгу Грецияның философу Аристотель<ref name=":0">В. А. Бочаров, В. И. Маркин. ''Введение в логику''. Москва. 2008</ref><ref name=":1">Ю. В. Ивлев. ''Логика''. Москва. 2004</ref>.

Стагириттиң бодалы-биле болза, логика дээрге тускай херексел-дир (бурунгу грек дыл кырында - Органон). Кандыг-даа эртемни өөренириниң эгезинде, кижи логиканы эки билип алыр ужурлуг. Логика эртемденге күштүг аргалар аппарады болур. Логиканың аргаларын ажыглаан шинчилекчи шын түңнелдерге албан-биле чедип алыр.

<br />

'''19 чүс чылдың''' ортузунда логикада революстуг өскерлиишкиннер болу бергеннер. Ол өскерлиишкиннерниң кол утказы – логикада математиканың аргалары калбаа-биле ажыглалче киргеннер.

Ол өскерлиишкиннерни Джордж Буль эртемденниң ады биле холбаштырган. Ынчангаш ол шинчилекчиниң ады-биле тускай алгебралар «Бульнуң алгебралары» деп атты алган<ref name=":0" /><ref name=":1" />.

<br />

----

 

Тываның эртем төөгүзүнде бир дугаар логика шинчилекчилери ламалар турган. Ынчалзаа-даа бо хүнге чедир ол үениң философчу болгаш эртем ажылдарынга тураскааткан ажылдар чок болуп турар. Олар колдуунда шын маргыжарының дүрүмнерин өөренип турганнар боор.

<br />