Заперечення судження - студопедія
Заперечення судження - це логічна операція, при якій істинне судження змінюється на помилкове, і наоборот.Прі цьому, при запереченні атрибутивного судження одночасно змінюються як його якість, так і кількість.
Так, при запереченні загального судження виходить приватне і навпаки; при запереченні позитивної думки виходить негативне і навпаки; при запереченні общеутвердітельного судження виходить частноотрицательное і навпаки; при запереченні частноутвердительного судження виходить общеотріцательное і навпаки. Наприклад, результатом заперечення общеутвердітельного судження «Всі студенти нашої групи займаються в наукових гуртках» буде частноотрицательное судження «Деякі студенти нашої групи не займаються в наукових гуртках». Результатом заперечення общеотріцательного судження «Жоден студент нашої групи не живе в гуртожитку» буде частноутвердительное судження «Деякі студенти нашої групи живуть в гуртожитку».
В результаті заперечення суджень про відносини їх якість і кількість також змінюються на протилежні: загальне на приватне, стверджувальне на негативне і т.д.
Необхідно дотримуватися правил при запереченні складних суджень:
1. При запереченні кон'юнктивний судження утворюється диз'юнктивне судження, в якому прості судження, які становлять його, є в свою чергу запереченнями суджень, які складають заперечується кон'юнктивний судження. Наприклад, «Усі студенти-економісти вивчають логіку і всі студенти-юристи вивчають логіку». Результатом його заперечення є судження «Деякі студенти-економісти не вивчають логіку або деякі студенти-юристи не вивчають логіку».
2. У разі заперечення диз'юнктивного судження утворюється кон'юнктивний судження, в якому складові його судження, є в свою чергу запереченнями суджень, які складають заперечується диз'юнктивне судження. Наприклад, в результаті заперечення судження «Расцвела бузок або настала весна» утворюється судження «Бузок не зацвіло і весна не настала».
3. При запереченні импликативного судження утворюється кон'юнктивний судження, в якому одним зі складових якого простих суджень є антецедент вихідного импликативного судження. Другим простим судженням виступає заперечення консеквента вихідного импликативного судження. Наприклад, в результаті заперечення судження «Якщо настане тепло, в лісі з'являться проліски» утворюється судження «Тепло настане, і в лісі не з'являться проліски».
Вправа. Проведіть заперечення даних суджень.
1. Деякі студенти ходять на дискотеку.
2. Всі студенти працюють в Кампусі.
3. Жоден студент не знає китайської мови.
4. Кожен професор має вчений ступінь.
5. Всі аспіранти складають кандидатські іспити.
6. Він хороший вчений або хороший викладач.
7. Озеро Байкал знаходиться в Європі.