Logic
第 00 章 緒論:邏輯與邏輯學
👨李二狗 · · 🔢 16403 words · ☕ 33 min read
全書引言、论说、演绎、一致性、逻辑或「逻辑」的若干问题

第 01 章 預備:素樸集合論
👨李二狗 · · 🔢 20038 words · ☕ 40 min read
The material in this chapter is an introduction to basic naïve set theory. Sets, Relations, Functions, The Size of Sets.

第 02 章 PL 聯結詞與真值表
👨李二狗 · · 🔢 34976 words · ☕ 70 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 03 章 PL 概念的嚴格刻畫
👨李二狗 · · 🔢 30843 words · ☕ 62 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 04 章 PL 推演系統概說
👨李二狗 · · 🔢 2924 words · ☕ 6 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 05 章 PL 矢列演算
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 06 章 PL 自然演繹
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.