Вопросы

1. Высказывание, в которое можно подставлять аргументы
2. Часть формулы, которая сама является формулой
3. Логическое сложение
4. Наука, изучающая законы и формы мышления; учение о способах рассуждений и доказательств
5. Повествовательное предложение, которое является истинным или ложным
6. Форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение
7. Рассуждение по определённым логическим правилам, обосновывающее истинность какого-либо предположения, утверждения, гипотезы или теории
8. Общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание
9. Логическое отрицание
10. Равенство, изображенное на рисунке, называется законом ...
11. ДНФ, удовлетворяющая трем условиям: Не содержит одинаковых элементарных конъюнкций; Ни одна из конъюнкций не содержит одинаковых переменных; Каждая элементарная конъюнкция содержит каждую переменную из входящих в данную ДНФ, к тому же в одинаковом порядке
12. Логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность
13. КНФ, удовлетворяющая трем условиям: Не содержит одинаковых элементарных дизъюнкций; Ни одна из дизъюнкций не содержит одинаковых переменных; Каждая элементарная дизъюнкция содержит каждую переменную из входящих в данную КНФ
14. Тождественно истинное высказывание, инвариантное относительно значений своих компонентов
15. Бинарная логическая связка, по своему применению приближенная к союзам «если…, то…»

Кроссворд знаний. Математическая логика





















Введите ответ для 1-го вопроса    
Проверить


Проверить все