正文

在逻辑学中,对于同一素材的两个命题A和B,如果A为真时,B一定为真,而B为真时,A不一定为真,A、B之间是推出关系。记作A=>B A为推出命题,B为被推出命题。