推论是在设定作为出发点的一个或多个命题的基础上得出并肯定一个命题的心智过程。
为了确定一个推论是否正确，逻辑学家要考察这一过程从开始至结束的那些命题以及它们之间的关系。这一命题序列就构成一个论证。
现在，我们准备给论证下一个更精确的定义。一个论证（argument）就是一个命题的汇集，其中某些命题（前提）被给出作为接受另一个命题（结论）为真的理由。看下面的论证：
所有人都是会死的。
苏格拉底是人。
前提
苏格拉底是会死的。
结论
重要提示
逻辑学家对命题、陈述、语句进行了区分。命题是被断定的东西。
陈述是在某一特定语言中被一个语句所断定的命题。命题和陈述的意义非常接近，我们以后将不加区分地使用。在这个论证中，前两个命题是前提，它们为相信结论“苏格拉底是会死的”为真提供理由。
