トートロジーと矛盾式 ＋ 論理いろいろ

《トートロジーと矛盾式 ＋ 論理いろいろ》
　論理式の２回目。割と真面目に進めています。あと３回、トータル５回で論理式を一通り学ぶ予定です。
　ところで、「論理」あるいは「論理的」という言葉は実は非常にあいまいな言葉であって、現実にはいろんな意味合いで使われます。ここで扱う論理は「記号論理（命題論理）」ですが、他にも色々な論理があって、それらの違いについても語ります。

　　　　　◇　　　◇　　　◇　　　◇　　　◇

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