対偶を取るとる。対偶は論理の検算、全体像の把握。日本語は対偶がお好き?あれ?裏か?
裏をとるとは?
順命題に対して、逆、裏、対偶。
タイプライター⇒ヴィジブル
¬ヴィジブル⇒¬タイプライター
タイプライターはvisiblewritingならざるべからず。←
タイプライターは(visiblewritingならざる)べからず。
¬{タイプライター⇒(¬visiblewriting)}
これの中カッコを取るとどうなる?1or2?
1.¬タイプライター⇒¬visiblewriting ?
2.¬visiblewriting⇒¬タイプライター ?
答えは2?ならば順命題の対偶のようだが、。
タイプしつヽ見えざるべからず
「タイプしつヽ見えざる」べからず
¬(¬見える) ?
裏をとるとは?
順命題に対して、逆、裏、対偶。
タイプライター⇒ヴィジブル
¬ヴィジブル⇒¬タイプライター
タイプライターはvisiblewritingならざるべからず。←
タイプライターは(visiblewritingならざる)べからず。
¬{タイプライター⇒(¬visiblewriting)}
これの中カッコを取るとどうなる?1or2?
1.¬タイプライター⇒¬visiblewriting ?
2.¬visiblewriting⇒¬タイプライター ?
答えは2?ならば順命題の対偶のようだが、。
タイプしつヽ見えざるべからず
「タイプしつヽ見えざる」べからず
¬(¬見える) ?