Словарь знаний. Математическая логика
Правила работы.

1. Прочитайте вопрос.
2. Из списка выберите соответствующий термин.
3. При помощи мыши перетащите термин в рамку в центре экрана.
4. Нажмите на кнопку 'Следующий' для перехода к следующему вопросу.
5. Повторите пункты 1-4.
6. В любой момент вы можете вернуться к предыдущему вопросу при помощи кнопки 'Предыдущий'.
7. Нажмите 'Проверить'.
Приступить
Квантор
СДНФ
Логика
Высказывание
тавтология
дизъюнкция
Умозаключение
импликация
коммутативный закон
Доказательство
подформула
эквиваленция
СКНФ
инверсия
предикат



Перетащите в рамку термин

   Вопрос 1
Высказывание, в которое можно подставлять аргументы

Следующий

Проверить
Правила