因此 有關其他用途,請參見後果(歧義) 。 結果是假設命題的後半部分。以這種命題的標準形式,它是“然後”之後的部分。在暗示的意義中,如果p暗示q ,則p稱為先例, q稱為q 。在某些情況下,隨之而來的稱為凋亡。 例子: 如果 , 然後 。 這是這個假設命題的結果。 如果是哺乳動物,然後是動物。 這裡, ” 是動物。 如果計算機可以思考,那麼它們還活著。 結果是“他們還活著”。 假設命題中的結果不一定是先決條件的結果。 如果猴子是紫色的,那麼魚說克林貢。 “魚說克林貢”是在這裡的結果,但直覺上並不是前提說“猴子是紫色的”所提出的主張的結果(也沒有任何關係)。 也可以看看 先例(邏輯) 推測 必要性和充分性