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

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

Добрый день. Не могу понять, как в данном случае доказать допустимость.Я новичок в этом деле, поэтому очень хотелось бы увидеть полный вывод. Заранее ...
0
голосов
0
ответов
37 показов

Добрый день!Читал книгу Шеня и Верещагина "ЯЗЫКИ И ИСЧИСЛЕНИЯ" и наткнулся на такую вещь. стр.61.Не могу понять как явно вывести (A → ¬¬A), а вообще х ...
0
голосов
0
ответов
24 показа

Определить, какая функция двух переменныхзадается выражением f(x, x ∨ y, xy) двумяспособами: построив таблицу значений и упростивданное выражение с по ...
0
голосов
1
ответ
54 показа

Показать, что выражение истинно при каждой оценке пропозициональных переменных$$\wedge_{i=1}^{n+1}\vee_{j=1}^{n} p_{ij} \rightarrow \vee_{j=1}^{n}\vee ...
1
голос
0
ответов
49 показов

Мне тут птичка нашептала, что можно установить взаимно-однозначное соответствие между множеством всех натуральных чисел и множеством всех алгоритмов. ...
0
голосов
0
ответов
35 показов

Привести пример формул A и B, так чтобы выполнялись следующие утверждения:[A->B] - тождественно истинна, а B не тождественно истинна;
1
голос
1
ответ
32 показа

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

Здравствуйте!Пусть $%P = [10; 40]$%, $%Q = [20; 30]$%; известно, что отрезок $%A$% удовлетворяет соотношению:$$((x \in A)\rightarrow (x \in P))\wedge( ...
0
голосов
0
ответов
38 показов

Помогите сконструировать 3-CNF формулу для которой метод резолюций порождает экспоненциально много частей(конъюктивной нормальной формы)
0
голосов
0
ответов
49 показов

В книге "Основы Логики" (В.А. Бочаров, В.И. Маркин)приводится следующий пример НЕПРАВИЛЬНОГО умозаключения.(стр 58)"Если данное тело движется равномер ...
0
голосов
0
ответов
49 показов

Как доказать разрешимость полной теории первого порядка в конечной сигнатуре с перечислимым множеством теорем?
0
голосов
0
ответов
57 показов

Показать, что для кольца Z существует формула вида ∀ (вектора)x φ, где φ бескванторная, по которой выражается множество четных чисел.
0
голосов
0
ответов
43 показа

Показать, что в структуре G (геометрия плоскости) не выразимо отношение «вершины треугольника abc идут по часовой стрелке».
0
голосов
1
ответ
33 показа

Построить последовательность множеств (Ak)k∈N, т.ч. все Ak перечислимые неразрешимые и (Объединение по всем к)Ak = N.
0
голосов
0
ответов
41 показ

Доказать, что график вычислимой тотальной функции разрешим.

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

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