دمداشت زینه‌ی یکم
برابر انگلیک (انگلیسی): First Degree Entailment


تاربرگ‌های پیموده‌شده در این نشست: آوین‌نشده ⟩ بنداشتش هیتینگ ⟩ شاون هدمن ⟩ هابز