Логикалық амалдар

Last updated about 2 years ago

5 questions

Логика –
ақиқат жəне дұрыс ойлаудың формасы (қалыбы), заңдары мен ережелері туралы ілім.
Ойдың ақиқат əрі дұрыс болуын ұйымдастыратын жəн қадағалайтын біліми пəн логика деп аталады.
Ойлаудың пішіні (қалыбы) деп шынайы өмірдегі нəрсе қасиеттері мен қатынастарын бейнелеу
əдістерін атайды.
Логика пəнінде, негізінен, ұш түрлі ойлау қалыбы қарастырылады. Олар: 1) «ұғым»; 2) «пайым» жəне 3) «ой аталады. Ойлау формаларының əрқайсысына белгілі бі құрылым тəн болып келеді. Бұл құрылымдарды өрнект үшін арнаулы белгілемелер (символикалар) жүйесі қол Осындай белгілемелер тілінде өрнектелген ойды форм (қалыптанған) ой деп атайды.
Ойқорытулар ережелерінің жиынына байланысты, ғыл ретінде, логика бірнеше түрлерге бөлінеді: формалданғ математикалық логика, ықтималды логика, диалектик жəне т. б.
Математикалық логика, формалданған логиканың бір б болып табылады. Егер, формалданған логика біздің да пайымдарымызды талдауға байланысты болса, математик қатаң айқындалған, бірмəнді ақиқат немесе жалған еке объектілерді жəне пікірлерді зерттейді.

Пайым- Ойлау қалыбы емес

Логика туралы түсінігіңді жаз

Тарихтан: Математикалық логиканың негізін қалаушы ретінде ұлы неміс математигі Лейбниц есептеледі. Ол, XVII ғасырда,
бірінші логикалық есептеулерді құруға талпынған. Лог есептеулерге жақындатып, логикалық символиканы дəл жетілдірген.
Лейбниц құрған іргетастың үстіне, басқа ұлы математ Джордж Буль
(«Овод» романының авторы Э. Войничтың əкесі), ғылымның жаңа аймағын –
математикалық логиканы құрған. Ол Готфрид Вильгельм фон Лейбниц (1646—1716)—
нем.философы, математик, заңгер, дипломат. 2
Джордж Буль (1815— 1864)—
ағылшын математигі жəне логигі. Математикалық логика қалаушылардың бірі. логикалық құрылымдар үшін, ерекше алгебра –
логикалар алгебрасы (Буль алгебрасы) атты тұтас бір, тың математикалық б өмірге келтірді. Онда, дағдылы алгебрадан айырмасы, сандар емес, пікірлер белгіленеді.
Қазіргі математикалық логика, оқиғалар ықтималдығы ақпарат теориясы атты дискреттік математика тараптар алгебрасының мысалдық, көрнектемелері жəне модельдік болып табылады

Логиканың алғашқы негізін қалаушы-Лейбниц

Коньюнкция ... сөзімен мағыналас

Дизюнкция немесе сөзімен мағыналас

сабақ бойынша мәліметтерді конспектілеп, қосымша есептер қарастырыңыз.