- 212 名前：現代数学の系譜 工学物理雑談 古典ガロア理論も読む mailto:sage [2017/10/07(土) 08:19:35.67 ID:U9YX2SH3.net]
- >>194 つづき
なお、論理式の記法にも、いくつか流儀があるようだ
例、下記など （量化子（命題関数） の形）
よって、どのテキストで学んだか、きちんと把握しておくべし！！
www.sguc.ac.jp/i/index.html
山陽学園大学・短期大学 公式ページ 携帯サイト
www.sguc.ac.jp/i/st/learning/logic/
学生用ページ 学習コーナー 論理学
集合
命題論理
恒真命題・恒偽命題
真理木
推論
述語論理
www.sguc.ac.jp/i/st/learning/logic/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86.pdf
命題論理
