Математикалық логика математикаланған логика логикаланған математика


Жұмыс түрі:  Материал
Тегін:  Антиплагиат
Көлемі: 67 бет
Таңдаулыға:   

Кіріспе

Мектептегі математика өз тарихында талай өзгеріске түсіп, толықтырылып, қайта өзгеріске ұшырап отырды. Математикалық білімнің дәйекті мәселелері іріктеліп, енгізгі бағдар ретінде жинақталып, жүйеленіп, басқа ілімдердің табыстарымен қабыстырыла, мектеп оқулықтарына енгізіледі. Ол үшін дидактикалық өңдеуден өткізіліп, тәжірибелер жасалып, түзетіліп, қайта баяндалады.

Материалды іріктеуде қоғам талаптары, оның дамуы ескеріледі. Дәстүрлі білім жүйесі мен қазіргі білім жүйесін қарастырайық. Математикалық білімнің жаңа көзқарастарын мұғалім өзі түсініп, оны оқушыға жеткізуі оңай іс емес. Оған қыруар күш, мемлекеттік қомқорлық.

1908 жылы Римде ІV халықаралық конгресте математикалық білімді жаңалау үшін халықаралық сарапшылар тобы құрылды. Олар дәстүрлі математиканы оқыту мәселесіне арналған 250 кітап жазды. Әрбір елге арнап, жаңа бағдарлама құрастырды. Сол бағдарламаға сай оқулықтарды, оқыту әдістемесін құрастырды.

Алайда, жиырмасыншы ғасырдың екінші жартысында математика ел қуатын, экономикасын анықтаушыға айналды. Осыдан да 1950 жылы математикалық білімді жаңалаушы интернационалдық алқа, ал 1958 жылы ғылымдар бірлестігінің Ғылыми тобы құрылды. 1959 жылы ол топтан мектепте математиканы оқытудың жаңа көзқарасын зерттеу бөлімі бөлініп шықты. Олар алдына екі мақсат қойды:

  1. Математика ғылымы мен математика пәнінің арасын жақындастыру;
  2. Міндетті түрде барлық оқушының шығармашылық бастамасын ояту және ерікті түрде математиканың бір бағдарын таңдауға мүмкіндік беру.

Математикалық білімнің халықаралық алқасы өз жұмыстарының нәтижелерін 1958 жылы Эдинбургте, Стокгольмде, Мәскеуде өткен математикалық халықаралық конгрестерінде қарап, 1965 жылы Парижде шыққан “Орталау деңгейде математиканы оқытудың жаңа көзқарастары” деген басылымда және мемлекеттік басылымдарда жарияланды.

Оларды талдап, сынға салудың қорытындысында:

  1. жиындар теориясының түзгіштерін;
  2. математикалық логикаға кіріспені;
  3. қазіргі алгебра ұғымдарын;
  4. ықтималдықтар теориясы мен статистикаға кіріспені мектеп бағдарламасына енгізуіне ұсынады.

Осыны бағдарға алып, бұрынғы Кеңес елінде 60-жылдардың ортасында эксперименттер жүргізіліп, математика бағдарламалары құрастырылып, оқулықтар жазылды. Бүкіл алгебра, геометрия математикадан қосымша әдебиеттер осы негізде жасалды. Мектеп мұғалімдері қайта даярлықтан өткізіліп, математиканы оқыту әдістемелері жаңадан жазылды. Сондай- ақ, жоғары мектеп бағдарламалары өзгертіліп, алуан түрлі оқу жүйесі пайда болды.

Бұл шаралар ойдағыдай нәтиже бермеді. Жиындар теориясы мен математикалық логика түзгіштері негізінде жаңаланған білім оқушыға да, мұғалімге де ауыр болып, көздеген мақсаттан шықпады.

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

Бұрынғы Кеңес өкіметі тарап, еліміз егемендік алған кезде, нарыққа көшу саясатында математикалық білімнің мазмұнына жаңа талаптар қойылғаны хақ. 1991 жылы Қазақстан Республикасы Білім министрлігі жанынан құрылған алқа өз жұмысын бастады.

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

