逻辑①，指客观事物的发展规律。②，指一种观点、思想方法和理论。③，指人的思维的规则和规律。④，指逻辑的科学即逻辑学。思维有两个显著的特点：抽象性和间接性。逻辑形式逻辑形式是 用逻辑变项和逻辑常项表示的思维结构。(1) 逻辑变项 是思维内容的符号表示，在逻辑形式中代表可以变化的经验内容，也可以看作一种“空位”；对于一个逻辑形式而言，在空位上填入什么“内容”不会影响逻辑形式的特征。(2) 逻辑常项 是逻辑形式中不变的部分，如果逻辑常项（个体常项除外）不同，逻辑形式的性质也就不同。因此，逻辑形式的性质是由逻辑常项决定的思维的逻辑形式：不同内容的命题和推理自身所具有的共同结构。人工语言 是为了特别的目的“构造”的语言。它的突出特点是符号特征对象语言 对逻辑而言，人工语言是用来表示或显示逻辑形式的，我们把这个人工语言叫做对象语言。对象语言是用来表示思维对象的语言，对象语言是被陈述的语言。元语言 用来表述能够显示或表示逻辑思想的人工语言的语言就是元语言。元语言是用来表述对象语言的语言，元语言是陈述语言的语言。简单命题简单命题（原子命题）是由词项构成的命题。它自身不再含有其它命题了。复合命题复合命题是由命题构成的命题。也就是说，复合命题可以分析为命题和逻辑联词。（基本的复合命题可以进一步划分为联言、选言、假言和负的复合命题，它们是复合命题与推理讨论的基本对象。）复合命题基本结构是“主项+谓项”，按照量词划分，全称的，特称的，单称的。7、联言命题联言命题是反映一个或几个思维对象同时 具有某些属性的复合命题。 （显然，，联言命题就是几个命题的“联合”，他陈述的是几个同时存在的事实。）联言判断：就是几种事物情况同时存在的判断。8、选言命题选言命题是反映一个或几个思维对象所具有的某些属性至少 有一种情况存在的复合命题。相容选言判断：断定几个选言支至少有一个为真的选言判断。不相容选言判断：断定其选言支中有并且只有一个选言支为真的选言判断。选言判断：就是断定几种可能事物情况至少有一种存在的判断。9、假言命题假言命题陈述的是两个思维对象之间的条件关系 。因此又叫条件命题、蕴涵命题。假言判断 ：断定某一事物情况的存在是另一事物情况存在的条件的判断。10、充分条件令 P 与 Q之间有条件关系，如果有P 就有 Q，无 P 不一定无 Q，则 P是 Q的充分条件。11、必要条件令 P 与 Q之间有条件关系，如果没有P 就没有...
