思：通过否定来肯定）是有效的简单的论证形式：在逻辑运算符记号中：这里的formula_4表示逻辑断言。粗略的，我们可以说一个或另一个是真；接着我们可以说一个不是真；那么我们可以推导出另一个必须是真。这种推理叫做"选言三段论"，就是说，首先它是三段论--三个步骤的论证--其次它包含一个析取式，它简单的意味着一个"或"陈述。"要么P要么Q"是一个析取式；P和Q叫做这个陈述的"离析项"（）。一个例子：另一个例子：
包容的与排斥的析取式.应当注意到有两种逻辑析取是重要的：