“Математика” деген атауыштық есім ежелгі гректер тіліндегі “mathema” (білу, білік, ілім) және “tehnica” (өнер, ісмерлік, шеберлік) деген мағынадағы әртүрлі екі сөздің қиюласуынан жасалған күрделі құрылымға жатады. Бұл құрамды сөз, әу баста, “білу өнері” яки “біліми өнер” деген мағынада қолданыс тапқан. Оқыту мен ғылым дүниесінде “математика” сөзін осы айтылмыш мағынасында алғаш тұтынған адам - ол ежелгі грек жұртының әлемге аян данагері әрі өнерпазы Пифагор (б. з. б. 580-500 жж. ) болған.

Пифагор және оның ізбасарлары мен шәкірттері - “пифагорейшілдер” өздерінің дүние танымдық ұраны етіп, “Бәрі - сан” деген қалыптамалық қағиданы ұстанғаны тарихқа танымал шындық. Бұл қалаптаманы тарқата талдасақ, одан фифагордың: “дүниедегі бәр нәрсе саннан жасалған және тек саннан тұрады” - деп пайымдағанын көруге болады. Сондықтан да, Пифагорды - сандар математикасының атасы деп атаған.

Пифагор заманында сан деп, негізінен, натурал сандар жиыны ұғылған. Пифагордың өз анықтауы бойынша: “Сан дегеніміз тақтар мен жұптардың жиналымы”. Пифагор “бірлікті” сан ғана емес “санды жасаушы” деп атаған. Оның тұжырымы бойынша әрбір сан бірліктер жиынтығынан (қосындысынан) тұрады.

Мысалы: 3=1+1+1; 8=1+1+1+1+1+1+1+1.

Қазіргі замандық яғни 20 - ғасырдағы білімтану жүйесінде математика былайша анықталады:

1 - анықтама. Қазіргі заманғы аксиоматикалық қалыптама тұрғысынан алып қарағанда математика деп абстракциялық форма - математикалық структуралар жиналмасын ұғады. (Н. Бурбаки)

Мұндағы “структура” (қазаша: құрылым) деген ұғыми сөздің мағынасы “операция” (амал) және “қатынас” деген ұғымдар арқылы анықталып көрсетіледі.

2 - анықтама. Егер қандай да бір А жиынында Т деген амал және Р қатынас енгізілсе, онда А жиынын структура (құрылым) деп атайды.

Егер А жиынында Т математикалық амал және Р математикалық қатынас берілсе, онда А жиынында Р - математикалық структура анықталған дейміз. Ал А жиынында Т логикалық амал мен Р логикалық қатынас енгізілген болса, онда А жиынында логикалық құрылым жасалған деп айтуға болады. Осы үлгімен “грамматикалық структура”, “биологиялық структура” т. с. с. деген ұғыми тіркестер жасалған.

А жиынында Т амал мен Р қатынас арқылы анықталған S - математикалық құрылымды (структураны) қысқаша былай белгілеп жазады:

Мұнда: 1) А - базалық (тұғырлық) жиын; 2) а - жекеленген элемент; 3) Т - операция; 4) Р - қатынас.

Бүгінгі белгілемелік, қалыптамалық тілде Пифагордың сандық математикасы мынадай сандық құрылым деп қарауға болады:

Мұнда: 1) - құрылымның тұғырлық жиыны; 2) 1 - бірлік сан, құрылымның жекеленген элементі; 3) - математикалық амалдар; 4) - математикалық қатынастар.

Сөйтіп, байырғы сөйлеу тілімізде Пифагордың сандық математикасын былайша анықтауға болатынын көреміз:

Пифагордың сандық математикасы деп - оң таңбалы бүтін сндар жиынындағы бірлік элемент жекеленген және сол жиынның элементтері үшін “қосу”, “алу”, “көбейту”, “бөлу” амалдарымен қатар “тең”, “кіші”, “үлкен” қатынастары анықталған - математикалық құрылымды айтады.

Қазіргі біліми тілде “операция” (амал) сөзі әр алуан түрлендіргіш әрекетті яки қызметті белгілейді. Математикалық амал “бейнелеу” деп аталатын танымдық ұғым арқылы анықталады.

