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