演绎论证
演绎论证（Deductive Argument）是概念-逻辑学中的一种核心论证形式，其特点是结论必然地由前提推导而出。一个好的演绎论证被称为“有效的”（valid），并且如果其前提为真，那么它就是“可靠的”（sound）。
论证从根本上可被分为两大类：演绎的 (deductive) 和归纳的 (inductive)。
有效性 (Validity)
有效性是评价演绎论证形式结构的标准。一个论证是有效的，当且仅当它的前提为真时，结论不可能为假。换言之，有效性保证了从真前提出发，必然得到真结论。
在一个有效论证中，结论是从前提中逻辑地推出的，也就是说在一个有效论-证中，逻辑上不可能会出现前提为真而结论为假的情况，因为结论只是表达了隐含在各前提中的东西。 所以演绎论证被称作是“保真”的，因为其前提的真就保证了其结论的真。
定义：
有效论证
一个这样的演绎论证：在该论证中不可能其前提为真而结论为假。
有效性只关乎论证的形式，而与前提或结论的实际真假无关。一个有效论证可以有假前提和假结论。
可靠性 (Soundness)
一个可靠的论证必须满足两个条件：它必须是有效的，并且其所有前提都必须为真。只有可靠的论证才能为我们相信其结论为真提供充分的理由。
当这两个条件都得到满足——一个论证是有效的且其前提为真——则该论证被称作“可靠的”(sound)。
定义：
可靠的论证
一个包含了真前提的有效演绎论证。
常见的有效论证形式
- 肯定前件 (Modus Ponens): 如果p, 则q。p。所以, q。
- 否定后件 (Modus Tollens): 如果p, 则q。非q。所以, 非p。
- 假言三段论 (Hypothetical Syllogism): 如果p, 则q。如果q, 则r。所以, 如果p, 则r。
- 析取三段论 (Disjunctive Syyllogism): 或者p, 或者q。非p。所以, q。
与概念-归纳论证不同，演绎论证旨在提供确定性的结论，而非仅仅是高概率的支持。