Редактирование: Участник:Kir1251

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

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 1: Строка 1:
 +
==Тут только основные аксиомы(не относящиеся не к одной теории)==
  
 +
=Аксиомы системы исчисления высказываний=
 +
<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>

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)