主張の妥当性を検証する ＋ 同値関係

《主張の妥当性を検証する ＋ 同値関係》
　論理式の４回目です。さて、次の２つの論は「筋が通っている」（前提から結論が正しく導かれている）でしょうか？

◇　前提と導出の両方が正しければ、結論が正しくなる。だから、前提も導出も間違っていたら、間違った結論しか出てこない。

◇　意味のある論理は新しい情報をもたらすものだが、正しい論理は新しい情報をもたらさない。つまり、正しい論理には意味がないってことさ。

◇　理屈っぽい人は他人に好かれない。他人に好かれる人は孤独でない。よって、理屈っぽい人は孤独である。（・・・ろんり的な人はロンリー？）

　それぞれの論を論理式で表して、真偽判定してみましょう。

　　　　　◇　　　◇　　　◇　　　◇　　　◇

▽ オンライン授業　論理式（→ https://note.com/omori55/n/naf50222e7c78 ）
　　▷ １回目　論理式を定義する ＋ 論理と言葉のズレ
　　▷ ２回目　トートロジーと矛盾式 ＋ 論理いろいろ
　　▷ ３回目　主張の妥当性を検証する ＋ ３段論法
　　▷ ４回目　主張の妥当性を検証する ＋ 同値関係
　　▷ ５回目　論理式はデジタル仕様 ＋ 練習問題