Загрузка данных

Чтобы формулы сразу корректно отображались в Microsoft Word при обычном копировании (без необходимости использовать встроенный редактор формул и настраивать LaTeX), я перевел их в стандартные символы Юникода.
Просто скопируй этот список и вставь в свой документ:
 1. ∀x ∀y ∀z P(x, y, z) → ∃x ∃y ∃z P(x, y, z)
 2. ∀x ∀y ∀z P(x, y, z) → P(x, y, z)
 3. P(x, y, z) ∨ ¬P(x, y, z)
 4. P(x, y, z) → P(x, y, z)
 5. ¬(∀x ∀y ∀z P(x, y, z)) ↔ ∃x ∃y ∃z ¬P(x, y, z)
 6. ∃x ∀y ∀z P(x, y, z) → ∀y ∃x ∀z P(x, y, z)
 7. P(x, y, z) ∧ P(x, y, z) ↔ P(x, y, z)
 8. P(x, y, z) → (P(x, y, z) ∨ Q(x, y))
 9. (∀x ∀y ∀z P(x, y, z) ∧ ∀x ∀y ∀z (P(x, y, z) → Q(x, y, z))) → ∀x ∀y ∀z Q(x, y, z)
 10. ¬¬P(x, y, z) ↔ P(x, y, z)