математическая-логика

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

пусть если x, y - формулы, то |x|y| (1 правило) и |x||y| (2 правило) - тоже формулы разобрать формулу ||p|||q||r||s||||t| двумя способами.1 разбор:1) ...
0
голосов
0
ответов
38 показов

Хочется проверить, верно ли решилась задачаПусть множество B конечно, а множество A не разрешимо. Может ли AUB быть разрешимым? Получилось, что нет. П ...
0
голосов
0
ответов
34 показа

Допустим есть три предпорядка (или может даже решетки) А, В, С. Пусть элементы $%a,b,c$% из $%A,B,C$% таковы, что существуют конечные цепи $%a_0 < ...
0
голосов
0
ответов
42 показа

Как доказать, что равенство (A\B)\C=A(B\C) выполняется не всегда?
0
голосов
0
ответов
62 показа

непустые множества A,B таковы, что AxB = (A⋂B)x(A⋃B). Верно ли что А=В?моя логика если А=В то АхА = (A⋂А)x(A⋃А) => AxA = AxA т.к. первая скобка дае ...
0
голосов
0
ответов
74 показа

У меня такое ощущение, что условие этой задачи взяли из старого советского учебника и перевели, только имена мальчиков изменили. Может, кто помнит эту ...
0
голосов
0
ответов
78 показов

Дана грамматика:A ::= B|C|DB ::= bB||dD|AC ::= cC|dD|AD ::= dD|Aа) удовлетворяет ли эта грамматика условию однозначности ветвления по первому символу? ...
0
голосов
0
ответов
135 показов

Добрый день!Задание состоит в следующем: выделить атомарные высказывания и построить формулу приведенной фразы.Фраза: Если Андрей сдаст экзамены, он п ...
0
голосов
0
ответов
123 показа

Все мы знаем, что условия бывают необходимыми и достаточными. Скажем, для того чтобы число делилось на 6, необходимо, чтобы оно было чётным. А для тог ...
0
голосов
0
ответов
80 показов

Пусть A и B перечислимы, а A∪B и A∩B разрешимы. Нужно доказать, что A и B разрешимы
0
голосов
0
ответов
86 показов

Доказать, что в интуиционистком исчислении высказываний не являются тавтологиями:(¬B->¬A)->(A->B);¬(A&B)->(¬A)u(¬B).
0
голосов
0
ответов
102 показа

Пользуясь тем, что для любых двух множеств $%X, Y$% существует множество $%Y^X$% функций $%X\to Y$%, доказать, что для каждого множества $%Z$% существ ...
0
голосов
1
ответ
140 показов

Запишите равенство $%a=(b,(c,d))$% в качестве формулы, в которой все кванторы имеют вид $%\forall x\in y$% или $%\exists x\in y$%.Для начала я расписа ...
0
голосов
0
ответов
117 показов

Два связанных вопроса.Ради чего Фреге стал изучать логику? Что такое случилось, из-за чего логические исследования назрели? Верно ли, что неудовлетвор ...
0
голосов
1
ответ
210 показов

Рассмотрим частичную функцию $$f(x) = \mu y(1 \dot{-} |g(y) - x| = 0)$$ где $$g(y) = \begin{cases} 3y + 1, \text{если } y \neq 4 \\ \text{не определен ...

12345 ... 77следующий »

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