M3
برابر انگلیک (انگلیسی): M3


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