---

Вот категорические суждения, законы обратимости и законы логики, записанные стандартными символами Юникода. Вы можете просто скопировать этот текст и вставить в Microsoft Word — все кванторы, стрелки и знаки отрицания отобразятся корректно.
### Категорические суждения
*(Здесь P выступает как субъект, Q — как предикат)*
 * **A – общеутвердительное:** ∀x(Px → Qx)
   **Предложение:** Все реляционные базы данных суть структурированные хранилища.
 * **E – общеотрицательное:** ¬∃x(Px ∧ Qx) *(или ∀x(Px → ¬Qx))*
   **Предложение:** Никакие синтаксические ошибки не суть корректные алгоритмы.
 * **I – частноутвердительное:** ∃x(Px ∧ Qx)
   **Предложение:** Некоторые компьютерные игры суть многопользовательские проекты.
 * **O – частноотрицательное:** ∃x(Px ∧ ¬Qx)
   **Предложение:** Некоторые веб-страницы не суть динамические приложения.
### Законы обратимости (Противоречия по логическому квадрату)
 * **A → ¬O**
   **Предложение:** Если все реляционные базы данных суть структурированные хранилища, то неверно, что некоторые реляционные базы данных не суть структурированные хранилища.
 * **O → ¬A**
   **Предложение:** Если некоторые веб-страницы не суть динамические приложения, то неверно, что все веб-страницы суть динамические приложения.
 * **E → ¬I**
   **Предложение:** Если никакие синтаксические ошибки не суть корректные алгоритмы, то неверно, что некоторые синтаксические ошибки суть корректные алгоритмы.
 * **I → ¬E**
   **Предложение:** Если некоторые компьютерные игры суть многопользовательские проекты, то неверно, что никакие компьютерные игры не суть многопользовательские проекты.
### Законы логики (Подчинение и противоположность)
 * **A → I**
   **Предложение:** Если все процессоры суть вычислительные устройства, то некоторые процессоры суть вычислительные устройства.
 * **E → O**
   **Предложение:** Если никакие регистры памяти не суть внешние накопители, то некоторые регистры памяти не суть внешние накопители.
 * **A → ¬E**
   **Предложение:** Если все алгоритмы сортировки суть последовательности шагов, то неверно, что никакие алгоритмы сортировки не суть последовательности шагов.
 * **E → ¬A**
   **Предложение:** Если никакие маршрутизаторы не суть системы управления базами данных, то неверно, что все маршрутизаторы суть системы управления базами данных.
 * **I → ¬E** *(или подчинение наоборот)*
   **Предложение:** Если некоторые скрипты суть исполняемые файлы, то неверно, что никакие скрипты не суть исполняемые файлы.
 * **O → ¬A**
   **Предложение:** Если некоторые игровые движки не суть бесплатные программы, то неверно, что все игровые движки суть бесплатные программы.