Изменения

Теории первого порядка

Нет изменений в размере, 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)\\

Анонимный участник