Дәрістер тезистері 1 тақырып Жиындар теориясының элементтері Мақсаты


Тавталогия алудың негізгі ережелері



бет44/64
Дата07.02.2022
өлшемі2,42 Mb.
#91114
1   ...   40   41   42   43   44   45   46   47   ...   64
Байланысты:
Дискретт математика. Дәрістер

Тавталогия алудың негізгі ережелері
Жаңа тавталогиялар алу ережелерін қарастырамыз
1 теорема. (қорытынды ережесі) «modus ponens» ережесі
Егер F және F → Н формулалары тавталогиялар болса, онда Н формуласы да тавталогия.
Басқаша айтқанда |= F және |= F → Н болса, онда |= Н.
Теорема 2. (орнына қою ережесі)
Егер құрамында Х пропозиционалды айнымалысы бар F формуласы тавталогия болса, онда F формуласындағы Х айнымалының орнына кез келген Н формуласын қойғаннан тавталогия аламыз.
Басқаша айтқанда: егер |= Fболса, онда |=
Мысал:
|= Х → (У → Х)
1 Λ х2) формуласын Х орнына қоямыз,
|= (х1 Λ х1) → (У → (х1 Λ х2)) нәтижесінде тавталогия аламыз.




Достарыңызбен бөлісу:
1   ...   40   41   42   43   44   45   46   47   ...   64




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет