Числення висловлень: відмінності між версіями

Нехай <math>\Sigma\;</math> деяка множина формул <math>\mathcal{L}</math>, а <math>A</math> &nbsp;— деяка задана формула то кажуть, що формула <math>A</math> виводиться з множини формул <math>\Sigma\;</math> (позначається <math>\Sigma \vdash A</math>), якщо існує така скінченна [[скінченнаПослідовність (математика)|послідовність]] формул <math>A_1, A_2 \ldots A_n = A</math> де для кожної формули <math>A_i</math>:

Якщо при цьому множина <math>\Sigma\;</math> &nbsp;— пуста (формула <math>A</math> виводиться лише за допомогою аксіом і правил виводу) то формула <math>A</math> називається теоремою (для цього використовується позначення <math>\vdash A</math>).