離散數學複習筆記-1

量詞轄域的肯定方法： 1.若量詞後有括號，則括號內的子公式就是量詞的轄域 2.若量詞後沒有括號，則與量詞鄰接的子公式就是該量詞的轄域前端 約束變元的更名規則： 1.將量詞中出現的變元以及該量詞轄域中此變量全部約束出現都用新的個體變元替換 2.新的變元必定要有別於更名轄域中的全部其餘變量git 自由變元的代入規則： 1.將公式中出現該自由變元的每一處都用新的個體變元替換 2.新變元不容許在原公式中以

>>阅读原文<<