谓词逻辑 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

 

 

 

 

 

因此

 

转载于:https://www.cnblogs.com/xiu68/p/8000480.html