Общеотрицательное суждение Е ("Ни одно S нет Р") можно выразить так: х (если х есть S, то х нет Р), или короче: х(S(х) -> Р(х)). Знак "-", поставленный над выражением Р(х), значит отрицание Р(х). В целом эта формула читается так: "Любой предмет х, который имеет свойство S, не владеет свойством Р", или "Ни одно S нет Р".....