На множестве отрезков 
задано отношение « x короче y ». Известно, что отрезок длиннее отрезка b, а отрезок b длиннее отрезка c. Тогда данному отношению принадлежат пары …
задано отношение « x короче y ». Известно, что отрезок длиннее отрезка b, а отрезок b длиннее отрезка c. Тогда данному отношению принадлежат пары …
- ✓
- ✓
Некоторая упорядоченная пара будет принадлежать данному отношению, если при подстановке первого элемента пары вместо 
, а второго элемента вместо 
получится истинное высказывание.
Так как отрезок
длиннее отрезка 
, а отрезок 
длиннее отрезка 
, то отрезок 
длиннее отрезка 
. Следовательно, 
короче 
, 
короче 
, 
короче 
.
Подставим элементы предложенных пар в данное отношение «
короче 
» и определим значение истинности полученных высказываний.
При подстановке пары
получим высказывание «
короче 
», которое ложно.
При подстановке пары
получим высказывание «
короче 
», которое истинно.
При подстановке пары
получим высказывание «
короче 
», которое истинно.
При подстановке пары
получим высказывание «
короче 
», которое ложно.
Таким образом, данному отношению принадлежат пары
и 
.
, а второго элемента вместо получится истинное высказывание.Так как отрезок
длиннее отрезка , а отрезок длиннее отрезка , то отрезок длиннее отрезка . Следовательно, короче , короче , короче .Подставим элементы предложенных пар в данное отношение «
короче » и определим значение истинности полученных высказываний.При подстановке пары
получим высказывание « короче », которое ложно.При подстановке пары
получим высказывание « короче », которое истинно.При подстановке пары
получим высказывание « короче », которое истинно.При подстановке пары
получим высказывание « короче », которое ложно.Таким образом, данному отношению принадлежат пары
и .