КІРІСПЕ
Математика барлық тұжырымдар ақыл қорытындысы арқылы, яғни адамның ойлау қабілеті заңының жолдарын қолданып, дәлелденетін ғылым болып табылады. Адамның ойлау қабілетінің заңын оқу логика пәні болып табылады.
Логика өз алдына ғылым болып грек философы Аристотельдің (384-322 ж.ж б.э.д) еңбегінде нақтыланған. Ол өзіне дейінгі мәліметтерді жүйеледі және осы жүйе кейін формальды немесе Аристотель логикасы деп аталды.
Формальды логика еш өзгеріссіз 20 ғасырдай өмір сүрді. Математиканың дамуы Аристотель логикасының жетіспеушіліктерін көрсетті және оның әрі қарай дамуын талап етті.
Математикалық негізде логиканы құру идеясын тарихта алғашқы болып неміс математигі Г.Лейбниц (1646-1716) XVI ғ. аяғында айтты. Ол логиканың негізгі ұғымдарын арнайы шарттармен байланысқан символдармен белгіленуі тиіс дейді. Бұл кез-келген ойларды есепке ауыстыруға мүмкіндік береді.
Алғашқы болып Лейбництің айтуын жүзеге асырған ағылшын ғалымы Д. Буль (1815-1864). Ол айтылымдар әріптермен белгіленген алгебраны құрды және бұл айтылымдар алгебрасын дүниеге әкелді. Логикаға симвлодық белгілеуді ендіру, бұл ғылымға маңызды болды. Дәл осы символдарды логикаға ендіру жаңа математикалық логика ғылымының негізін қалады.....