(2)联结词的完备性①【,^」是完备的pgppgGpagpg真真假真真真假真真真假假假假真假真假真假真真真假假真假假:pvq=df pA7g
(2)联结词的完备性 ①{ ┑ , }是完备的。 p q ┑p ┑q ┑p ┑q ┑(┑p ┑q )p q 真真 假 假 假 真 真 真假 假 真 假 真 真 假真 真 假 假 真 真 假假 真 真 真 假 假 ∴ p q = df ┑( ┑p ┑q )
(pg)pggpaagpg真真真假真真真假真真假 假真假假真假真真假假真假假pqp→q=dfp→>q)^(qppg-df【,√}是完备的
p q ┑q p ┑q ┑(p ┑q ) p → q 真真 假 假 真 真 真假 真 真 假 假 假真 假 假 真 真 假假 真 假 真 真 ∴ p → q = df ┑( p ┑q ) p q = df ( p→q )( q →p ) ②{ ┑ , }是完备的
pgpgpvg(pvg)bAC真真真假假假真假假假假假真假假真真真收假真真真假假真真假假 p^q = df 7Cpvg同理可得:pvqp→q =df(p→>q) >(q→p p>q =df
p q ┑p ┑q ┑p ┑q ┑(┑p ┑q) p q 真真 假 假 假 真 真 真假 假 真 真 假 假 假真 真 假 真 假 假 假假 真 真 真 假 假 ∴ p q = df ┑( ┑p ┑q ) 同理可得: p → q = df ┑p q p q = df ( p→q )( q →p )
,→是完备的3q=df→q(pvqp^q =dfp>q(qpp<>q =df
③{ ┑ , → }是完备的。 p q = df ┑p → q p q = df ┑( ┑p ┑q ) p q = df ( p→q )( q →p )
(3)从给定的真值表确定真值形式怎样从一个给定的真值表来确定该真值表所对应的真值形式呢?下面将介绍两种方法,一种叫写真法,另一种叫写假法写真法:首首先要在所给的真值表的最后一列里,找出所有取值为真的真值。如:
(3)从给定的真值表确定真值形式 怎样从一个给定的真值表来确定 该真值表所对应的真值形式呢?下面将 介绍两种方法,一种叫写真法,另一 种叫写假法。 写真法:首先要在所给的真值表的 最后一列里,找出所有取值为真的真 值。如: