推理中前提与结论之间的联系方式。是用变项符号去代替具体推理中有各种具体内容的词项或判断的结果。如“如果p，那么q；p；所以q”就是充分条件假言推理的一种推理形式。不同的推理形式有不同的逻辑规则。一个遵守逻辑规则的推理形式，是正确的即有效的推理形式；反之，则是一个不正确的即无效的推理形式。