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