次にxが真であればyが成り立つという文をxで表す。