通过对陈述逻辑和谓词逻辑、语法(Syntax)、语意属性(semantics)、真值(truth)、语句(sentences)、和特有名词(proper names)的深......