رده‌ها پارادخش

پارادخش‌های درتاهش ماتکی
همچنین شناخته شده با: پارادوکس‌های استلزام مادی
برابر انگلیک (انگلیسی): paradoxes of material implication

1.𝐴⊃(𝐵⊃𝐴) A⊃(B⊃A) A→(B→A)اندرهازش یک انگاشتهmember✹
2.¬𝐴⊃(𝐴⊃𝐵) ¬A⊃(A⊃B) ¬A→(A→B) راستی پوچmember✹
3.(𝐴⊃𝐵)∨(𝐵⊃𝐴) (A⊃B)∨(B⊃A) (A→B)∨(B→A)M3member✹
4.(𝐴⊃𝐵)∨(𝐵⊃𝐶) (A⊃B)∨(B⊃C) (A→B)∨(B→C)M4member✹