二、P(X中元素的解释和真值表 把P(X)中的每个元素即命题演算的合式 公式)解释为可判断真假的语句 原子公式集中的每个原子公式命题变元 x)表示任意的简单命题即原子命题) P(X)中的其它元素表示复合命题。 对任意p∈P(X)和给定的赋值v:P(X)→Z2, 若v(p)=1,则说p所表示的命题为真,简 称p为真;若v(p=0,则说p所表示的命 题为假,简称p为假
二、P(X)中元素的解释和真值表 把P(X)中的每个元素(即命题演算的合式 公式)解释为可判断真假的语句 原子公式集中的每个原子公式(命题变元 x)表示任意的简单命题(即原子命题) P(X)中的其它元素表示复合命题。 对任意pP(X)和给定的赋值v:P(X)→Z2， 若v(p)=1，则说p 所表示的命题为真，简 称p为真；若v(p)=0，则说p所表示的命 题为假，简称p为假
在P(X)上所定义的一元和二元运算一,八,V,→,),可 分别解释为命题联结词“非”,“合取 析 取”,“蕴含”和“等价”。 列出下述表格(在表中p表示v(p) V(p v(p)v(a)v(pvg) 0 010 0 0 01 p∧q v001 v(p)v(a)v(p<>g) v0101 v0001 0 通过对P(X)的解释, 0 001 命题代数P(X)所建 10 立的形式系统就可 以表示我们所熟悉 的命题
在P(X)上所定义的一元和二元运算,,, →,,可 分别解释为命题联结词“非” ， “合取” ， “析 取” ， “蕴含”和“等价” 。 列出下述表格(在表中p表示v(p))： v(p) v(p) 0 1 1 0 v(p) v(q) v(p→q) 0 0 1 0 1 1 1 0 0 1 1 1 v(p) v(q) v(pq) 0 0 0 0 1 1 1 0 1 1 1 1 v(p) v(q) v(pq) 0 0 0 0 1 0 1 0 0 1 1 1 v(p) v(q) v(pq) 0 0 1 0 1 0 1 0 0 1 1 1 通过对P(X)的解释, 命题代数P(X)所建 立的形式系统就可 以表示我们所熟悉 的命题