推 sodas2002:非w則y等價於w或y 故兩者會同時為true 04/12 11:20
→ sodas2002:w為true且y為true 則 x為T且z為T 則 x或z為T 04/12 11:21
※ 引述《sodas2002 (sodas)》之銘言：
: ※ 引述《chocosan (薯條)》之銘言：
: : 哪請問以下這兩題呢?
: : 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: 61.223.234.196