Мысалы. 3+4=7 теңдігін алайық. Бұл өрнекті қазіргі заман математиктері: “Қосу амалы (3, 4) қосын 7 санына бейнелейді” - деп қарастырады. Бұл сөйлемді белгілемелер тілінде мынадай қалыптама арқылы жазып көрсетуге болады:

Жалпы танымдық тілде: (3, 4) қосты бейнелеудің түпнұсқасы, ал 7 санын оның бейнесі немесе бейнелік көшірмесі деп атайды.

Математикалық білім атаулының түбегейлік мақсаты ақиқаттығы бұрыннан тағайындалған белгілі бір ойқорытындыларына сүйене отырып, қандай да бір жаңа ойқортымның ақиқаттығын (растығын, дұрыстығын) дәлелдеу боп табылады. Сондықтан да, ғылым танымгерлері дәлелдеу амалын математиканың жүрегі немесе жаны деп атайды. Математикалық ойқорытуларда дәлелдеу амалының қажеттігі мен мүмкіндігін алғаш атап көрсетуші адам - ол ежелгі гректерден шыққан әйгілі жеті данагердің көш басшысы Фалес (б. з. б. 625-548) болған. Фалестің дәлелдеу туралы ойын сандар математикасында тұңғыш рет Пифагор қолданған.

Математикалық дәлелдеу жайында Фалес пен Пифагор алғаш бастап салған жолды тиімді жалғастырып, оны, шын мәнінде, ғылыми шыңына алғаш жеткізуші ежелгі грек математигі Евклид (б. з. б. 356-300) болғанын тарихтан білеміз. Ғылым тарихында Евклид, заңды түрде, ғылыми математиканың атасы деп аталады.

Қазіргі замандық математиканы “құрылымдар математикасы” деп анықтаушы Никола Бурбаки болғанын жоғарыда айттық (Н. Бурбаки 20 - ғасырдағы Францияның бір топ талантты математиктерінен құрылған жасырын ұжымның бүркеншек аты) .

Бурбакишілдер: “Ежелгі гректер заманынан бері қарай “математика” деп айту “дәлелдеу” деген сөзбен пара-пар айтылады” -деп көрсетеді.

Алдыңғы айтылып өткен: “бейнелеу”, “амал”, “әрекет”, “дәлелдеу” - деген танымдық сөздердің баршасы білім әлеміне логика пәні арқылы келіп енген атауыш сөздер қатарына жатады. Сонымен қатар олардың мазмұны мен танымдық мағыналары тек логика пәні ауқымында ғана толық әрі айқын ашып көрсетіледі. Сондықтан, ендігі сөз логика туралы болмақ.

“Логика” сөзі, әу баста, ежелгі гректер тіліндегі “logos” (сөз, ой, сана) деген сөзінен шығып қалыптасқан. Білім тарихын зерттеушілер “логика” сөзін ғылымға алғаш енгізген адам - ол ежелгі грек білімпазы Демокрит (б. з. б. 460-370) болған деп көрсетеді. Демокрит “Ойлау ережелері” деген ғылыми еңбек жазған. Осы тарихи шығарманың айдарлық тақырыбына “логика” пәнінің аты келіп шыққан.

Логика басында дүниетану мәселелерін зерттейтін жалпы философиялық білімнің бір саласы ретінде дүниеге келеді. Ол дара пән боп б. з. б. ІV ғасырда қалыптасқан. Өздік зерттегіш әдісі және зерттеу нәрсесі бар логика атты дара пәннің негізін алғаш рет әлемнің бірінші ұстазы атанған әйгілі білімпаз, ежелгі грек данагері Аристотель (б. з. б. 384-322) қалаған. Ғылыми білімнің тарихшылары мен танымгерлері Аристотель логикасын ақиқатты ашу және негіздеу қаруы (органон) немесе “дәлелдеу туралы ғылым” деп атайды.

