Логика және логикалық операциялар слайд, презентация

Логика – ойлаудың түрлері мен тәсілдері туралы ғылым. 

Логиканың негізін салған Аристотель  (384 -322жж. б.з.д.). Ол «Біз қалай ой қорытамыз?» деген сұраққа жауап іздей отырып, ойлау ережелерін зерттеді. Аристотель алғаш рет логиканы жүйелі түрде реттеп, ойлау түрлерін талдап берді: түсіну, пікір, ой қорыту. 
Осылайша  формальді  логика пайда болды. 

Ойлаудың негізгі формалары:

ТҮСІНІК –бұл нысанның нақты белгілерін тіркейтін ойлау формасы.
Түсініктің көлемі нысандар жиыны түрінде берілуі мүмкін. Қазіргі математика теориясының негізін қалаушы жиындар алгебрасы жиындар арасындағы байланысты түсіндіріп береді.   

ПІКІР – нақты заттардың қасиеті туралы жалған немесе ақиқат екендігі айтылатын ойлау формасы. Пікір ақиқат немесе жалған бола алады. 
Леп белгісі және сұрақ белгісі бар сөйлемдер пікір бола алмайды:
Маған кітапты әкеліп бер! Сен киноға барасын ба?
Пікір бөлінеді:
 қарапйым(жеке)     2+8<5    - жалған 
Жер – Күн жүйесінің планетасы - ақиқат; 
 Құрама(жалпы) (пікірлер алгебрасы арқылы ақиқаттығы есептеледі)

ОЙ ҚОРЫТУ– бір немесе бірнеше пікірлердің көмегімен жаңа пікір(қорытынды) туғызатын ойлау формасы.