正文

在邏輯學中,對于同一素材的兩個命題A和B,如果A為真時,B一定為真,而B為真時,A不一定為真,A、B之間是推出關系。記作A=>B A為推出命題,B為被推出命題。