08/01/27 16:45:45 X80rc/ob
「A＝ｱｸｲﾝｺ、ならばB＝ｱｸｲﾝｺ」
の対偶は「B＝ｱｸｲﾝｺでない、ならばA＝ｱｸｲﾝｺでない」である。対偶同士の真偽は一致する。
B＝ｱｸｲﾝｺでない ことを証明すれば A＝ｱｸｲﾝｺでない ということが分かる。
これを証明させればこのスレの結論は出るわけか？
08/01/27 16:45:45 X80rc/ob
「A＝ｱｸｲﾝｺ、ならばB＝ｱｸｲﾝｺ」
の対偶は「B＝ｱｸｲﾝｺでない、ならばA＝ｱｸｲﾝｺでない」である。対偶同士の真偽は一致する。
B＝ｱｸｲﾝｺでない ことを証明すれば A＝ｱｸｲﾝｺでない ということが分かる。
これを証明させればこのスレの結論は出るわけか？