Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Теории первого порядка
Нет изменений в размере
,
20:33, 2 июня 2020
→
Больше формальности!
(A5) & a + b' = (a+b)' \\
(A6) & a + 0 = a \\
(A7) & a \cdot 0 =
a
0
\\
(A8) & a \cdot b' = a \cdot b + a \\
(A9) & (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\
Анонимный участник
77.234.203.54
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы