Теорема про дедукцію в S5

Теорему про дедукцію в численні предикатів записують так:

(всі вільні змінні у припущеннях зв’язані).

Представимо дедукцію у вигляді послідовності В₁,..., B_n

— де Bn = В.

Доведення.

Зазначимо для початку, що тут можливі випадки як і в аксіоматичному численні висловлювань:

а) В є аксіомою;

б) В є одним із припущень A₁,..., А_п—1;

в) В є припущенням А_п.

3.