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

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

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

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

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

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

     ◇   ◇   ◇   ◇   ◇

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

この記事が気に入ったらサポートをしてみませんか?