Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
О т р и ц а т е л ь н ы м называется такое суждение отношения, в котором говорится о том, что предметы не находятся в определенном отношении.
|
|
Например, «Лейбниц не являлся современником Гегеля».
По качеству суждения отношенияделятся на:
- единично-единичные;
- единично-общие;
- единично-частные;
- обще-общие;
- обще-единичные;
- обще-частные;
- частно-частные;
- частно-общие;
- частно-единичные..
Как и атрибутивные суждения, суждения отношений можно перевести на язык логики предикатов.
Для того, чтобы перевести суждения отношения на язык логики предикатов, необходимо выполнить следующие действия:
1. Заменить единичные имена предметными константами, а общие имена – предикатными константами.
2. Заменить кванторные слова соответствующими кванторами.
3. Записатькванторы в том порядке, в котором они входят в данное суждение.
4. После выполнения действия (3) записать предикат, индивидная переменная которого связывается первым по порядку квантором.
Если это квантор общности, то после данного предиката ставится знак импликации (É), а если квантор существования, то знак конъюнкции (&); после знака импликации или конъюнкции ставится левая скобка, после которой записывается предикат, предметная переменная которого связывается вторым по порядку квантором..
5. Записать формулу, выражающую последний предикат.
6. После формулы, выражающей последний предикат, ставится необходимое число правых скобок. Если суждение отрицательное, то перед последним предикатом ставится знак отрицания.
Осуществим теперь на практике подобный перевод.
Единично-единичное: «Киев больше Одессы» - «а R в»;
единично-общее: «Мой брат знгает всех преподавателей» - " x (Q(x) É R(a, x));
единично-частное: «Моя сестра изучает некоторые иностранные языки» -
$x (P(x) & R(a, x));
обще-единичное: «Все студенты философского факультета изучают логику» -
" x (S(x) É R(x, a));
обще-общее: «Любой нормативный курс по философским дисциплинам больше по объему любого нормативного курса по естественным дисциплинам» -
" x " y (N (x) É (Q(y) É R(x, y)));
обще-частное: «Все мои приятели знакомы с кем-нибудь из моей семьи» -
" x $y (P(x) É (Q(y) & R(x, y)));
частно-единичное: «Некоторые преподаватели знают моего брата» -
$x (Q(x) & R(x, a));
частно-частное: «Некоторые мои приятели изучают некоторые славянские языки» -
$x $y (P(x) & (Q(y) & R(x, y)));
частно-общее: «Некоторые словари больше любого учебника» -
$x " y (P(x) & (Q(y) É R(x, y))).
Зная суть процедуры перевода суждений отношения на язык логики предикатов, можно осуществить такой перевод для любого суждения.
Например, имеем суждение «Все студенты экономического факультета изучают логику, а некоторые студенты экономического факультета изучают географию» -
" x (P(x) É R(x, a)) & $x (P(x) & R(x, в)).