Орта ғасырлық Қазақстандағы байырғы шаһарлардың бірі Отырар (арабша аты Фараб) қаласының төл тумасы, әлемнің екінші ұстазы (Аристотельден кейінгі ұстаз) атанған Абу - Насыр әл - Фараби (870-950) Аристотель логикасын терең талдау, кемелдендіре кеңейту және жалпақ жаһанға жарлап тарату жұмыстарымен ұзақ жылдар бойы айналысады. Ол өзінің философияны оқып үйренуге қажетті білімдер тізімін анықтайтын еңбегінде тілтану оқуын бірінші, ал логиканы екінші орынға қойып қарастырады.

Екінші ұстаз тағы бір шығармасында логиканы сөздер грамматикасымен салыстыра қарайды. “Грамматика - деп пайымдайды ол, - адамдардың сөйлеу тілін қалай туралайтынын қарастыратын болса, логика ғылыми қателер жіберу қатері туған тұста адам ойының дұрыс болуын солай туралап отырады”.

Алдыңғы айтылғандардан, логиканы ақиқатқа жету үшін қалай дұрыс ойлай білу керек екендігін зерттейтін ғылым деп қарауға болатынын көреміз. Логика пәнінің нақты мақсаты мен мазмұнын айқын ашып түсіндіру үшін, әуелі, “ойлау”, “ақиқат ой”, “дұрыс ой” деген ұғымдардың мазмұнын айқындап алған абзал.

Ойлау адам арқылы мен санасының әрекеттік қызметіне жатады. Адамның ойлау органы - ми. Оның ойлау қызметі туралы ұғым “бейнелеу” және “тану” деп аталарын түптектік ұғымдар арқылы анықталады.

3 - анықтама. Айналадағы нәрселер мен құбылыстардың адам санасындағы бейнеленуін тану деп атайды. Танудың нәтижесін таным немесе білім дейді. Тану әрекеті іске асырылу сипатына қарай екі түрлі деңгейге жіктеліп қарастырылады: 1) сезім деңгейіндегі тану; 2) ақыл-ой , ой- сана деңгейіндегі немесе рационалдық деңгейдегі тану.

Сезім арқылы тану қызметі түйсіну, қабылдау және елестету - деп аталатын амалдар жүйесі арқылы іске асырылады. Бұларды тікелей тану немесе алшақтамай тану жолдары деп те атайды. Тікелей (аулақтамай) танудың өздік логикасы бар, оны сезу логикасы деп атайды. Бұл логиканың ауқымында: “қуаныш”, “реніш”, “үміттеніс”, “түңіліс” т. с. с. ұғымдар қарастырылады.

Ақыл-ой яғни саналы (рационалды) түсінім деңгейіндегі тану қызметі ойлау, пайымдау, ұғыну әрекеттері арқылы атқарылады. Бұларды, көбінесе, тікелей емес тану немесе аулақтатып тану деп те атайды.

4 - анықтама. Ойлау деп шынайы өмірдегі нәрселер мен құбылыстардың сөз арқылы адам санасындағы түрлендірілуін айтады.

Сөйтіп, ойлау дегеніміз ақыл - ойдың тануы яғни бейнелеу немесе түрлендіру әрекеттері арқылы іске асырылатын ми қызметі екенін көреміз. Айналамыздағы танылатын нәрселер мен құбылыстарды бір сөзбен айтқанда, затиялық нәрселер немесе заттық нәрселер деп қарауға болады. Ал затиялық нәрселердің адам санасындағы көшірмесін (кескінін, суретін, бейнесін) санауялық нәрселер (идеялар, ойлар) деп атайтын боламыз.

Ақыл-ойға ұялаған санауялық бейненің затиялық формасы (қалыбы) сөз болып табылады. Сөз - ойдың сыртқы қабы немесе қалыбы (формасы) болып есептеледі.

Сөйтіп, ойлау амалының қалыбы мен қаруы сөйлеу тілінің сөздері боп саналатынын көреміз. Сөз адам санасындағы нышандық белгілемесі (символикасы), қалыптамасы (формасы) және ойды туғызушы, жасаушы боп қызмет атқарады. “Сөз сөзден туады сөйлемесе қайдан туады” деген халық даналығы сөздің осындай ой тудыратын, ой сақтайтын және ойды жеткізетін құдыретті қасиетімен байланысты айтылған деуімізге болады.

