Дифференциалдық теңдеулер туралы жалпы түсінік



бет31/33
Дата26.12.2021
өлшемі1,41 Mb.
#105813
1   ...   25   26   27   28   29   30   31   32   33
Байланысты:
Дифференциалдық теңдеулер1

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

Жоспары:


1.Символдық логика

2.Логикалық функциялар


Символдық логика - сөйлемдер мен логикалық байланыстарды өрнектеуде символдарды кең қолданумен байланысты математикалық логикаға берілетін атаулардың бірі. Дәстүрлі логиканың өзінде де символдар жиі қолданылады. Аристотель б.з.б 4 ғ-да айнымалы мәндерді әріппен белгілеуді тұңғыш рет логикаға енгізді. Мысалы , ғасырлар бойы оң пікір латыннның А- әрпімен, жеке оң пікір J- әрпімен, жалпы теріс пікір Е-әрпімен, жалпы теріс пікір О- әрпімен белгіленіп келді. Жай кесімді силлогизмнің бірінші фигурасы ежелден мынадай символдық формула түрінде өрнектеледі:

M- P S-M S-P

Бұл формуланың төрт модусы ретіне қарай ААА, ЕАЕ, АI және EIO деп белгіленеді. Символдау формальды логиканың барлық салаларында орын алады. Қандай да болсын ғылым атауы , символдардың қаншалықты қолдануына ғана емес, сол ғылымның қандай құбылыстар мен заңдылықтарды зерттейтітіне байланысты берілуге тиіс. «Символдық логика» терминін алғаш рет қолданған ағылшын логигі Джонн Венн (1834- 1923)



Достарыңызбен бөлісу:
1   ...   25   26   27   28   29   30   31   32   33




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет