align="justify"> Розглядаючи поділ категоричних (атрибутивних) суджень за якістю та кількістю, слід звернути увагу на особливу групу судження - виділяють і виключають судження.
. Виділяють судження - це судження, які уточнюють кількісну характеристику предиката шляхом вказівки на те, що він належить (не належить) лише даному суб'єкту.
Ці судження в загальному вигляді можуть бути представлені формою «S, і тільки S, є P».
виділяє можуть бути всі види розглянутих атрибутивних суджень:
1) A - виділяють: «Всі S, і тільки S, є P»;
2) E - виділяють: «Жодне S, і тільки S, не їсти P»;
3) I - виділяють: «Деякі S, і тільки S, є P»;
4) O - виділяють: «Деякі S, і тільки S, є P».
У загальному виділяють судження виділяє характеристика відноситься до кожного предмету якого-небудь класу.
У приватному виділяють судження виділяє характеристика відноситься до деяких (а може бути, до всіх) предметів відомого класу.
2.Ісключающіе судження вказують на приналежність (неналежність) ознаки усіх предметів, за винятком деяких. Вони мають форму «Всі S, крім, є P».
Усяке виключає судження являє собою синтез ствердної і негативного судження, оскільки в ньому стверджується приналежність якої-небудь ознаки предмета певного класу предметів і одночасно заперечується приналежність цієї ознаки в інших предметів того ж класу [15, с.118 ].
Складні судження утворюються з простих суджень за допомогою логічних зв'язок: й, диз'юнкція, імплікація, еквіваленціі і заперечення, яке приблизно відповідають спілкам природної мови «і», «або», «якщо ... то», « тоді і тільки тоді, коли ... »і« невірно, що ... ».
Кон'юнкція (a? b) істинна в тому і тільки в тому випадку, якщо судження a і b обидва істинні.
Диз'юнкція (ab), якщо нестрогая (її члени не виключають один одного), то істинно в тому випадку якщо істинно хоча б одне з суджень; члени суворої диз'юнкції виключають один одного, сувора диз'юнкція істинна тоді, коли істинно лише одне з двох простих суджень.
Імплікація (a? b) істинна завжди, крім випадку, коли перше судження істинно, а друге ложно.
еквіваленцію (a? b) істинно в тих випадках, коли а і b або обидва істинні, або обидва хибні і якщо а ложно, то його заперечення істинно.
Заперечення судження a () характеризується так, якщо а істинно, то його заперечення ложно [5, с.68].
Судження може бути безпосереднім, отриманим з спостережень, відчуттів або по інтуїції, і опосередкованим, отриманим з інших суджень за допомогою логічного висновку. Опосередковані судження називаються умозаключениями [3, с.86].
Кожна наука по суті являє собою певну систему суджень про об'єкти, які є предметом її вивчення. Кожне з суджень оформляється у вигляді деякого пропозиції, вираженого в термінах і символах, властивих цій науці. Математика також являє собою певну систему суджень, виражених в математичних пропозиціях допомогою математичних або логічних термінів або символів. Математичні терміни (або символи) позначають ті зрозумілий?? я, які складають зміст математичної теорії, логічні терміни (або символи) позначають логічні операції, за допомогою яких з одних математичних пропозицій будуються інші математичні пропозиції, з одних суджень утворюються інші судження, вся сукупність яких і складає математику як науку [8, с.120].
На основі проаналізованої літератури ми створили класифікацію суджень.
Рис. 5. Класифікація суджень
Таким чином, судження є основою будь-якої науки, саме тому так важливо навчити школяра працювати з судженнями.
. 2 Типи вправ з теми «Судження»
Практичні завдання по роботі з судженнями ми робили на основі теоретичного матеріалу, представленого в першому розділі.
Представлені завдання трьох видів:
Завдання на засвоєння теоретичного матеріалу по темі «Судження»;
Вправи за темою «Квантори».
Логічний аналіз суджень.
Завдання на засвоєння теоретичного матеріалу представлені у вигляді тесту.
Вкажіть правильну відповідь.
Завдання 1. Судження - це форма мислення, в якій:
а) відображаються істотні, відмітні ознаки предметів;
б) виводиться нове знання про навколишній світ;
в) стверджується або заперечується і яка об'єктивно є або істинною, або хибною і при цьому неодмінно вірно одне з двох;
г) обгрунтовується приналежність предмету деякої ознаки....
