Conditional proof

示範題： C⊃D, ∴A⊃[B⊃(C⊃D)]

Exercise27

示範題：

Any application is invalid if the fee hasn't been paid. Your application is invalid, and so your fee must not have been paid.

若費用沒付的話，任何申請都會無效。你申請無效，所以你費用一定沒付。

有可能是證件沒帶或資格不符而造成申請無效。因此申請無效不一定是因為費用沒付的關係。言說者只因費用沒付會造成申請無效就斷言申請無效是因為費用沒付，這是肯定後件而肯定前件的謬誤。