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