Для выражения формы суждения или посылки Аристотель предложил следующие выражения: 1) «А присуща (сказывается о) всякой В» — форма общеутвердительного суждения; 2) «А не присуща ни одной В» — форма общеотрицательного суждения; 3) «А присуща некоторой В» — форма частноутвердительного суждения; 4) «А не присуща некоторой В» — форма частноотрицательного суждения.

В этих формулах слова «присуща всякой», «не присуща ни одной», «присуща некоторой», «не присуща некоторой» обозначают то, что остается в логической форме постоянным при рассуждении о любых предметах с любым содержанием, они обозначают и выражают самые связи, в которых находятся разнообразные предметы мыслей и их содержания. Поэтому их можно назвать выражением логических констант. Буквы А, В обозначают те разнообразные элементы мысли, которые находятся в выраженных связях. Поэтому их можно назвать логическими переменными. Сами формулы в целом не являются суждениями, они не истинны и не ложны. Они выражают лишь форму суждений и могут быть названы функциями суждений, которые становятся истинными или ложными суждениями через .подстановку определенных значений на место переменных. Через эту подстановку приведенные формулы могут оказаться соответствующими или несоответствующими действительности с ее структурой.

В средневековой логике эти формулы в целом получили символическое обозначение в виде букв латинского алфавита: буквой А (первая гласная глагола affirmo — утверждаю) стали обозначать форму общеутвердительного суждения, буквой I (вторая гласная того же глагола) — форму частноутвердительного суждения, буквой Е (первая гласная глагола nego—отрицаю)—форму общеотрицательного суждения и буквой О (.вторая гласная глагола nego) — форму частноотрицательного суждения. Лейбниц для выражения форм этих суждений, помимо способов выражения, соответствовавших аристотелевской логике и сохранявших тот смысл общих и частных суждений, при котором допускалось подчинение частных суждений общим и обращение с ограничением общеутвердительных суждений, вводил также следующие формулы (СНОСКА: См. L. Couturat, La logique de Leibniz, Paris 1901, p. 350. 183): 1) А поп В поп est (нет А, которое не есть В, например «нет неинтересных книг», чему равнозначно «всякая книга интересна») — форма общеутвердительного суждения; 2) А поп В est (существует А, которое не есть В, например «есть книги, которые не интересны», чему равнозначно «некоторые книги не интересны») — форма частноотрицательного суждения; 3) АВ поп est (нет таких А, которые были бы В, например «ни одна книга не интересна»)—форма общеотрицательного суждения; 4) АВ est (есть такое А, которое есть В, например «есть книги, которые интересны», чему равнозначно «некоторые книги интересны») — форма частноутвердительного суждения.