Issues: technothecow/discrete-math-colloquium
Issues list
1.14. Исчисление предикатов с равенством (в гильбертовской форме). Теорема о полноте и корректности исчисления предикатов (без доказательства). Теорема о компактности в двух формах: про выполнимость теории и про логическое следование из теории.
help wanted
Extra attention is needed
#14
opened May 26, 2024 by
technothecow
1.11. Понятие корректной подстановки («терм свободен для переменной в формуле»). Пример некорректной подстановки. Лемма о корректной подстановке (без доказательства). [F, 73] Переименование связанной переменной. [F, 16, 18]. Общезначимость формул вида ∀xϕ → ϕ(t/x) и ϕ(t/x) → ∃xϕ в случае корректной подстановки. [F, 74]
help wanted
Extra attention is needed
#11
opened May 26, 2024 by
technothecow
ProTip!
What’s not been updated in a month: updated:<2024-10-18.