p->q,p条件q

p仅当q符号化 2023-10-17 22:38 870 墨鱼

p仅当q符号化

p->q,p条件q

≥＾≤ 谓词逻辑p->q 的真假若p为假，则q可取真或假，p->q为永真若p为真，q为假，则p->q为假若p为真，q为真，则p->q为真pqp->q 001 011 100 11 1 因此只有p真q假，p->q才能被证伪，当q为假时，我们没有理由否定p->q，但又必须给他一个真值，于是

p仅当q 的意思是：只有当q为真的时候，p才为真. 因此应该推导出q->p, 而不应该是p->q. 经过仔细思考，我将我的理解写下来。p仅当q", 则可以反映出的一个事实1 p->q = 非p V q p=0,非p=1,所以无论q为多少，p->q都是1

˙０˙ 只要应该是指必要条件，所以只要p就q == p->q。只有是指充分条件只有p才q == p<-q == q->p“q每当p”：“每当”隐含意思为“就”，补充完整就是“每当q为真，p就为真”。即p->q。“p仅当q”：“仅当”可理解为“才会，才有可能，才可以……”，补充完整就是

p仅当q为什么可以写成“p->q”？答案离散数学书上是这么说的：p仅当q说的是当q不为真时p不能为真.也就是说，如果p为真但q为假，则这个语句为假.当p为假时，q或者为真，或者为假，这是规定而已，因为排中律的存在，当p为假时，不得不给p->q 的真值规定一个，但是实际上基于对现实的意义来说，p为假时，p->q可真可假，这就违反了排中律。所以作出

后台-插件-广告管理-内容页尾部广告（手机）

标签： p条件q