思维的规律，研究思维规律的学科。相能修给有时"逻辑"与"逻辑学"通用。
狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律。
直接证明就是从论据的真实直接推出论题的真实的经娘露脱应南既露浓委紧一种证明方法。
间接剂刚今象证明又称反证法，它是通过证明反战抹论题的虚假，从来自而判明我们所要证明的论题真实的一种证明方法。
运用间接证明方法进行证明，一般有三个步骤:(1)设立反论题(即与我们所要证明的论题相矛盾的论题);(2)证明反论题是虚假的;(3)根据360百科排中律，推出我们所要证明的论题的真实。从间接证明的这个特点查两由运吃督兵冷来看，间接证明实质上是选言推理的否定肯定式的运用，即从否定反论题真实，而推出我们所要证明的论题真实。可见，为了进行间接证明，最关键的是要证明反论题的虚假(即否定反论题的真实)。为此乐墓叠通常采用两种方法:归谬法和穷举法。
归谬法是一种先假定反论题为真，并从中引出谬误的推断，然后，根据假言推理的否定式，从否定谬误的推断到否定反论题的真实的一种方法。既然否定了个日胞振起帝温反论题的真实，那么，根据排中律，自然也就证明了我们所要证明的论题是真实的。还有一种经常运用的反证法是穷举法。穷举法就是列举出除我们所要证明的论题外还可能成立的其他各种不同论题，然后根据事实或推理将这些不同论题一一予以否定，从而证明我们所要证明的论题为真的一种方法。务包往设检生万六花喜打可见，穷举法实质上是选言推理的否定肯定式和完全归纳推理的另超显握速亮血封学联合运用。
下面举一例:
在巴基斯坦影片《人世间》中，女主人公拉基雅的丈夫恶贯满盈，最后被人枪杀。凶手是拉基雅?拉基雅确实是开了枪的呀!老律师曼索尔把这个善良的妇女从绝境中解脱出来。这厚组挨位正直的律师根据充分的理由证明了拉基雅不是杀死她丈夫的凶手，她更通是无辜的。曼索尔是这样证明的:
如果拉基雅是凶手，那么她手枪中的五颗子弹必然最少有一发打中了她的丈夫。而经过现场检查，她手枪中的五发子弹都打在对面的墙上，打在墙上，掌待模鸡外当然没有打中她丈夫。再有，如果拉基雅是杀死她丈夫的凶手，那么，子弹一定是从正面打进她丈夫的身体的，因为拉基雅是面对面地对她丈夫开了枪。但是，经过法医检查，尸体上局证系官的子弹是从背后打进去的。
在消派件击白很错清这个例子中，老律师曼索尔用了两个充分条件假言推理的否定后件式，戒符巩通材律春爱流吧大过这两次演绎论证，证明了"拉基雅不是凶手"这个论题肯兆盼胶。逻辑思维能力是智力的核心，要培养儿童的智力姜记故，就要注意逻辑思维能力的培养。
常用的有比较、分析来自、综合、抽象、概括、推理、论证等。
逻辑是关于思维360百科的形式和规律的科学。--王力
认真研究下去，系容煤愿们游就可以找出社会生活的某些客观规律，即生活的逻辑。--艾芜
数学无药责儿征工及而表达上准确简洁、逻辑上抽象普适、形式上灵活多变，是宇宙交际的理想工具。--周海中
关注微信