Si vous utilisez l'opérateur Imp dans des expressions logiques, la valeur False n'est renvoyée que si la première expression renvoie True et la seconde False.
ブール型の表式に対して Imp 演算を行う場合、1 番目の表式が True と評価され、2 番目の表式が False と評価される場合、結果が False となります。