ументами в ході судового докази. p> У ході докази якого-небудь тези може використовуватися не один, а кілька з перелічених видів аргументів.
2. Пряме і непряме (непряме) докази
Докази за формою поділяються на прямі і непрямі (непрямі) . Пряме доказ йде від розгляду аргументів до доведення тези, тобто істинність тези безпосередньо обгрунтовується аргументу-ми. Схема цього доказу така: з даних аргументів (а, b, с, ...) не-обхідно слід доводити тезу q. З цього типу проводяться доказів-тва в судовій практиці, в науці, в полеміці, у творах школьни-ков, при викладі матеріалу вчителем і т.д. p> Широко використовується прямий доказ у статистичних звітах, у різного роду документах, у постановах, в художній і дру-гой літературі. p> Учитель на уроці при прямому доведенні тези В«Народ - творець історіїВ» показує, по-перше, що народ є творцем матері-альних благ, по-друге, обгрунтовує величезну роль народних мас в по-літіке, роз'яснює, як в сучасну епоху народ веде активну боротьбу за мир і демократію, по-третє, розкриває його велику роль у створенні духовної культури.
У сучасному журналі мод В«БурдаВ» теза В«Заздрість - корінь усіх золВ» обгрунтовується за допомогою прямого доказу наступними аргументу-ми: В«Заздрість не тільки отруює людям повсякденне життя, але може при-вести і до більш серйозних наслідків, тому поряд з ревнощами, злобою і ненавистю, безсумнівно, відноситься до найгірших рис характеру. p> Підкравшись непомітно, заздрість ранить боляче і глибоко. Людина зави-дме благополуччю інших, мучиться від усвідомлення того, що комусь більш пощастило В». p> Непряме (непряме) доказ - це доказ, в якому істинність висунутого тези обгрунтовується шляхом докази лож-ності антитези. Якщо теза позначити буквою а , то його заперечення (a) бу-дет антитезою, тобто суперечить тезі судженням. p> Апагогіческое непрямий доказ (або доказ В«від проти-ногоВ») здійснюється шляхом встановлення хибності суперечить те-Зісу судження. Цей метод часто використовується в математиці. p> Нехай а - теза або теорема, яку треба довести. Припускаємо від протилежного, що а ложно, тобто істинно НЕ-а (або a ). З допущення a виводимо слідства, які суперечать дійсності або раніше доведеним теорем. Маємо а V a , при цьому a - хибно, значить, істинно його заперечення, т/е. a , яке за законом двозначної класичної логіки ( a> а ) дає а . Значить, істинно а , що й потрібно було довести.
Слід зауважити, що в конструктивній логіці формула a> а НЕ яв-ляется виведеної, тому в цією логікою і в конструктивній математи-ці нею користуватис...
