вязка представляется словом «есть» и может отсутствовать. В этом случае вместо нее ставится тире. Кванторным словом является слово «все». Таким образом, суждения выражаются в формах типа «Все (квантор) S (субъект) есть (связка) P (предикат)».
В качестве примера логической формы «все S есть P» можно привести следующие суждения: «Все гусеницы – вредители», «Все люди – млекопитающие» и т. д.