Пятый (Артемьева А)

Специальные | А | Б | В | Г | Д | Е | Ё | Ж | З | И | К | Л | М | Н | О
П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Э | Ю | Я
Все

---

Вывод формулы : образование доказуемой формулы из исходных доказуемых формул путем применения правил вывода

Выполнимая формула : формулу A называют выполнимой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных и не является тождественно истинной