Орындаған: Нақыб Әсем В010900-математика мамандығы, курс 301-топ

 

Орындаған: Нақыб Әсем  

5В010900-математика мамандығы, 3 курс 301-топ 

 

Тақырыбы: Тұжырымдар мен тұжырымдар формасы. Тұжырымдар 

логика-сының негізгі логикалық байланыстырушылары. Логика 

алгебрасы. Тұжырымдар логикасының формуласының анықтамасы. 

Тұжырымды формальдау процедурасы 

 

ЖОСПАР: 

• Тұжырымдар мен тұжырымдар формасы.  

• Жай және күрделі тұжырымдар.  

• Тұжырымдарға қолданылатын логикалық амалдар.  

• Логика алгебрасы.  

• Тұжырымдар логикасы формуласының анықтамасы.  

• Тұжырымды формальдау процедурасы.  

• Логикалық тұжырымдар формулаларының эквиваленттілігі.  

• Тұжырымдар алгебрасының пара-пар, тепе-тең ақиқат және тепе-тең жалған 

формулалары.  

• Негізгі тепе-теңдіктер.  

 

Негізгі ұғымдардың сөздігі:

 Логика, тұжырым (жай, күрделі), терістеу, конъюнкция, 

дизъюнкция, эквиваленция, импликация, логика алгебрасы, тұжырымдар формуласы, эквивалентті 

формулалар, пара-пар, тепе-тең ақиқат, тепе-тең жалған. 

  

"Логика" термині гректің 



 (логос) деген сөзінен шыққан. Бұл сөздің мағынасы "түсінік", "ес, 

ақыл-ой" дегенді білдіреді. Логика ғылым ретінде ойлауды оқытады. Логика дұрыс ойлаудың 

формалары мен заңдары туралы ғылым. Математикалық логика дәстүрлі локикадан дамыған. Бұл 

ғылым дұрыс ойлаудың жалпы құрылымын зерттеу үшін математикалық әдістерді қолданып, 

математиканың бір бөлімі болып қалыптасты. Логиканың ғылым ретінде негізін салған ежелгі 

грек философы және ғалымы Аристотель (384 - 322 ж. б.э.д.) болатын. Ол дедукция теориясын, 

яғни логикалық түрде қорыту теориясын жасап шығарды.