離散數學-5 一階邏輯等值演算與推理

定義5.1 設A, B是兩個謂詞公式, 如果AB是永真式, 則稱A與B等值, 記作AB, 並稱AB是等值式 基本等值式 第一組 命題邏輯中16組基本等值式的代換實例以及推理定律的代換實例 第二組 (1) 消去量詞等值式 設D ={a1, a2, … , an} ① x A(x) A(a1)A(a2)…A(an) ② x A(x) A(a1)A(a2)…A(an) (2

>>阅读原文<<