исчисление-предикатов

новыебез ответаценныетекущиеизбранныенепринятые
0
голосов
0
ответов
16 показов

Существует ли формула А такая, чтоформула $$\exists x \forall y A$$ общезначима,а формула $$\forall x \exists y A$$ невыполнима?
0
голосов
0
ответов
16 показов

Дайте определение ОМТ (оракульной машины Тьюринга), используя язык предикатов.Машина Тьюринга с оракулом А: это МТ с дополнительной оракульной лентой, ...
0
голосов
0
ответов
21 показ

Выразите в арифметике предикат «x — недостаточное число» (т.е. сумма всех делителей x, кроме самого x, меньше x).
0
голосов
0
ответов
22 показа

Выразите в арифметике предикат «x — недостаточное число» (т.е. сумма всех делителей x, кроме самого x, меньше x).
0
голосов
1
ответ
37 показов

$$\forall y \exists x (( \exists xA(x, y)) \rightarrow ( \forall yA(x, y))$$$$\forall y \forall x (A(x, y) \rightarrow A(x, f(x))$$Как в данных случая ...
0
голосов
0
ответов
116 показов

Ввести необходимые предикаты и построитьформулу алгебры предикатов, выражающую следующее утверждение: "Найдется черный шар, лежащий под всеми черными ...
0
голосов
0
ответов
50 показов

F(p)=1/(p^4-1)^2Подскажите, пожалуйста, можно ли найти оригинал функции без применения способа разложения на простейшие дроби?
0
голосов
0
ответов
70 показов

Есть такое задание: http://prntscr.com/q55bz7Решение: http://prntscr.com/q55cx7. Но не уверена, что верно. Там предикат R(x, y) пришлось формулировать ...
1
голос
1
ответ
102 показа

Пусть M - множество точек на плоскости. Рассмотрим два предиката на М.B(a,b,c) - "точки a,b,c лежат на одной прямой, причем b расположена между a и c" ...
0
голосов
0
ответов
126 показов

Помогите, пожалуйста, записать на языке математической логики:"Уравнение K имеет не меньше трех корней при q=1"
0
голосов
0
ответов
156 показов

Сама формула: ∀(x ≤ y→x < Sy)Истинна ли формула в структуре Z? (лично мне не понятно что значит S?)
0
голосов
0
ответов
201 показ

Как перевести предложение: Всякому в Москве не перекланяешься, хоть лоб разбей.Я не в теме, помогите, пожалуйста!
1
голос
1
ответ
116 показов

Задание: http://prntscr.com/o3c406Прошу проверить решение, ибо сомневаюсь. а) f(x, y, z) = f(y, x, z);б) Ф(x, y+z, t) = f(Ф(x, y, t₁), Ф(x, z, t₂), t)
0
голосов
1
ответ
130 показов

Какой предикат задает формула ∀x(∀yA(x, y) → ∀xA(y, x)) в интерпретации на множестведействительных чисел, если A(x, y) интерпретируется как предикат « ...
1
голос
0
ответов
466 показов

Задача 1:а)Запишите при помощи формул исчисления предикатов следующие утвержденияi)Кто хочет в гости по утрам,тот поступает мудроii)Винни-Пух ходит в ...

1234следующий »

на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru