к і грає важливу роль у теоретичних додатках комп'ютерної науки. Насправді побудова подібних логік можна вважати результатом розвитку напрямку, названого "Субструктурного логіки", де обчислення виходять за рахунок елімінації, обмеження і комбінування різних структурних правил.
Практична частина
Провести логічний аналіз висловлювань. Побудувати їх формули
1. Всі люди, які страждають від подагри, лихоманки або хвороби очей - хворі; але не всі хворі люди страждають від подагри, лихоманки і хвороби очей. Точно також всі теслі, чоботарі, скульптори - ремісники; але не всі ремісники суть теслі, чоботарі, скульптори. Подібним чином і всі божевільні нерозумні, але не всі нерозумні люди - божевільні. p> Всі люди, які страждають від подагри, лихоманки або хвороби очей - хворі; - общеутвердітельное висловлювання В«всі S є РВ»
< p> але не всі хворі люди страждають від подагри, лихоманки і хвороби очей. частноотрицательное вислів: В«деякі S не є РВ».
Точно також всі теслі, чоботарі, скульптори - ремісники; общеутвердітельное висловлювання В«всі S є РВ».
але не всі ремісники суть теслі, чоботарі, скульптори. - Общеутвердітельное висловлювання В«всі S є РВ» общеутвердітельное висловлювання В«всі S є РВ». p> Подібним чином і всі божевільні нерозумні,-общеутвердітельное висловлювання В«всі S є РВ»
але не всі нерозумні люди - божевільні. - Общеутвердітельное висловлювання В«всі S є РВ»
2. Багатіти, упадають у спокуси та в сітку, та в численні нерозумні й шкідливі пожадливості, що занурюють людей у ​​безодню і погибель. Або корінь усіх зол є сріблолюбство, якому, віддавшись, дехто відбились від віри й самих себе великі страждання. p> Перетворенняє безпосереднім висновком, в якому висновок виходить шляхом зміни якості посилки. Якщо посилка - стверджувальне судження, то в результаті перетворення воно стає негативним судженням. Негативне судження, навпаки, перетворюється на стверджувальне.
Всі А є В.
Жодне А не є не-В.
В
3. Розкіш в один і той же час і шкідлива для суспільства, і корисна; нею користуються, або ж на шкоду іншим людям, з якими ця особа стоїть в яких-небудь відносинах, що зобов'язують його надавати іншим допомогу і підтримку; але з іншого боку, розкіш веде до витрати грошей, і тому вона корисна для суспільства.
Нестрогая диз'юнкція - таке розділову судження, в якому вхідні в нього судження пов'язані логічним союзом В«абоВ», що має невиключне значення/В«або А, або В, або те й інше разомВ» /. Тут істинність одного висловлювання не заперечує істинності іншого.
4. Ми можемо бути щасливі тільки або відмовившись від пристрастей; або борючись з ними. - Розділове/Диз'юнктивне/судження - судження, в якому висловлюється знання того, що даного предмету притаманний/не є притаманним/тільки одна ознака з числа згаданих в судженні.
Якщо ми отрешать від них, то цей стан нещасне, так як воно принижує людини, і ми ніколи не можемо бути задоволені ним.
Якщо ми боремося з ними, то це теж положення нещасне, тому що немає нічого важче тієї внутрішньої боротьби, яку нам постійно доводиться вести з самим собою.
Отже, ми ніколи не можемо бути щасливі.
У тому випадку, коли вихідні судження об'єднуються в складне логічним союзом В«якщо ... тоВ», ми маємо справу з умовним судженням. Умовним судженням називається судження, в якому відображається залежність явища від певних умов і в якому підставу і наслідок з'єднуються за допомогою логічного союзу В«якщо ... то В». Логічну операцію зв'язку підстави і наслідку з допомогою союзу В«якщо ... тоВ» називають імплікацією: В«Якщо А, то ВВ».
Список літератури
1. Бузук Г.Л., Івін А.А., Панов М.І. Наука переконувати: логіка і риторика у питаннях і відповідях. М.: Вища школа, 1992. p> 2. Гжегорчик А. Популярна логіка. М.: ИНФРА-М, 1999. p> 3. Зегет В. Елементарна логіка. М.: Мир, 1985. p> 4. Гетманова А.Д. Підручник з логіки. М.: ЕКМОС, 1994. p> 5. Івін А.А. За законами логіки. М.: Мир, 1983. p> 6. Кирилов В.І., Старченко А.А. Логіка. Підручник. М.: Политиздат, 1987. p> 7. Короткий словник з логіки. М.: Справа, Віта-Пресс, 1991. br/>
