Логика предикатов (1 вариант)
1. Дано функциональное высказывание ∃xP(x,f(a))∧¬∃xS(x,f(a)). Какое из предложений соответствует этому высказыванию?
1. Некоторые люди лицемеры.2. Все любят Джейн, но она не любит никого.
3. Волга шире Днепра.
4. Многие знают тайну Н-ва, но никто о ней не говорит.
5. Не всякое число делится на 3.
2. Дано функциональное высказывание: ∃x(P(x)∧R(x)). Какое из предложений соответствует этому высказыванию?
1. Некоторые люди лицемеры.2. Все любят Джейн, но она не любит никого.
3. Волга шире Днепра.
4. Не всякое число делится на 3.
5. Каждый русский город строился на реке или холме.
3. Дано функциональное высказывание: ∀x(P(x)→R(x)). Какое из предложений соответствует этому высказыванию?
1. Некоторые политики лицемеры.2. Все живущие смертны.
3. Волга шире Днепра.
4. Не всякое число делится на 3.
5. Каждый русский город строился на реке или холме.
4. Дано функциональное высказывание: ¬∀x(S(x,a)). Какое из предложений соответствует этому высказыванию?
1. Каждый русский город строился на реке или холме.2. Простые числа обязательно нечетные числа.
3. Не всякое число делится на 3.
4. Все любят Джейн, но она не любит никого.
5. Волга шире Днепра.
5. Дано функциональное высказывание: ∀x(P(x)→¬R(x)). Какое из предложений соответствует этому высказыванию?
1. Все любят Джейн, но она не любит никого.2. Волга шире Днепра.
3. Не всякое число делится на 3.
4. Каждый русский город строился на реке или холме.
5. Простые числа обязательно нечетные числа.