я в доказах не можна. Закон виключеного тре-тього тут також В«відкидаєтьсяВ» (не є виведеної формулою), по-цьому непрямі докази тут не застосовуються. Прикладів дока-зательства В«від протилежногоВ» дуже багато в шкільному курсі математики. Так, наприклад, доводиться теорема про те, що з точки, що лежить поза прямою, на цю пряму можна опустити лише один перпендикуляр. Методом В«від протилежногоВ» доводиться і наступна теорема: В«Якщо дві прямі перпендикулярні до однієї і тієї ж площині, то вони паралельноВ». Доказ цієї теореми прямо починається словами: В«Припустимо гидке, тобто що прямі АВ і CD не паралельні В». p>
Розділові доказ (методом виключення). Антитезис являє-ся одним з членів розділового судження, в якому мають бути обов'язково перераховані всі можливі альтернативи, наприклад:
Злочин міг скоїти або А , або В , або З . p> Доведено, що не скоювали злочин ні А , ні В .
Злочин скоїв С.
Істинність тези встановлюється шляхом послідовного доказів-тва хибності всіх членів розділового судження, крім одного. p> Тут застосовується структура отріцающе-який стверджує модусу роздягли-кові-категоричного силогізму. Висновок буде істинним, якщо в раз-ділильному судженні передбачені всі можливі випадки (альтернативи-ви), тобто якщо воно є закритим (повним) диз'юнктивним судженням:
В
В
Як зазначалося раніше, в цьому модусі союз В«абоВ» може вживатися і як сувора диз'юнкція ( ), і як нестрогая диз'юнкція (v), тому йому відповідає також схема:
В
3....