2 12 Закрытый тип
Пусть:
–
множество четных натуральных чисел,
,
–
предикат “быть четным числом”.Тогда
формуле
на
естественном языке соответствует
предложение:
1) |
“Высказывание истинно”. |
2) |
“Существует такое Х , при котором высказывание истинно”. |
*3) |
“При любых Х из множества высказывание истинно”. |
4) |
“При любых Х из множества высказывание истинно или ложно”. |
2 13 Закрытый тип
Пусть: – множество натуральных чисел, , – предикат “быть четным числом”.Тогда формуле на естественном языке соответствует предложение:
*1) |
“В множестве существует четное число”. |
2) |
“Существует натуральное число такое, что высказывание истинно и ложно”. |
3) |
“Существует четное число в любом множестве”. |
4) |
“Существует такое четное число, что высказывание ложно”. |
2 14 Закрытый тип
Пусть:
–
множество студентов,
,
–
предикат “быть любознательным”.Тогда
формуле
на
естественном языке соответствует
предложение:
1) |
“Существует такой студент, что высказывание истинно”. |
2) |
“Некоторые студенты любознательны”. |
3) |
“Каждый любознательный – студент”. |
*4) |
“Каждый студент любознателен”. |
2 15 Закрытый тип
Пусть: – множество людей-атлетов, , – предикат “быть сильным”.Тогда формуле на естественном языке соответствует предложение:
1) |
“Существует сильный человек”. |
2) |
“Каждый атлет – человек”. |
*3) |
“Каждый атлет силен”. |
4) |
“Для любого человека высказывание истинно”. |
2Закрытый тип
Формула
эквивалентна
формуле:
1) |
|
*2) |
|
3) |
|
4) |
|
2 2 Закрытый тип
Формула
эквивалентна
формуле:
*1) |
|
2) |
|
3) |
|
4) |
|
2 3 Закрытый тип
Формула
эквивалентна
формуле
1) |
|
2) |
|
*3) |
|
4) |
|
2 4 Закрытый тип
Формула
эквивалентна
формуле:
1) |
|
*2) |
|
3) |
|
4) |
|
2 5 Закрытый тип
Формула
эквивалентна
формуле:
1) |
|
2) |
|
3) |
|
*4) |
|
2 6 Закрытый тип
В префиксной нормальной форме (ПНФ) представлена формула:
*1) |
|
2) |
|
3) |
|
4) |
|
1 7 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
3 8 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
3 9 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 10 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 11 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 12 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
3 13 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 14 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
*1) |
|
2) |
|
3) |
|
4) |
|
3 15 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
3 16 Закрытый тип
Для данной формулы логики предикатов
префиксная
нормальная форма (ПНФ) имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
3 17 Закрытый тип
Формула
эквивалентна
формуле:
*1) |
|
2) |
|
3) |
|
4) |
|
1 18 Закрытый тип
Формула
эквивалентна
формуле:
1) |
|
2) |
|
3) |
|
*4) |
|
1 19 Закрытый тип
Формула
эквивалентна
формуле:
*1) |
|
2) |
|
3) |
|
4) |
|
1 20 Закрытый тип
Формула
эквивалентна
формуле:
1) |
|
2) |
|
3) |
|
*4) |
|
1 21 Закрытый тип
Формула
эквивалентна
формуле:
*1) |
|
2) |
|
3) |
|
4) |
|
