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

Уикипедия — ашық энциклопедиясынан алынған мәлімет
Мұнда ауысу: шарлау, іздеу

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

M- P S-M S-P

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

Дереккөздер[өңдеу]

  1. Қазақ Совет Энциклопедиясы. Алматы қаласы,1977 ж. 10-том, Самал Жел-Тегене. 157-бет