【人工智能學習筆記】 1.5離散數學 -2.一階謂詞邏輯,集合的概念

北京大學慕課學習筆記 一階謂詞邏輯中的 個體、謂詞、量詞等基本概念 幾個重要的等值式 推理定律 個體 將可以獨立存在的客體（具體事務或抽象概念）稱爲個體或個體詞，並用a,b,c,…表示個體常元，用x,y,z,…表示個體變元。(個體的函數還是個體，例如，設a,b是數，f(a,b)可以表示a和b的運算結果，如a+b、a . b等。)將個體變元的取值範圍稱爲個體域，個體域可以是有窮或無窮集合。人們稱由宇

>>阅读原文<<