Суждения отношений выражают не принадлежность, а различные типы отношений между предметами и свойствами: равенства («Оценка равна знаниям»), подобия («12:4 подобно 9:3»), родства («Кирилл - брат Егора»), одновременности («Жизнь начинается с восходом солнца»), последовательности («Решение логических задач следует проводить параллельно с изучением теории»).
Структуру суждений об отношениях выражают иначе. При помощи каких-либо букв (скажем: x, y) обозначают предметы мысли, а через букву R (от лат. Relation – отношение) выражают отношение между ними: x R y.
Логика отношений разрабатывается в рамках исчисления предикатов.