Алдыңғы айтылғандарды тілге тиек, ойға арқау ете отырып, логика пәнін осылайша анықтауға болады.

5 - анықтама. Логика - ақиқат және дұрыс ойлаудың формасы (қалыбы), заңдары мен ережелері туралы ілім.

Ойлаудың формасы (қалыбы) деп шынайы өмірдегі нәрселердің қасиеттері мен қатынастарын бейнелеу әдістерін атайды. Логика пәнінде, негізінен, үш түрлі ойлау қалыбы қарастырылады. Олар: 1) “ұғым”; 2) “пайым” және 3) “ойқорыту” деп аталады. Ойлау формаларының әрқайсысына белгілі бір тұлғалық құрылым тән болып келеді. Бұл құрылымдарды өрнектеп көрсету үшін арнаулы белгілемелер (символикалар) жүйесі қолданылады. Осындай белгілемелер тілінде өрнектелген ойды формальданған (қалыптанған) ой деп атайды. Ой біткеннің нақтылы мазмұны және айқын құрылымы болады. Ой мазмұнын сол ой бейнелейтін нәрселердің қасиеттері мен қатынастары жасайды. Ойдың қалыбы (формасы) немесе құрылымы (структурасы) боп ой бөлшектерін құрмаластыру жолдары саналады. Ой мазмұнына қарай ақиқат және жалған болып екіге бөлінеді.

6 - анықтама. Шынайы өмір нәрсесі мен құбылысының адам санасында дәлме-дәл және бекім бейнеленуін ақиқат ой деп атайды. Ақиқат ойға қарама - қарсы мазмұндағы бейнелеуді жалған ой деген сөз арқылы атап көрсетеді.

Сөйтіп, “ақиқат-ой” немесе қысқаша “ақиқат” деп мазмұны шынайы шындықты дәлме - дәл бейнелейтін ой ғана айтылатын көреміз. Егер ой мазмұны жағынан шынайы шындыққа сәйкеспейтін болса, яғни шындықты бұрмалайтын болса, ондай ойды “жалған ой” қатарына жатқызуға болады.

Формасы (қалыбы) немесе структурасы (құрылымы) жағынан алғанда ой дұрыс (тура) ой және дұрыс емес (қате) ой боп екі жікке бөлінеді.

Ойдың ақиқаттығы мен дұрыстығы әрқашан бір-бірімен етене байланыста боп келеді.

Тану барысында анық ақиқатқа жету үшін мынадай екі шарттың мүлтіксіз орындалуы ләзім: 1) ойлауға арқау болатын түптұғырлық, бастамалық ойлар ақиқат болуы шарт; 2) ой құрылымы жағынан дұрыс болуы тиіс.

Ойдың ақиқат әрі дұрыс болуын ұйымдастыратын және қадағалайтын біліми пән логика деп аталады.

Метаматематика ілімі математиканың негіздемелік және дәлелдемелік мәселелерін формальданған логиканың әдістерімен зерттейтін математикалық логика пәнінің жаңа бір саласы болып табылады.

Алдыңғы айтылғандардың бәрін салыстыра сараптай айтар болсақ, “математикалық логика дегеніміз не?” деген сауалға сай келетінін жасуапты бір сөзбен мынадай қалыптама түрінде беруге болатын секілді:

Математикалық логика = математикаланған логика + логикаланған математика.

Бұл дипломдық жұмыстың мақсаты: мектеп қабырғасында және де жоғары білім беру ордаларында оқытылатын математикалық логика элементтері пәнінің кейбір тұстарын нақтылап, мысалдар келтіру арқылы айқындап көрсету.

Информатика іргелі ғылым болып табылады, сондықтан да, оның негіздерін мектеп қабырғасынан бастап үйрену керек. Біздің ойымызша, мектептегі оқыту келесі үш кең қамтылған бағыт бойынша жүргізілуі қажет:

  • информатиканың теориялық негіздері;
  • модельдеу, алгоритмдеу, программалау;
  • ақпараттық технологиялар.

