Several other idioms in English which we shall regard as having the same meaning as "If P, then Q" (where P and Q are sentences):
P implies Q,
P only if Q,
P is a sufficient condition for Q,
Q, provided that P,
Q if P,
Q is a necessary condition for P.
「Q の場合のみ P」と「P の場合、Q」はどのように同じですか?? それは、「含意する」(=>) が「iff」(<=>) と同じ意味であると言っているようなものです。
つまり、方向を見てください。P が true の場合、Q も true です。一方、P は真ですが、Q が真の場合のみ - Q をテストしています!! え?コンパイラの観点から:「Q の場合のみ P」は Q のテストになりますか??