若p为假，则q可取真或假，p->q为永真
若p为真，q为假，则p->q为假
若p为真，q为真，则p->q为真
1
因此
谓词逻辑 p->q 的真假
原文：http://www.cnblogs.com/xiu68/p/8000480.html