Заманауи мектепте оқытуды дифференциялау әртүрлі бағыттағы мамандандырылған сыныптарды ұйымдастырудан тұрады. Ең көп қолданылатыны сыныптарды негізгі, техникалық және гуманитарлық деп бөлу.

Оқушы қазіргі таңда маңызды (технологиялардың даму қарқыны айтарлықтай жылдам жүріп жатқандығын ескере отырып) және бірнеше жыл 1 алға компьютерлік сауаттылық элементтерімен таныстырып, дайын программалық өнімдерді пайдалануды үйрету керек (егер интерфейс оңтайлы болса, бұл да аса қиындық туғыза қоймайды) . Енді сұрақ туындайды: қандайма болмасын программалау тілін әр адамның білуі міндетті ме. Біздің ойымызша, мектепте оқушыларды программалаудың қандайма тілін үйрету керек, мүмкіндік болса, тіпті, бір емес екі тілді қатарынан оқыту қажет. Мүмкін үміткерлерді қарастырайық: императивті программалау тілі (Паскаль), екінші тіл ретінде декларативтік логикалық программалау тілі - Прологты қарастыруға болады. Әр оқушыға программалауды үйретуді мақсат тұтып отырған жоқпыз, оның үстінде екі бірдей тілде. Ұсынатынымыз: программалау тілдерін белгілі бір оқыту құралы ретінде пайдалану. Мәселен, императивті программалау тілі алгоритм ұғымымен, құрылымдаумен таныстырып, негізгі тапсырманы бірнеше қосалқы тапсырмаларға бөлуге т. с. с. үйретсе, Пролог тілі көмегімен оқушыларды математика, физика, химия және басқа да пәндерді оқуға пайдасы зор нысанды логикаға баулуға болады.

Жоғарыда айтылғанды ескере отырып жұмыстың өзектілігін келесі түрде жинақтап тұжырымдауға болады :

  1. Білім беру caлacының гумaниcтік пaрaдигмaғa aяқ бacуы білім беру үрдіcінде әр бір aдaмның дaмуын қaмтaмacыз етуді қaжет етеді;
  2. Aқпaрaт күн caйын жaңaрып отырaды, cол cебепті жaңaртылғaн aқпaрaтқa уaқтындa қол жеткізіп отыру қaжеттігі туындaйды;

Зерттеудің пәні болып оқушылaрдың математикалық білімдерін және жaңa aқпaрaттық технологиялaрмен жұмыc іcтеу біліктіліктерін қaлыптacтырудaғы aқпaрaттық технологиялaрды қолдaну әдіcтемеcі caнaлaды.

Зерттеудің мақсаты Математикалық логика элементтерін орта мектептегі алгебра және информатика сабақтарында оқыту сабақтастығын түсіндіру.

Зерттеудің міндеттері :

  • Математикалық логика элементтерін орта мектептегі алгебра және информатика пәнінің жұмыс бағдарламасымен танысу;
  • пәнге қажетті теориялық және материалдар дайындау;

Зерттеудің ғылыми болжамы Математикалық логика элементтерін орта мектептегі алгебра және информатика сабақтарында оқыту сабақтастығын қолдана отырып, оқушылар теориялық білімі мен ойлау қабілеті артады.

1. Математикалық логиканың элементтері

1. 1 Сөйлемдер мен пікірлер

Қоршаған ортаны танып білу барысында адамдар объектілердің арасындағы, объектілер мен олардың қасиеттерінің арасындағы өзара байланысты анықтайды. Осы байланыс түрлі ұғымдардан құралған сөйлемдер арқылы беріледі. Мысалы, “Тең қабырғалы үшбұрыштың барлық бұрыштары тең”, “28 саны 7 - ге бөлінеді”, “16 жұп сан”.

