На множестве 
={Макар, Степан, Илья, Антон, Борис, Павел} задано отношение «
– ровесник 
». Известно, что данному отношению принадлежат пары (Макар, Степан), (Степан, Илья), (Макар, Антон) и не принадлежат пары (Макар, Борис) и (Антон, Павел). Тогда ровесниками Ильи являются …
={Макар, Степан, Илья, Антон, Борис, Павел} задано отношение «– ровесник ». Известно, что данному отношению принадлежат пары (Макар, Степан), (Степан, Илья), (Макар, Антон) и не принадлежат пары (Макар, Борис) и (Антон, Павел). Тогда ровесниками Ильи являются …
- ✓ Антон
- ✓ Макар
Некоторая упорядоченная пара будет принадлежать данному отношению, если при подстановке первого элемента пары вместо 
, а второго элемента вместо 
получится истинное высказывание.
Так как отношению «
– ровесник 
» принадлежат пары (Макар, Степан), (Степан, Илья), (Макар, Антон), то будут истинны высказывания «Макар – ровесник Степана», «Степан – ровесник Ильи», «Макар – ровесник Антона», то есть Макар, Степан, Илья и Антон – ровесники.
Так как отношению «
– ровесник 
» не принадлежат пары (Макар, Борис) и (Антон, Павел), то Макар не является ровесником Бориса, а Антон – ровесником Павла. Значит, Борис и Павел имеют другой возраст, нежели Макар, Степан, Илья и Антон. Таким образом, ровесниками Ильи являются Антон и Макар.
, а второго элемента вместо получится истинное высказывание.Так как отношению «
– ровесник » принадлежат пары (Макар, Степан), (Степан, Илья), (Макар, Антон), то будут истинны высказывания «Макар – ровесник Степана», «Степан – ровесник Ильи», «Макар – ровесник Антона», то есть Макар, Степан, Илья и Антон – ровесники.Так как отношению «
– ровесник » не принадлежат пары (Макар, Борис) и (Антон, Павел), то Макар не является ровесником Бориса, а Антон – ровесником Павла. Значит, Борис и Павел имеют другой возраст, нежели Макар, Степан, Илья и Антон. Таким образом, ровесниками Ильи являются Антон и Макар.