離散數學-4 一階邏輯基本概念

            個體常項：表示具體或特定的客體的個體詞，用a, b, c表示 個體變項：表示抽象或者泛指的個體詞，用x, y, z表示 個體域(論域)——個體變項的取值範圍 有限個體域，如 {a, b, c}, {1, 2} 無限個體域，如 N, Z, R, … 全總個體域——由宇宙間一切事物組成 謂詞——表示個體詞性質或相互之間關係的詞，常用F,G,H等表示。 謂詞常項 表示具體性質或關

>>阅读原文<<