درتاهش ماتکی
همچنین شناخته شده با: استلزام مادی
برابر انگلیک (انگلیسی): Material implication


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom Trivail ⟩ Modal Axiom 5 ⟩ Modal Axiom B ⟩ Modal Axiom 4 ⟩ سامانه سویی چندی‌گذارده ⟩ لگاریتم