0
голосов
0
ответов
42 показа
Задачи по матлогике
Помогите, пожалуйста, есть идеи, но очень в них не уверена $$$$1) Доказать, что множество всех простых чисел определимо в стандартной модели арифметик ...
0
голосов
0
ответов
26 показов
Используя аксиомы Цермело-Френкеля доказать, что для любого множества существует множество
Используя аксиомы Цермело-Френкеля доказать, что для любого множества существует множество всех его двухэлементных подмножеств.
0
голосов
0
ответов
42 показа
1
голос
1
ответ
61 показ
Кто в каком классе учится? (логическая задача)
Оля, Вася, Маша и Петя – ученики 4, 5, 6 и 7 классов.На вопрос, кто кого старше, ребята сказали:Оля: «Маша старше Пети».Вася: «Оля младше Пети».Маша: ...
0
голосов
0
ответов
28 показов
Игра Эренфойхта. нужна помощь
Кто выигрывает в игру Эренфойхта для интерпретаций ⟨N + N, 6⟩ и ⟨N + N + N, 6⟩? Приведите и обоснуйте выигрышную стратегию.
0
голосов
0
ответов
36 показов
Плз срочно 2 задачи 2:
Докажите, что любая формулав интерпретации ⟨R, {𝐶𝛼}(𝛼>0)⟩, где 𝐶𝛼(𝑥, 𝑦) означает, что |𝑥−𝑦| <= 𝛼 эквивалентна некоторой бескванторной. Докажите, ...
0
голосов
0
ответов
63 показа
Плз срочно 2 задачи 1:
Пусть термы записываются в польской записи, а предикаты — безскобок и запятых, например, 𝑃 𝑥𝑦𝑧. Будет ли выполнена теорема об однозначности разбора?
0
голосов
0
ответов
32 показа
Используя метод резолюций доказать, что предложение следует из теории
С помощью исчисления резолюций докажите, что: предложение ∃x Qx следует из теории {∀x∃y(P xy → Qx), ∀x∀y∀z(P xy → P xz), ∃x∃y P xy}.Я решал так:Мы раб ...
0
голосов
1
ответ
56 показов
Матлогикаа ПЛЗ СРОЧНО
Выразите предикат «𝑥 есть 𝑁-элементное множество» в интерпретации ⟨2^𝐴, ⊂⟩ формулой длины 𝑂(log 𝑁).
0
голосов
0
ответов
36 показов
Матлогакаа
Докажите, что любую самодвойственную функцию можно выразить через maj(𝑥, ¬𝑦, ¬𝑧).
0
голосов
0
ответов
33 показа
Матлогикаа [закрыт]
Не опираясь на теорему о полноте, докажите выводимость формулы (¬𝐴 ∨ 𝐵 ∨ 𝐶) ↔ (((𝐴 → 𝐵) → (𝐵 → 𝐶)) → (𝐴 → 𝐶)) в исчислении высказываний
0
голосов
0
ответов
40 показов
Матлогика ПЛЗЗЗЗ
Докажите, что любая формула в интерпретации ⟨R ∖ {0}, ·, =⟩ эквивалентна некоторой бескванторной. Докажите, что предикат «𝑥 > 1» невыразим в этой и ...
0
голосов
0
ответов
27 показов
Матлогика ПЛЗ [закрыт]
Выразите предикат «𝑥 есть 𝑁-элементное множество» в интерпретации ⟨2^𝐴, ⊂⟩ формулой длины 𝑂(log 𝑁).
0
голосов
0
ответов
52 показа
Матлогикаа
Рассмотрим задачу о замощении фигуры на клетчатой плоскости «уголками». Дан некоторый набор клеток. Требуется установить, можно ли его разбить на трой ...
0
голосов
0
ответов
47 показов
Матлогикаа
Пусть 𝑓 — функция трёх аргументов, равная 1, если среди её аргументов есть различные, а𝑔(𝑝, 𝑞) = 𝑝 ∧ 𝑞. Докажите, что 𝑔 можно выразить через 𝑓, но 𝑓 н ...
459 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.