标签：技术分享 ges body log 谓词逻辑 bsp nbsp http 技术
若p为假，则q可取真或假，p->q为永真
若p为真，q为假，则p->q为假
若p为真，q为真，则p->q为真
1
因此
谓词逻辑 p->q 的真假
原文地址：http://www.cnblogs.com/xiu68/p/8000480.html
