09/06/30 22:04:09 L4J/IMiKO
>>767
⇒は「ならば」、⇔は「同値」。
xについての条件p(x),q(x)を考える。
p(x)⇒q(x)が真とは、条件p(x)を満たすxは全て、条件q(x)も満たすこと。
p(x)⇔q(x)が真とは、p(x)⇒q(x)が真かつq(x)⇒p(x)が真。
p(x)⇒q(x)が真でも、q(x)⇒p(x)が真とは限らないので注意。
詳しくは数学Ａ。
09/06/30 22:04:09 L4J/IMiKO
>>767
⇒は「ならば」、⇔は「同値」。
xについての条件p(x),q(x)を考える。
p(x)⇒q(x)が真とは、条件p(x)を満たすxは全て、条件q(x)も満たすこと。
p(x)⇔q(x)が真とは、p(x)⇒q(x)が真かつq(x)⇒p(x)が真。
p(x)⇒q(x)が真でも、q(x)⇒p(x)が真とは限らないので注意。
詳しくは数学Ａ。