Формулаларды гипотезалардан қорытып шығару

2.7 Формулаларды гипотезалардан қорытып шығару

Формулалардың Н={А₁,А₂,…,А_n} ақырлы жиынын қарастырамыз.

1) A_iH формуласы Н-тан шығарылатын формула деп аталады.

2) Әрбір дәлелденетін формула Н-тан шығарылатын болады.

3) Егер С және С→В формулалар Н-тан шығарылатын болса, онда В формуласы да Н-тан шығарылатын болады.

Егер кейбір В формуласы формулалардың Н жиынынан шығарылатын болса, онда бұл былай жазылады: Н├В.

Н жиыны бос немесе тек дәлелденетін формулалардан тұратын жағдайда Н жиынынан шығарылатын формулалардың класы дәлелденетін формулалардың класымен сәйкес келеді.

AH және BH болғандықтан, дәлелденетін формуланың анықтамасы бойынша

Н├А, (1)

Н├В. (2)

Нәтижесінде Н-тан шығарылатын дәлелденетін формулаларды аламыз, яғни