پادنهش
برابر انگلیک (انگلیسی): Contraposition


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B∨¬B)