-
推理形式是推理中前提与结论之间的联系方式。是用词项变项或命题变项去代替具体推理中有着各种具体内容的词项或命题的结果。例如:"如果某数能被9除尽，它就能被3除尽;某数能被9除尽;所以，它能被3除尽。"这是一个充分条件的假言推理，其前提和结论都分别是有着不同具体内容的命题，如果我们用命题变项"p"和"q"去分别代替其中具有具体内容的两个命题--"某数能被9除尽"和"它能被3除尽"，那么，我们就可得到充分条件假言推理的~种推理形式:"如果p，那么q;p，所以q。
推理是用词项变项或命题变项去代替具体推理中的具体概念或具体命题的结果.例如:若四边形是平行四边形，则其对边相等.四边形有一对对边不相等.所以该四边形不是平行四边形.上述推理既有内容又有形式.如果把该推理的内容抽去，以命题变项p}q分别代替具体命题，就可得如下的推理形式:若p，则q.非q，所以非p。