[417]E, в логике, символ для обозначения общеотрицательных суждений: «ни одно S не есть Р».