用来表示判断的有真假的语句。一般讲，自然语言中的陈述句都是命题。命题按其结构可分为简单命题和复合命题。简单命题，也叫原子命题，指不以其他命题为其组成部分的命题。如“孔子是中国人”。复合命题，也叫分子命题，是包含了其他命题的命题。如“如果孔子是中国人，则孔子是亚洲人”。复合命题由*联结词和支命题组成。组成复合命题的命题叫该复合命题的支命题。支命题本身也可以是复合命题。命题形式，即命题的逻辑形式，由常项和变项组成。命题的常项是命题形式中的不变部分，它决定命题的逻辑特征。命题的变项是命题形式中的可变部分，它可代以任－具体内容。如在假言命题形式“如果p，那么q”中，“p”与“q”是变项，“如果……那么……”是常项。为了避免自然语言中的歧义，使常项的涵义精确，常用特制的专门符号来代替用自然语言表示的常项。如用“→”代替“如果……那么……”。“p→q”是完全符号化了的命题形式。
模态命题(语言)：含有模态词的命题。狭义指包含“必然”、“可能”这类真值模态词的模态命题，称真值模态命题。如以□或L表示必然模态算子，以◇或M表示可能模态算子，那么真值模态命题的基本形式有：□p或Lp(p是必然的)、□p..
时态命题的真值(语言)：时态命题所取的真假值。由于时态命题的真值同陈述命题的时间有关，因而时态命题的真值，通常是以不带时态算子的原子命题在其他时间点为真作为参考点来确定的。根据这种方法，各种时态命题的真值都可以..
时态命题(语言)：由时态语句表达的命题。简单时态命题的构成方式是：时态命题=时态算子 原子命题。在汉语现在时语句中往往不用现在时态词，因此现在时算子(T)可省去。这样，时态命题的基本形式有四种：⑴过去时命题Pp，读作“情..
真值表方法(语言)：用真值表定义逻辑联结词或判定真值形式真值的逻辑方法。如设p、q为命题变项，普通逻辑中不相容析取联结词”V”(表示”要么…要么…”)，用真值表可定义为：当且仅当p和q不同真、不同假时，”pvq”为真。这一..
集合(语言)：简称“集”。逻辑学术语。现代逻辑把一些确定的、彼此不同的事物作为一个整体来考虑时，这个整体就叫做集合。组成一个集合的那些事物，叫做该集合的元素。如a是集合A的元素，就叫做a属于A，记为a∈A。“∈”是表示..