Әрбір математикалық сөйлем өзінің мағынасымен және логикалық құрылымымен сипатталады. Сондықтан біз сөйлемнің құрылымына ерекше көңіл бөлеміз. Математикада сөйлемдер жәй (элементар) және құрама (күрделі) болып бөлінеді. “28 саны 7 - ге бөлінеді” деген сөйлем жәй. “28 саны жұп және 7 - ге бөлінеді ”, “ ”, “Егер үшбұрыш теңбүйірлі болса, онда оның табанындағы бұрыштары тең” сөйлемдері құрама сөйлемдер.

Құрама сөйлемдер жәй сөйлемдер “және”, “немесе”, “егер”, “онда”, “емес” деген сөздермен байланыстыру арқылы жасалады. Бұл сөздер математикада логикалық жалғаулар деп аталады.

Құрама сөйлемнің логикалық құрылымын анықтау үшін

  1. Берілген құрама сөйлем қандай жәй сөйлемдерден құралған;
  2. Қандай логикалық жалғаулармен байланысқан екенін білу керек?

Мысалы, “28 саны жұп және 7 - ге бөлінеді” деген сөйлемнің логикалық құрылымын анықтайық. Ол мынадай екі жәй сөйлемнен тұрады: А “28 саны жұп ”, “28 саны 7 - ге бөлінеді ”. Олар “және” деген логикалық жалғаулықтың көмегімен бір құрама сөйлемге келтірілген. Жәй сөйлемдердің белгіленуін пайдаланып, осы құрама сөйлемнің логикалық құрылымы “А және В” екенін айтуға болады. “ ” сөйлемнің құрылу ерекшелігі бөлек. Егер А “х саны 8 - ге тең”, “х=8” болса, В: “х саны 8 - ден кіші”, яғни “ ” онда оның логикалық құрылымы “А немесе В” болады.

Үшінші сөйлемде А: “үшбұрыш теңбүйірлі”, В: “табанындағы бұрыштары тең” болса, онда оны “Егер А, болса онда В” түрінде жазуға болады.

“14 саны 4 - ке бөлінбейді” деген сөйлемнің логикалық құрылымын анықтау үшін А: “14 саны 4 - ке бөлінеді” деп алайық. Сонда берілген сөйлем “А емес”, “А дұрыс емес” түрінде болады.

Бірқатар жәй хабарлы сөйлемдерді қарастырайық:

  1. Қазақстан - егеменді мемлекет;
  2. Натурал сандар жиыны ақырсыз;
  3. 25 саны 5 - ке еселі;
  4. Құр жиынның элементі бар;
  5. 38 саны 3 - ке бөлінеді;

Бұл сөйлемдердің барлығы мазмұны жағынан әртүрлі. Бірақ олардың барлығына ортақ бір қасиеттің бар екенін байқауға болады. Осы ортақ - кейбір сөйлемдерде ақиқат (дұрыс, дәл), ал басқаларында жалған (дұрыс емес, қате) ойлардың айтылуы, 1, 2, 3, сөйлемдері ақиқат, ал 4, 5 сөйлемдер жалған деп есептейміз.

Хабарлы сөйлемнің ақиқат немесе жалған екендігін айтуға болса, онда ол пікір деп аталады.

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.
Ұқсас жұмыстар
Сөйлемдер мен пікірлер
Математикалық логиканың элементтері
Экономикалық теорияның пәні және зерттеу әдістері
Орта мектептің математика сабағында логика элементтерін қалыптастыру
Логиканың негізгі заңдары
Бастауыш мектепте жиын және логика элементтері тақырыбын оқыту әдістемесінің ерекшелігі
Қазіргі заман мектебінде математикадан білім беру
Логикалық ойлау қабілеті
Математикалық логиканың пайда болуы
Математикадан олимпиадалық есептерді шешуде математикалық логика элементтерін қолдану
Пәндер



Реферат Курстық жұмыс Диплом Материал Диссертация Практика Презентация Сабақ жоспары Мақал-мәтелдер 1‑10 бет 11‑20 бет 21‑30 бет 31‑60 бет 61+ бет Негізгі Бет саны Қосымша Іздеу Ештеңе табылмады :( Соңғы қаралған жұмыстар Қаралған жұмыстар табылмады Тапсырыс Антиплагиат Қаралған жұмыстар kz