あと、「ならば」。 まず⇒がならばの記号ってことですよね。そこまではわかったのですが、(x<=y)がxならばyと言うのがわからないです。 x<=y というのは普通に「xはy以下」の意味ですよ。 x|y|x<=y 0|0|1 0|1|1 1|0|0 1|1|1 x⇒yと同値ですよね。同値というのはどっちで書いても同じって事、等しいから言い換えできます。 > x>=yは「yならばx」ですか？ そうです。「ならば」という表記は日本語のイメージが強すぎるので、x⇒yとか x imp y と書いた方がいいかも。