推理形式由逻辑常项和变项两部分构成。逻辑常项代表推理形式中的结构性要素，变项代表其中的内容要素。也就是说，两个人可以说不同的话，但是他们都使用了相同的形式。例如，甲说所有男人都是聪明人，乙说所有女人是都聪明人。虽然甲乙所说的对象不同，他们说话所使用的形式是一样的。逻辑学就是研究由逻辑常项和变项构成的推理形式，它是由不同的人在进行不同的推理的时候，所共享的思维构架、模式。

推理形式的主要分析方法：

1，分析推理的第一种方式，停留在简单语句平面上，而不深入到语句内层；简单语句用小写字母p、q、r、s等等表示；把简单语句用逻辑联结词连接起来形成复合语句；通常考虑的联结词：“并非”、“并且”、“或者”、“如果，则”、“当且仅当”；用符号表示：￢、∨、∧、→、↔

2，分析推理的第二种方式：深入语句内层，但把简单句分析成主谓式语句，基本形式：

所有S都是P：SAP

所有S都不是P：SEP

有些S是P：SIP

有些S不是P：SOP

a是P：a∈P

a不是P：a∉P

3，分析推理的第三种方式：深入语句内层，但做与主谓式不同的另一种分析。

个体词：把表示对象的语词单独出来

个体常项：a、b、c……（相当于名字，表示特定的个体）

个体变项：x、y、z……

谓词符号：F、G、R、S……（表示个体的性质或个体之间的关系）

量词：∀、∃

联结词：￢、∨、∧、→、↔