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

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



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

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

Следующий

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