推出關係

在邏輯學中，推出關係是命題之間的一種關係。條件關係中蘊含了推出關係。

基本介紹

• 中文名：推出關係

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