اگر و تنها اگر
برابر انگلیک (انگلیسی): iff


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem 5.1