Традиционная логика

ЛОГИЧЕСКОГО КВАДРАТА ЗАКОНЫ

законы, устанавливающие зависимость логических значений простых атрибутивных суждений от типа отношения, в котором они находятся друг с другом.