"P が偽ならば、Q の真偽にかかわらず「P ならば Q」が真である"これが理解できていなかった。全部2つ目を選ぶと思う。rustでいう`let x = if P { Q }`なイメージだったのでPが偽ってどういうことってなった。