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

因此