正文

在邏輯學(xué)中,對(duì)于同一素材的兩個(gè)命題A和B,如果A為真時(shí),B一定為真,而B為真時(shí),A不一定為真,A、B之間是推出關(guān)系。記作A=>B A為推出命題,B為被推出命題。