Sense #0 contexts

… существительное обозначает конкретный объект; 2) употребления, при которых существительное соответствует переменной под квантором существования; 3) употребления, при которых существительное соответствует переменной под квантором всеобщности. Противопоставление …

… доказательств, соответствующих различным классам предикатов доказательств, а также для логик доказуемости с кванторами по доказательствам, соответствующих классу всех предикатов доказательств и классу всех функциональных предикатов …

… переменной под квантором существования; 3) употребления, при которых существительное соответствует переменной под квантором всеобщности. Противопоставление по числу является полноценным только для употреблений первой группы, и …

… бывшего субъекта исходного каузативного глагола в семантике декаузатива предлагается описывать с помощью квантора существования: «Будем считать, что непереходная форма каузативного глагола возникает в результате того, …

… . Множественность, как она выражается в естественном языке, может быть разделительной и собирательной. Квантор общности в логике выражает всеобщность только в контексте разделительной множественности: в формуле …