Ebook: Факультативный курс ''Система автоматизации процесса решения задач''. Часть 1. Элементы математической логики

На примере занимательных задач авторы знакомят читателей с математической логикой, с понятиями истинного и ложного высказывания, отрицания, конъюнкции, дизъюнкции, таблицы истинности. В приводимых случаях решение получается однозначно и автоматически. В качестве примеров использованы задачи из книг Раймонда М. Смаллиана ''Как же называется эта книга?'', ''Принцесса или тигр?'', ''Алиса в стране смекалки''.