命题与联结词：把日常论断变成可计算的符号

本专题已纳入学习路线，正文将在路线架构审查通过后补充。