1
голос
1
ответ
17 показов

Рассмотрим конечную сигнатуру без констант и функциональных символов, все предикатныесимволы которой одноместны. Существует ли в этой сигнатуре выполн ...
1
голос
1
ответ
23 показа

Выразим ли предикат"x=3"в множестве Nс предикатами равенства а)"y кратно z"?б)"xy=z"?
1
голос
1
ответ
15 показов

Пусть формулаAне содержит других связок, кроме↔. Докажите, чтоAобщезначима тогда итолько тогда, когда каждая переменная входит вAчётное число раз.
0
голосов
1
ответ
14 показов

Являются ли совместными теории сигнатуры {P^2} (один двухместный предикатный символ)?а) $$\{\exists x \forall y \neg P(x,y), \exists y \forall x P(x,y ...
0
голосов
1
ответ
16 показов

Является ли общезначимой (в нормальных моделях) данная формула?$$[\forall x(P(x) \rightarrow Q(f(x))) \space \wedge \space \forall x (Q(x) \rightarrow ...
1
голос
1
ответ
22 показа

Пусть в сигнатуре имеется два одноместных предикатных символа. Сколько существует неизоморфных моделей этой сигнатуры с носителем из n элементов?
0
голосов
1
ответ
14 показов

Является ли выполнимой (в нормальных моделях) данная формула?$$\forall x \space g(f(x)) = x \space \wedge \space \exists y \forall x \neg f(x)=y$$
0
голосов
0
ответов
13 показов

Доказать, что множество монотонно возрастающих функций R-->R равномощно R
0
голосов
1
ответ
43 показа
0
голосов
1
ответ
18 показов
0
голосов
0
ответов
26 показов

Дано множество M={a, b}. Предикат P(x,y), где x принадлежит M, y принадлежит M, задан следующей таблицей Определить значение истинности высказывания:Е ...
0
голосов
0
ответов
20 показов

Докажите что множество всех замкнутых интервалов в Q счётно
1
голос
2
ответа
72 показа
0
голосов
0
ответов
30 показов

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