Главная /
Введение в логику /
Какой из разделов математической логики позволяет формализовать утверждения, связанные с множественными объектами?
Какой из разделов математической логики позволяет формализовать утверждения, связанные с множественными объектами?
вопросПравильный ответ:
Логика предикатов
Логика высказываний
Темпоральная логика
Модальная логика
Сложность вопроса
71
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Это было сложно
16 мар 2020
Аноним
Если бы не опубликованные решения - я бы сломался c этими тестами интуит.
13 июн 2017
Аноним
Экзамен сдан на 5. Спасибо за халяуву
18 янв 2016
Другие ответы на вопросы из темы школа интуит.
- # Истинность какого вывода не вызывает сомнения если известно, что: Земля – планета Солнечной системы. Солнце – звезда в галактике Млечный путь. Наша галактика – это спиральная галактика со многими рукавами. Солнце находится в рукаве Ориона. Галактика Млечный путь вместе с галактиками Андромеды и Треугольника входят в скопление Девы.
- # Неполная индукция
- # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6: ID персоныФамилияИмяОтчествополГод рождения1СоколовПетрНиколаевичмуж19602СоколоваАннаПетровнажен19613СоколовНиколайПетровичмуж19824СоколовАнтонПетровичмуж19885СоколоваЕленаПетровнажен19846ЧижиковСергейЮрьевичмуж19597СамохинаТатьянаАлександровнажен19608ЧижиковаЛюбовьСергеевнажен19819ЧижиковаНинаСергеевнажен198510ЧижиковВасилийСергеевичмуж198311ЧижиковНиколайВасильевичмуж200312ЧижиковВладимирВасильевичмуж200513НектоОлегОлеговичмуж1999 Таблица "Родители" имеет 3 столбца – задает отношение арности 3: ID семьиID мужаID жены1122673105 Таблица "Дети" имеет 2 столбца – задает отношение арности 2: ID семьиID ребенка1314152829210311312 К базе данных, хранящей информацию о семьях, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "Какой дед старше по возрасту у Чижикова Николая Васильевича?". Укажите ID деда.
- # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4): [Большая Картинка] Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
- # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) | (x1 ∧ x3) = 1 (x2 ≡ x3) | (x2 ∧ x4) = 1 (x3 ≡ x4) | (x3 ∧ x5) = 1 (x4 ≡ x5) | (x4 ∧ x6) = 1 (x5 ≡ x6) | (x5 ∧ x7) = 1 (x6 ≡ x7) | (x6 ∧ x8) = 1 (x7 ≡ x8) | (x7 ∧ x9) = 1