谓词逻辑 p->q 的真假

若p为假，则q可取真或假，p->q为永真

若p为真，q为假，则p->q为假

若p为真，q为真，则p->q为真

p q p->q
0 0 1
0 1 1
1 0 0
1 1

1

 

 

 

 

 

因此

 

posted @ 2017-12-07 18:30  清风☆薰衣草  阅读(3129)  评论(0)  编辑  收藏  举报