Якщо судження А, Е, І, О виразити за допомогою кванторів спільності та існування, то заперечення цих суджень можна записати так:

Заперечення судження А — х(S(х) -> Р(х)).

Заперечення судження Е — x(S(х) —> Р(х)).

Заперечення судження I — х(S(х) Р(х)).

Заперечення судження О — X (S(x:) Р(x)).

Знак "—" над квантором означає заперечення вираженого ним судження.

Відношення еквівалентності можна записати тепер так:

х(8(х) -> Р(х)} еквівалентне х(8(х) Р(х))

х(5(ж) -> Р(х)) еквівалентне х(8(х) Р(х)) .

х(8(х) Р(х)) еквівалентне х(8(х) -> Р(х))

х(8(х) Р(х)) еквівалентне х(8(х) -> Р(х)).

Список використаної літератури

Жеребкін В.Є.; Логіка: Підручник. – 4-те вид., випр. – К.: Т-во “Знання”, КОО, 2001. –255с.

Кириллов В.И., Старченко А.А., Логика. М., 1995

Марценюк С.П. Логіка. К., 1993