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

ЧИСТАЯ ЛОГИЧЕСКАЯ ФОРМА ПРОСТОГО АТРИБУТИВНОГО СУЖДЕНИЯ

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