За логікою (3) - контрольна робота, сторінка 2
г) Державні службовці зобов'язані захищати права громадян - Деякі державні службовці зобов'язані захищати права громадян.
Судження «Державні службовці зобов'язані захищати права громадян» по об'єднаної класифікації суджень відноситься до общеутвердітельним суджень (A), а судження «Деякі державні службовці зобов'язані захищати права громадян» по об'єднаної класифікації суджень відноситься до частноотріцательним (I) - судження А і I мають місце підпорядкування , при істинності загального судження приватне завжди буде істинним, а при хибності приватного судження загальне судження також буде помилковим.
Визначити вид складних суджень і записати їх за допомогою символів:
а) Некомерційні організації можуть здійснювати підприємницьку діяльність лише остільки, оскільки це служить досягненню цілей, заради яких вони створені.
Судження «Некомерційні організації можуть здійснювати підприємницьку діяльність лише остільки, оскільки це служить досягненню цілей, заради яких вони створені» по виду судження відноситься до умовних (імплікатівной) судженням, такі судження складаються з двох простих суджень, пов'язані між собою зв'язкою. Перше судження «Некомерційні організації можуть здійснювати підприємницьку діяльність» називається антецедентом (попереднім). друге «Це служить досягненню цілей, заради яких вони створені» Консеквентні (наступним). Якщо антецедент позначити p. консеквент - q. а зв'язку «остільки, остільки» знаком «→» по імплікатівной судження символічний можна виразити як p → q.
б) Договори можуть бути реальними або консесуальними.
Судження «Договори можуть бути реальними або консесуальними» по виду судження відноситься до розділовим (диз'юнктивним) судженням нестрогой диз'юнкції. такі судження складаються з кількох простих суджень, пов'язані логічною зв'язкою «або». Перше судження «Договори можуть бути реальними». друге «Договори можуть бути консесуальними». Якщо перше позначити p. а друге - q. то розділову судження символічний можна виразити як p v q. де p і q - члени диз'юнкції (диз'юнкт), v - символ диз'юнкції.
в) Допускається проникнення в приміщення без згоди його власника податкової поліції, якщо приміщення використовується для підприємницької діяльності.
Судження «Допускається проникнення в приміщення без згоди його власника податкової поліції, якщо приміщення використовується для підприємницької діяльності» з вигляду судження відноситься до з'єднувальним (кон'юнктивний) судженням, такі судження складаються з кількох простих суджень, пов'язані логічною зв'язкою «якщо». Перше судження «Допускається проникнення в приміщення без згоди його власника податкової поліції» - (p). друге «приміщення використовується для підприємницької діяльності» - (q). Якщо перше позначити p. а друге - q. то сполучна судження символічний можна виразити як p ᴧ q. де p і q - члени кон'юнкції (кон'юнктив), ᴧ - символ кон'юнкції.
г) Громадянину України нараховується пенсія, якщо він досяг пенсійного віку і має необхідний стаж.
Судження «Громадянину України нараховується пенсія, якщо він досяг пенсійного віку і має необхідний стаж» по виду судження відноситься до еквівалентним (подвійна імплікація) судженням, такі судження включають до складу якого як складових два судження, пов'язані подвійний (прямий і зворотній) умовної залежністю, яка виражається логічною зв'язкою «якщо». Перше судження «Громадянину України нараховується пенсія» - (p). друге «Досяг пенсійного віку і має необхідний стаж» - (q). Логічна характеристика цього судження полягає в тому, що істинність нарахування пенсії (p) розглядається як необхідна і достатня умова істинності твердження про досягнення пенсійного віку і наявності необхідного стажу (q). Точно також істинність твердження про досягнення пенсійного віку і наявності стажу (q) є необхідною і достатньою умовою істинності твердження про те, що громадянину нараховується пенсія (p). Таку обопільну залежність символічний можна висловити подвійний импликацией p ⇆ q або іншим знаком p ≡ q.
Зробити висновок за допомогою перетворення, звернення і протиставлення предикату і наступних посилок:
Судження, що містить нове знання, може бути отримано за допомогою перетворення деякого судження. Так як вихідне (преобразуемое) судження розглядається як посилка, а судження, отримане в результаті перетворення, - як висновок, умовивід, побудоване за допомогою перетворення, називаються безпосередніми, до них відносяться: 1) перетворення, 2) звернення, 3) протиставлення предикату, 4 ) умовивід по логічному квадрату. Висновки в кожному з цих умовиводів виходять відповідно до логічними правилами, які обумовлені видом судження - його кількісними та якісними характеристиками.
а) Жоден засуджений не повинен бути невинний.
1. Общеотріцательное судження (E) перетворюється в общеутвердительное (A)
Схема перетворення судження (E):
2. Общеотріцательное судження (E) звертається в общеотріцательное (E).