Помогите, пожалуйста, есть идеи, но очень в них не уверена $$$$1) Доказать, что множество всех простых чисел определимо в стандартной модели арифметик ...
С помощью исчисления резолюций докажите, что: предложение ∃x Qx следует из теории {∀x∃y(P xy → Qx), ∀x∀y∀z(P xy → P xz), ∃x∃y P xy}.Я решал так:Мы раб ...
Докажите, что любая формула в интерпретации ⟨R ∖ {0}, ·, =⟩ эквивалентна некоторой бескванторной. Докажите, что предикат «𝑥 > 1» невыразим в этой и ...
Рассмотрим задачу о замощении фигуры на клетчатой плоскости «уголками». Дан некоторый набор клеток. Требуется установить, можно ли его разбить на трой ...
Пусть 𝑓 — функция трёх аргументов, равная 1, если среди её аргументов есть различные, а𝑔(𝑝, 𝑞) = 𝑝 ∧ 𝑞. Докажите, что 𝑔 можно выразить через 𝑓, но 𝑓 н ...