Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Математическая логика и теория алгоритмов.doc
Скачиваний:
0
Добавлен:
01.04.2025
Размер:
4.29 Mб
Скачать

Элементарные и нормальные формы

131. Задание {{ 45 }} ТЗ 45 Тема 3-19-0

Конъюнкция элементарных дизъюнкций называется ...

 конъюнктивно нормальной формой;

 дизъюнктивно нормальной формой;

 элементарной дизъюнкцией;

 элементарной конъюнкцией.

132. Задание {{ 46 }} ТЗ 46 Тема 3-19-0

Дизъюнкция элементарных конъюнкций называется ...

 конъюнктивно нормальной формой;

 дизъюнктивно нормальной формой;

 элементарной дизъюнкцией;

 элементарной конъюнкцией.

133. Задание {{ 47 }} ТЗ 47 Тема 3-19-0

Отдельно взятое высказывание или конъюнкция отдельно взятых высказываний называется ...

 конъюнктивно нормальной формой;

 дизъюнктивно нормальной формой;

 элементарной дизъюнкцией;

 элементарной конъюнкцией.

134. Задание {{ 48 }} ТЗ 48 Тема 3-19-0

Отдельно взятое высказывание или дизъюнкция отдельно взятых высказываний называется ...

 конъюнктивно нормальной формой;

 дизъюнктивно нормальной формой;

 элементарной дизъюнкцией;

 элементарной конъюнкцией.

135. Задание {{ 49 }} ТЗ 49 Тема 3-19-0

Элементарная конъюнкция тождественно ложно тогда и только тогда, когда ...

 она не содержит хорошую пару;

 каждая элементарная дизъюнкция этой формы содержит хорошую пару;

 она содержит отрицание высказывания;

 она содержит хорошую пару.

136. Задание {{ 50 }} ТЗ 50 Тема 3-19-0

Элементарная дизъюнкция тождественно истинно тогда и только тогда, когда ...

 она не содержит хорошую пару;

 каждая элементарная конъюнкция этой формы содержит хорошую пару;

 она содержит отрицание высказывания;

 она содержит хорошую пару.

137. Задание {{ 51 }} ТЗ 51 Тема 3-19-0

КНФ тождественно истинно тогда и только тогда, когда ...

 она не содержит хорошую пару;

 каждая элементарная дизъюнкция этой формы содержит хорошую пару;

 каждая элементарная конъюнкция этой формы содержит хорошую пару;

 она содержит хорошую пару.

138. Задание {{ 52 }} ТЗ 52 Тема 3-19-0

ДНФ тождественно ложно тогда и только тогда, когда ...

 она не содержит хорошую пару;

 каждая элементарная дизъюнкция этой формы содержит хорошую пару;

 каждая элементарная конъюнкция этой формы содержит хорошую пару;

 она содержит хорошую пару.

139. Задание {{ 220 }} ТЗ № 220

Всякую Булевую функция можно представить булевыми формулами , а именно

140. Задание {{ 221 }} ТЗ № 221

Функция принимающее значение и область определения, которого состоит из множества высказываний, называется

 формулой в исчислении высказываний

 предикатом

 булевой функцией

 алгеброй Буля

Объем и содержание понятий Объем и содержание понятий

141. Задание {{ 412 }} ТЗ № 41

Отметьте правильный ответ

Множество всех объектов, обозначаемых одним термином, называется

 Смыслом понятий

 Содержанием понятий

 Объемом понятий

 Видом понятий

142. Задание {{ 413 }} ТЗ № 42

Отметьте правильный ответ

Множество всех существенных свойств объекта, отраженных в этом понятии называется

 Родом понятия

 Видом понятия

 Объемом понятия

 Содержанием понятия

143. Задание {{ 414 }} ТЗ № 43

Отметьте правильный ответ

Предложение, разъясняющее суть нового термина (или обозначения) называют

 определением

 теоремой

 содержанием

 аксиомой

144. Задание {{ 415 }} ТЗ № 44

Отметьте правильный ответ

Определение должно быть

 Соразмерным, ясным, не должно быть порочного круга

 Ясным и не должно быть порочного круга

 Соразмерным, ясным

 соразмерным

145. Задание {{ 416 }} ТЗ № 48

Отметьте правильный ответ

Какое из установленных отношений между понятиями «прямоугольник» и «четырехугольник» верно

 Объемы понятий пересекаются, т.е. они находятся в отношении рода и вида

 Объемы понятий не пересекаются, т.е. они не находятся в отношении рода и вида

 Объемы данных понятий находятся в отношении включения, но не совпадают

 Объемы данных понятий совпадают