※ 引述《chocosan (薯條)》之銘言：
: ※ 引述《crazykk (JK)》之銘言：
: 哪請問以下這兩題呢?
: 7)If the statement p->q is true，then q is true
p q p->q
0 0 1
0 1 1
1 0 0
1 1 1
所以當p=0^q=0 p->q為True 但q=False
沒錯 是找反例
: 8)If w->x,y->z and ~w->y are true,then xvz must be true.
~w->y: true === w v y :true
w->x: true === ~w v x :true
y->z: true === ~y v z :true
針對第一條討論
若w:true ^ y:true --> x:true ^ z:true --> x v z :true
若w:false ^ y:true --> z:true, x不定 --> x v z :true
若w:true ^ y:false --> x:true, z不定 --> x v z: true
故成立
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.39.180.251