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