Главная /
Языки и исчисления /
Верно утверждение для любой булевой функции [формула] аргументов:
Верно утверждение для любой булевой функции от аргументов:
вопросПравильный ответ:
- записывается в виде пропозициональной формулы
- тавтология, или - неопределенна
и все получаемые из нее формулы - тавтологии
Сложность вопроса
75
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Если бы не эти решения - я бы не осилил c этими тестами интуит.
17 июл 2018
Аноним
Какой человек ищет эти тесты по интуит? Это же элементарно (я не ботан)
07 июн 2018
Аноним
Большое спасибо за тесты по интуит.
26 ноя 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Если теория устойчива относительно перехода к подструктурам, то она:
- # Всякое конечное гипердействительное число бесконечно близко к:
- # Если Г - множество формул, то:
- # Чтобы задать интерпретацию сигнатуры S, необходимо:
- # Выразимые в арифметике Пресбургера предикаты - это бескванторные формулы из: