-1
голосов
0
ответов
38 показов
Формулы с кванторами
Во-первых, что такое "класс"?Во-вторых, почему такие странные определения? Почему бы не определить $%\exists_{n+1}$% как наименьший класс содержащий $ ...
-1
голосов
0
ответов
35 показов
$%T$%-определимые множества и функции
Определение определимого множества уже было дано: math.hashcode.ru/questions/162814/ Данное определение - то же самое? Это совсем непонятно. И если эт ...
-1
голосов
0
ответов
21 показ
Типы и частичные типы
Продолжение вопроса math.hashcode.ru/questions/162814/Я не понимаю, почему пространство частичных типов соответствует фильтрам на Lx(T) а пространство ...
0
голосов
0
ответов
50 показов
Ещё один вариант парадокса лжеца?
Перед вами следующее утверждение:«Данное утверждение является верным тогда и только тогда, когда дважды два равно пяти».Истинно оно или ложно? Это ещё ...
2
голоса
0
ответов
23 показа
Установить истинность логического выражения своего варианта путем конкретизации
Установить истинность логического выражения своего варианта путем конкретизации.
-1
голосов
0
ответов
52 показа
Структура булевой алгебры
Как ввести структуру булевой алгебры на множестве классов эквивалентности (Упражнение 17)? В самом конце говорится, что конъюнкция соотвествтует перес ...
-1
голосов
0
ответов
20 показов
Подструктуры
Самый последний абзац: почему $%A\subseteq B$%? Чтобы это увидеть, надо проверить, что включение $%i: dom(A)\to dom(B)$% является вложением. Надо пров ...
0
голосов
0
ответов
17 показов
Что можно сказать о высказывании?
Что можно сказать о высказывании если X,Y логически истинны, а Z - ложно.
0
голосов
0
ответов
21 показ
Составление СДНФ
Составьте СДНФ, булевой функции, принимающей значение 1, на следующих наборах переменных.F(0,0,0)=F(0,1,1)=F(1,0,0)=1Составьте СДНФ, булевой функции, ...
0
голосов
0
ответов
22 показа
Доказательство эквивалентности высказываний
Докажите, что отрицание высказывания: "Х есть необходимое и достаточное условие для Y" эквивалентно высказыванию: "Х есть необходимое и достаточное ус ...
0
голосов
0
ответов
21 показ
Доказать эквивалентность логический высказываний
Доказать, что первичная импликация эквивалентна котрапозиции. Подскажите, пожалуйста, как выглядит первичная импликация.
-1
голосов
0
ответов
33 показа
Иное определение структуры
Что значит relation symbol named by R? В предыдущих обозначениях R^A - интерпретация R, а здесь?
-1
голосов
0
ответов
37 показов
Определимые множества
Почему $%Y$% является $%A$%-определимым? Я так понимаю, это значит, что $%\{v\in R:\mathcal M\models \phi(v,a_0,a_1,\dots,a_n)\}=\{x\in R: p(x)=0\}$% ...
-1
голосов
0
ответов
26 показов
Сохранение термов и формул при гомоморфизмах $%V$%-структур
Как доказать первое? Дано: $%h_s(f^A(a))=f^B(h_{(s_1,\dots,h_n)}(a))$%Если терм t - константа, то $%t^A(a)=c^A$%. По условию выполнено равенство выше ...
0
голосов
0
ответов
52 показа
647 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.