Распределенность терминов

То есть распределенность терминов S и P. Распределенность выражает количественную характеристику терминов. Термин считается распределенным, если его объем полностью включен, либо полностью исключен из объёма другого термина. Термин считается распределённым, если он мыслится в полном объёме.

Отношения между суждениями по истинности.

Стороны и диагонали квадрата выражают возможные типы отношений между простыми суждениями. Истинная характеристика относится к суждениям имеющим один и тот же S и P.

Отношения между A и E называются противоположными или контрарными. Отношения противоположности имеют место между общими суждениями. Отношения противоречия - по диагонали. Отношения подчинения по вертикалям. Отношения между J и O, подпротивности.

Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными. Все мужчины галантны. Ни один мужчина не галантен. Если одно из противоположных истинно, то другое ложно, но не наоборот.

Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно ни ложными, ни истинными. Если одно из них истинно, то другое непременно ложно, и наоборот.

Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений.

Ложность подчинённых обуславливает ложность общих.

Отношения подпротивности – суждения находящиеся в отношении подпротивности не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из суждений ложно, то другое непременно истинно, но не наоборот.

Суждения отношения

Суждения отношения – это такие суждения, в предикате которых выражены не свойства или признаки предметов, а отношения между ними.

По количеству предметов, вступающих в отношения, выделяют двухчленные, трёхчленные ... n-членные отношения, а соответственно и суждения с двухместными, трёхместными ... n-местными предикатами. R – предикат, в котором выражено то, или иное отношения. R (x1, х2 ... xn ) x – субъект, то есть предмет, вступивший в отношения.

Наиболее развитой частью отношений являются бинарные (2-ух членные) отношения. Свойства:

Рефлективность. Некоторые отношения, имеющие место между любым предметом X и Y логического класса, называются рефлексивными, если каждый предмет этого логического класса, находится в данном отношении к самому себе. Для всякого X Y верно, что если предмет X находится в некотором отношении к предмету Y, то и предмет X и предметY находятся в данном же отношении R к самим себе. Свойства называют антирефлексивными, если ни один предмет логического класса не находится в данном отношении к самому себе.

Симметричность. Отношения является симметричным, если для любых предметов логического класса верно, что если предмет X находится в некотором отношении R к предмету Y, то и предмет Y, находится в данном же отношении к предмету X.. Пример – дружба. Для всякого X Y верно, что если предмет X находится в некотором отношении R к Y, то и предмет Y находится в данном же отношении к предмету X. Отношения называют антисимметричными, если они не находятся в этом отношении к друг другу.

Транзитивность. Некоторые отношения называют транзитивными, если из наличия данного отношения между любым предметом X и Y, а также предметом X и Z, следует наличие этого же отношения между предметами X и Z. .

Пример – параллельность.

Для всякого X Y верно, что если предмет X находится в некотором отношении R к предмету Y, а предмет Y находится в данном же отношении к предмету Z, то тогда предмет X находится в этом же отношении к предмету Z. В случае несоблюдения данного условия отношения называют интранзитивными.

Эквивалентность. Отношения будет эквивалентным, если оно обладает вышеуказанными 3-мя свойствами.