主張の妥当性を検証する ＋ 同値関係
論理式の４回目です。さて、次の２つの論は「筋が通っている」（前提から結論が正しく導かれている）でしょうか？
◇ 前提と導出の両方が正しければ、結論が正しくなる。だから、前提も導出も間違っていたら、間違った結論しか出てこない。
◇ 意味のある論理は新しい情報をもたらすものだが、正しい論理は新しい情報をもたらさない。つまり、正しい論理には意味がないってことさ。
◇ 理屈っぽい人は他人に好かれない。他人に好かれる人は孤独でない。よって、理屈っぽい人は孤独である。（・・・ろんり的な人はロンリー？）
それぞれの論を論理式で表して、真偽判定してみましょう。
◇ ◇ ◇ ◇ ◇
▽ オンライン授業 論理式（→ https://note.com/omori55/n/naf50222e7c78 ）
▷ １回目 論理式を定義する ＋ 論理と言葉のズレ
▷ ２回目 トートロジーと矛盾式 ＋ 論理いろいろ
▷ ３回目 主張の妥当性を検証する ＋ ３段論法
▷ ４回目 主張の妥当性を検証する ＋ 同値関係
▷ ５回目 論理式はデジタル仕様 ＋ 練習問題