Логического квадрата законы

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