Силлогизм и транзитивность

большая посылка:
- все ЛЮДИ (подлежащее) суть СМЕРТНЫ (сказуемое) - P < M;
малая посылка:
- СОКРАТ (подлежащее) есть ЧЕЛОВЕК (сказуемое) - С < P;
следствие:
= СОКРАТ (подлежащее) есть СМЕРТНЫЙ (сказуемое) - С < M.

здесь транзитивность принадлежности: C < P < M --> C < M:

в большой посылке Р субъект, а в малой - предикат и именно поэтому он связывает С с М, делая силлогизм правильным.

но в целом это древняя проблема импликации, которая истинна, если следствие истинно.

но некоторые нарушают сей порядок, прыгая в другую сторону: P < M и C < M --> C < P

не хорошо!