Евгений

Вообще то что вы перевели выше "p есть s а s есть p" это формальная логика. S и P это содержание места них может быть что угодно, содержание специально убирают что бы посмотреть на правильность формы