トートロジーと矛盾式 ＋ 論理いろいろ
論理式の２回目。割と真面目に進めています。あと３回、トータル５回で論理式を一通り学ぶ予定です。
ところで、「論理」あるいは「論理的」という言葉は実は非常にあいまいな言葉であって、現実にはいろんな意味合いで使われます。ここで扱う論理は「記号論理（命題論理）」ですが、他にも色々な論理があって、それらの違いについても語ります。
◇ ◇ ◇ ◇ ◇
▽ オンライン授業 論理式（→ https://note.com/omori55/n/naf50222e7c78 ）
▷ １回目 論理式を定義する ＋ 論理と言葉のズレ
▷ ２回目 トートロジーと矛盾式 ＋ 論理いろいろ
▷ ３回目 主張の妥当性を検証する ＋ ３段論法
▷ ４回目 主張の妥当性を検証する ＋ 同値関係
▷ ５回目 論理式はデジタル仕様 ＋ 練習問題
この記事が気に入ったらサポートをしてみませんか？