后件 编辑
后件是假言命题的后半部分。在这种命题的标准形式中,它是在“那么”之后的部分。
1
相关
数学中的猜想是在根据不完全资讯下的后件及命题,是不知其真假的数学叙述,它可能为真,暂时未被证明或反证 。某些猜想会称为“假设”,尤其是当它是针对某些问题提出的答案。
逆否命题是逻辑和数学的一种结构变换推理,一般用于在逻辑等价的前提下改变条件命题的结构。逆否命题也用于对位证明法。逆否定将前件与后件否命题和逆命题。