演绎逻辑的真值语义和直观推理语义

真值语义将逻辑联结词都解释为真值联结词，是一种简明的外延形式语义。真值语义面临的主要问题是逻辑联结词→、的真值解释，与对应的日常联结词“如果，那么”和“当且仅当”产生了距离。直观推理语义关注逻辑联结词→、的推理涵义，借助日常语言来阐释逻辑表达式的具体内容，重视表达式的内涵。使用直观推理语义，检验逻辑表达式的直观有效性，有助于实现逻辑学家的目标和理想有效的推理形式应普遍适用于各种场合的日常推理。