04 第四次课(证明与谓词量词).pptVIP

* Hongzhi Qiao, Xidian Univ. * 这两句话含义是相同的。经计算有　　　 ( x)( y) (F (x)∧ F (y)∧ G (x, y))　　=( x) ( y) (F (x)∧ F (y)∧ G (x, y)))　　=( x)( y) (F (x)∧ F (y)∧ G (x, y))　　=( x)( y)( (F (x) ∧F (y))∨ G (x, y))　　=( x)( y) (F (x)∧ F (y) →G (x, y)) 第一章 --- 数理逻辑 * Hongzhi Qiao, Xidian Univ. * 含有量词的永真公式 P44 表1.7-1 第一章 --- 数理逻辑 * Hongzhi Qiao, Xidian Univ. * 第一章 --- 数理逻辑 作业： 复习约束变元与自由变元，下次提问。 * Hongzhi Qiao, XiDian Univ. Predicates and Quantifiers 谓词与量词 Hongzhi Qiao, XiDian Univ. * Hongzhi Qiao, Xidian Univ. * 苏格拉底论证： 人固有一死，苏格拉底是人，因此苏格拉底固有一死。 第一章 -