離散數學 第三篇 數理邏輯02 謂詞邏輯

基本概念 全稱量詞 存在量詞 作用變量 轄域 謂詞合式公式 約束變元 自由變元 約束變元的改名規則 自由變元的代入規則 合式公式的解釋 合式公式的分類 基本等價公式 改名規則 量詞轉換律 轄域擴收律 量詞分配律 公式的標準型——範式 前束範式 定理： 任何一個公式都有對應的前束範式，但前束範式不唯一 求前束範式的方法： Skolem標準型 定理： 任何一個前束範式都有對應的Skolem標準型，但S

>>阅读原文<<