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

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

Продолжение этой истории Возвращаясь к списку соотношений, у нас есть такие:Под словами из соотношений нарисованы конфигурации, которым соответствуют ...
1
голос
0
ответов
53 показа

Ок. Тогда продолжите " Навесим квантор общности на n+1 предикат и...." Из какого раздела ( спец.курса) высшей математики эта тема? Всё по- русскиРазде ...
1
голос
1
ответ
37 показов

Чем отличается частная проблема от общей? В общей даны списки образующих и соотношений. Разве это не то же самое, что зафиксировать полугруппу? Утверж ...
3
голоса
1
ответ
62 показа

Докажите, что коэффициент при каждом одночлене в многочлене Жегалкина равен сумме значений функции на некоторых наборах. На каких наборах?
2
голоса
1
ответ
32 показа

Назовём формулу импликативной, если она состоит только из отрицаний и импликаций. Скажем, что формула имеет тесные отрицания, если отрицания стоят тол ...
3
голоса
1
ответ
95 показов

Не опираясь на теорему о полноте, докажите выводимость формулы (¬A ∨ B ∨ ¬C) ↔ ((A → C) → ((B →C) → (A → B))) в исчислении высказываний.Скажите, пожал ...
3
голоса
1
ответ
41 показ

Пусть формулы задаются такими правилами: переменная есть формула; если ϕ и ψ — формулы, то |ϕψ| — тоже формула. Верна ли в таком случае теорема об одн ...
0
голосов
1
ответ
32 показа

Рассмотрим систему формальной записи, в которой формулы образуются по такому правилу: переменная это формула, а если ϕ и ψ это формулы, то |ϕ| и ϕ|ψ| ...
0
голосов
0
ответов
38 показов

Решите следующую задачу использовав индукцию по построению формулы. Рассмотрим индуктивное определение правильной скобочной последовательности с двумя ...
0
голосов
0
ответов
45 показов

Помогите, пожалуйста, решить эту задачу.
0
голосов
0
ответов
41 показ

Пусть есть формула $%f$%, составленная при помощи логических операций $%\land, \lor, \to$% и переменных $%x,y,z$%. Эта формула приводится к КНФ, может ...
0
голосов
0
ответов
57 показов

Выяснить, является ли первая формула логическим следствием остальных:x→z; x→y; y∧z;Помогите пожалуйста решить
0
голосов
0
ответов
46 показов

Пусть $%A,B$% разрешимы. Интуитивно понятно, что $%A-B=\{k:\exists a\in A \exists b\in B \text{ } a=k+b\}$% и множество $%k$% таких, что для некоторог ...
0
голосов
0
ответов
35 показов

Почему (а), (б), (г) неперечислимы? На интуитивном уровне - потому что их не получается описать как $%\Sigma_1$% в арифметической иерархии. Но непонят ...
0
голосов
0
ответов
40 показов

Как понять, верны ли утверждения? Только начать доказывать и осознать, что они недоказываются? И как доказать, что они неверны (если это так)?Множеств ...

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

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