Главная /
Введение в логику /
Для того чтобы логический вывод был корректным, достаточно, если будут:
Для того чтобы логический вывод был корректным, достаточно, если будут:
вопросПравильный ответ:
верны исходные утверждения
верны исходные утверждения и применяются корректные правила вывода
применяются корректные правила вывода
первоначальные факты верны корректны
Сложность вопроса
75
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Благодарю за тесты по интуит.
24 май 2018
Аноним
Зачёт прошёл. Иду в бар отмечать 4 за тест интуит
17 дек 2015
Другие ответы на вопросы из темы школа интуит.
- # Даны множества:X1, X2, X3, X4. Для каких из этих множеств множество Y является собственным подмножеством? X1 = {91, 31, 51, 71 }; X2 = {31, 71, 41}; X3 = {31, 91}; X4 = {31, 61, 91}; Y = {31, 91}
- # Даны множества: X1, X2, X3, X4 . Отметьте множество Y, которое является пересечением заданных множеств. X1 = {2a, 3a, 7a, 9a}; X2 = {3a, 7a, 9a}; X3 = {3a, 9a}; X4 = {3a, 6a, 9a}.
- # Примените метод вывода полной индукции для ответа на вопрос "Сколько чисел - градин в диапазоне [3,5] имеют длину вывода больше 3?"
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите максимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где: Ф1 = (X1 & X2) | X3; Ф2 = X1 ⇒ (X2 ⇒X3); Ф3 = X1 & (X2 & X3).
- # В реляционной базе данных хранится информация о проектной организации в трех таблицах: Сотрудники, Проекты, Разработчики. Таблица "Сотрудники" имеет 6 столбцов – задает отношение арности 6: ID сотрудникаФамилияИмяОтчествоотделДолжность1СоколовПетрНиколаевич1начальник2СоколоваАннаПетровна2программист3СиницынНиколайПетрович3старший программист4ЯстребовАнтонПетрович1архитектор5КоршуноваЕленаПетровна3старший программист6ЧижиковСергейЮрьевич1программист7ВоробьеваТатьянаАлександровна2архитектор8ГолубеваЛюбовьСергеевна2программист9ОрловВасилийСергеевич3программист Таблица "Проекты" имеет 2 столбца – задает отношение арности 2: ID проектаназвание проекта1Супер2Гром3Молния Таблица "Разработчики" имеет 2 столбца – задает отношение арности 2: ID Сотрудника111223344556788999ID проекта123132313131212123 К базе данных, хранящей информацию о проектной организации, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "Сколько сотрудников в должности программиста участвует в разработке проекта Гром?".