Контрольные вопросы по логике
Основные законы логики : закон тождества, противоречия, исключенного третьего, достаточного основания. Положение логики высказываний для решения текстовых логических задач. Тема 4. Средства моделирования логики предикатов. Предикатные функции .