Изменения

Перейти к: навигация, поиск

Участник:Kir1251

965 байт добавлено, 17:17, 15 января 2012
Нет описания правки
[[Участник:Kir1251==Тут только основные аксиомы(не относящиеся не к одной теории)== =Аксиомы системы исчисления высказываний=<tex>(1) (\phi) \rightarrow ((\psi) \rightarrow (\phi))\\(2) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow (\psi) \rightarrow (\pi)) \rightarrow ((\phi) \rightarrow (\pi))\\(3) (\phi) \rightarrow (\psi) \rightarrow (\phi) \& (\psi)\\(4) (\phi) \& (\psi) \rightarrow (\phi)\\(5) (\phi) \& (\psi) \rightarrow (\psi)\\(6) (\phi) \rightarrow (\phi) \vee (\psi)\\(7) (\psi) \rightarrow (\phi) \vee (\psi)\\(8) ((\phi) \rightarrow (\pi)) \rightarrow ((\psi) \rightarrow (\pi)) \rightarrow ((\phi) \vee (\psi) \rightarrow (\pi))\\(9) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow \neg (\psi)) \rightarrow \neg (\phi)\\(10) \neg \neg (\phi) \rightarrow (\phi)\\</tex>=Аксиомы|Аксиомы по логикепредикатов=<tex>(11) \forall{x}(для себя\psi)\rightarrow (\psi[x := \alpha])\\(12) (\psi[x := \alpha]) \rightarrow \exists{x}(\psi) \\</tex>
13
правок

Навигация