关键词: 命题逻辑, 谓词逻辑, 真值语义, 直观推理语义

Abstract: In truth value semantics, a simple formal semantics of extension, logical connectives are interpreted as of truth value. The main issue is therefore: logical connectives → and  in truth value interpretation are different from corresponding daily connectives, “if, then” and “if and only if”. Commonsensible reasoning semantics focuses on the reasoning meaning of logical connectives → and . With the help of daily language, it explains specific contents of logical expressions, and emphasizes intensions of expressions. Commonsensible reasoning semantics can be used to verify the validity of logical expressions. Thus it approaches a goal and ideal of logicians: valid forms of inference should be able to be widely used in various situations of daily reasoning.