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

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

Дана следующая задача:https://i.gyazo.com/9d4893d65b70322a7f01c989ba874ffe.pngМною было получено следующее решение, но я сомневаюсь насчет переменной ...
0
голосов
0
ответов
111 показов

Добрый день! Подскажите, пожалуйста, алгоритм доказательства задачи 1 (воспользоваться тем, что F <-> G = 1)? Или воспользоваться таблицей истин ...
1
голос
1
ответ
68 показов

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

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

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

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

$$\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
ответов
162 показа

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

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

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

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

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

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

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

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

12345следующий »

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