Si se utiliza el operador Imp en expresiones lógicas, sólo se devuelve False si el resultado de la primera expresión es True y el de la segunda es False.
ブール型の表式に対して Imp 演算を行う場合、1 番目の表式が True と評価され、2 番目の表式が False と評価される場合、結果が False となります。