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

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



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

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

Следующий

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