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

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



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

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

Следующий

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