4. Тұжырымдар логикасының формулаларын қолдану
А) Жиындар теориясында қолдану.
Айталық, - тұжырымдар алгебрасының айнымалыларынан тұратын теңбе – тең ақиқат формуласы болсын және оның құрамында импликация амалы болмасын.
арқылы формуласының құрамындағы әрбір - ді , ал - ны өрнектерімен алмастырғанда алынған формуланы белгілейік, мұнда .
Мысал.
болса, онда
формуласы болады.
формуласы формуласындағы айнымалыларын өрнектерімен, конъюнкцияны қиылысумен, дизъюнкцияны бірігумен, кері амалды айырмамен алмастырғанда шыққан формула болсын, мұнда .
Онда жиыны жиындарына , , \ амалдарын қолданғанда шыққан жиын болады.
Мысалы, болса, онда
.
Достарыңызбен бөлісу: |
