Отношение Включения Класса В Класс

- части условного высказывания, устанавливающего, что одно событие, состояние и т. П. Является в том или ином смысле условием или основанием для другого. Ус­ловное высказывание обычно формулируется с помощью связки «если..., то...». Высказывание, идущее после слова «если», назы­вается основанием или антецедентом (предыдущим). Выска­зывание, идущее после слова «то», называется следствием или консеквентом (последующим). Напр., в высказывании «Если по проводнику течет ток, то вок­руг проводника обр..

(в логике) отождествляется с многоместным предикатом. Предикаты подразделяются на одноместные, соот­ветствующие свойствам предметов, и многоместные (двухмест­ные, трехместные и вообще п-местные, где п ≥. 2), соответству­ющие О. При этом предикаты записываются в виде пропозици­ональных функций (см. Функция пропозициональная). Число переменных в функции характеризует число мест, на которые могут подставляться имена предметов. Так, пропозициональ­ная функция Р(х) является функцией с одной пере..

(иррефлексивное) - двух­местное отношение R, определенное на некотором множестве, такое, что для любого элемента х этого множества неверно, что оно находится в отношении R к самому себе (неверно, что xRx), т. Е. Возможен случай, что элемент множества не находится в отно­шении R к самому себе. Примерами О. Н. Могут быть «заботиться о», «развлекать», «нервировать» и т. П. Так, если х заботится о у, то х не обязательно заботится о самом себе (см. Отношение рефлек­сивное).. ..

См. Множеств теория.. ..