推出关系

在逻辑学中，推出关系是命题之间的一种关系。条件关系中蕴含了推出关系。在逻辑学中，对于同一素材的两个命题A和B，如果A为真时，B一定为真，而B为真时，A不一定为真；或者A为假时，B不一定为假，而B为假时，A一定为假；则A、B之间是推出关系。记作A=>B A为推出命题，B为被推出命题。