МІРКУВАННЯ
ПЛАН
1. Сутність судження
2. Логічні зв'язки між судженнями. Істиннісне значення складних суджень
3. Умовний (Гіпотетичний) силогізм
4. Розділовий силогізм
5. Дилеми
Література
1. СУТНІСТЬ ДУМКАХ
Процес міркування розкладається на окремі думки, наступні один за одним в певному порядку. Закінчена думка, в якій що-або стверджується або заперечується, називається судженням.
Судження, зміст яких відповідають дійсності, називаються істинними, а судження, зміст яких не відповідає дійсності, - помилковими. Щирими, наприклад, будуть судження В«Лілія-рослинаВ», В«Мідь електропровідністьВ». Навпаки, судження В«Кіт-рибаВ», В«Ртуть легше водиВ» є помилковими. p> У логіці судження позначаються літерами. Ми будемо вважати, що малі латинські букви p , q , r , s , t ... c індексами або без них позначають судження. Оскільки судження можуть бути істинними або помилковими, то, поставивши значенням В«істинаВ» у відповідність 1, і значенням В«брехняВ» - 0, будемо вважати, що ці змінні приймають значення з двоелементною множини {0,1}. Оскільки судження виражаються в пропозиціях, то змінні, що позначають судження, позначають і пропозиції. Їх називають, тому пропозіціональнимі змінними. У символічних позначеннях судження, зазвичай, називають висловлюваннями. br/>
2. ЛОГІЧНІ ЗВ'ЯЗКУ МІЖ СУДЖЕННЯМИ. ІСТІНОСТНОЕ ЗНАЧЕННЯ складне судження
У міркуваннях окремі судження зв'язуються в складні судження за допомогою логічних зв'язок. Найбільш уживаними з них є:
В«іВ», яка позначається символом Г™
В«абоВ», яка позначається символом Гљ
В«абоВ» у винятковому сенсі, яка позначається символом Гљ
В«якщо ..., тоВ», яка позначається символом В®
В«якщо і тільки якщоВ», яка позначається символом Вє
В«неВ», яка позначається символом Вѕ
У граматиці зв'язки Г™, Гљ, Гљ, В®, Вє, називаються спілками. Часто зв'язка Г™, що зв'язує окремі пропозиції, відпускається і замінюється крапкою. Зв'язка - іменується в граматиці запереченням. p> Судження, що не містить зазначених зв'язок, називається простим або атомарним. Істіностное значення складних суджень, утворених з атомарних одноразовим застосуванням логічних зв'язок задається наступною таблицею істинності.
р
q
`
`
pГљq
pГљГљq
рГ™q
p В® q
p Вє q
0
0
