T,
Правило введения посылки.
Если T , то T, .
Правило удаления посылки.
Если T, и T , то T .
Правило силлогизма.
Если T , . . . , T и , то T .
Правило введения импликации.
Если T, , то T .
Это весьма важное свойство называют еще теоремой дедукции. Учитывая, что - конечное множество формул, свойство 5 можно сформулировать в следующем виде:
Теорема дедукции. Если
B,
то
.
Правило удаления импликации.
Если T , то T, .
Правило введения конъюнкции.
T, .
Правило удаления конъюнкции.
T, ,
T, .
Правило введения дизъюнкции.
T, ,
T, .
Правило удаления дизъюнкции.
Если T, и T, , то T, .
Правило введения отрицания.
Если T, и T, , то T .
Правило удаления отрицания.
Достарыңызбен бөлісу: |
