Числення висловлень: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
→Виведення формул і теорем: вікіфікація |
|||
Рядок 28:
=== Виведення формул і теорем ===
Нехай <math>\Sigma\;</math> деяка множина формул <math>\mathcal{L}</math>, а <math>A</math>
# <math>A_i</math> є аксіомою, або
# <math>A_i</math> належить множині <math>\Sigma\;</math> або
# <math>A_i</math> виводиться з попередніх формул послідовності за допомогою котрогось із правил виводу.
Якщо при цьому множина <math>\Sigma\;</math>
== Приклади аксіоматики ==
|