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

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



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

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

Следующий

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