命题
用来表示判断的有真假的语句。一般讲，自然语言中的陈述句都是命题。命题按其结构可分为简单命题和复合命题。简单命题，也叫原子命题，指不以其他命题为其组成部分的命题。如“孔子是中国人”。复合命题，也叫分子命题，是包含了其他命题的命题。如“如果孔子是中国人，则孔子是亚洲人”。复合命题由*联结词和支命题组成。组成复合命题的命题叫该复合命题的支命题。支命题本身也可以是复合命题。命题形式，即命题的逻辑形式，由常项和变项组成。命题的常项是命题形式中的不变部分，它决定命题的逻辑特征。命题的变项是命题形式中的可变部分，它可代以任－具体内容。如在假言命题形式“如果p，那么q”中，“p”与“q”是变项，“如果……那么……”是常项。为了避免自然语言中的歧义，使常项的涵义精确，常用特制的专门符号来代替用自然语言表示的常项。如用“→”代替“如果……那么……”。“p→q”是完全符号化了的命题形式。 |