Основы логики: понятия по объему и умозаключения

Если E есть F, то G есть H;

C не есть D и G не есть H;

Следовательно, A не есть B и E не есть F.

Альтернативы леммы назывались в средние века "рогатым аргументом", так как в том же модусе возможно и противоположное умозаключение: "Если будешь говорить справедливое, тебя возненавидят люди; а если несправедливое — боги" [1].

Статьи по теме: