逻辑推理的例子

记忆与思维:逻辑记忆 记忆活动和思维活动密切相关，两者互为因果。思维积极灵活、积极、正确，记忆效果就好;同样，记忆的信息也为思维提供了可靠的保证。 下面就思维的方法，以及思维和记忆的关系进行论述。 分析与综合。分析法的特点是从未知看需知，逐步靠扰已知;综合法的特点是从已知看可知，逐步推出未知。分析和综合是相辅相成的，它是基本上的思维过程，也是一切智力活动的基础，是动脑筋及深刻理解的过程。

逻辑(logic)是一个外来词语，拼音是luó ji，逻辑 狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。逻辑包括形式逻辑与辩证逻辑，形式逻辑包括归纳逻辑与演绎逻辑，辩证逻辑包括矛盾逻辑与对称逻辑。对称逻辑是人的整体思维(包括抽象思维与具象思维)的逻辑。

逻辑指的是思维的规律和规则，是对思维过程的抽象。

从狭义来讲，逻辑就是指形式逻辑或抽象逻辑，是指人的抽象思维的逻辑;广义来讲，逻辑还包括具象逻辑，即人的整体思维的逻辑。

举例解释

1.思维的规律

沙汀 《还乡记》二:"这个想法也许不合逻辑，但在情理上却很有根据的。" 王西彦 《夜宴》一:"不过，按照 廖淑宇 先生自己的逻辑讲起来，却实在是有几分冤枉的。"

2.客观的规律性

艾芜 《谈短篇小说》:"认真研究下去，就可以找出社会生活的某些客观规律，即生活的逻辑。" 杨沫 《林道静的道路》:"这是历史的逻辑，也是生活的逻辑。"

3.顺理成章

符合规律。 洪深 《电影戏剧的编剧方法》第六章三:"至于联合变化的方法，他指出:一个剧情可以逻辑地引起第二个剧情。" 老舍 《黑白李》:" 黑李 并不黑，只是在左眉上有个大黑痣，因此他是 黑李 ;弟弟没有那么个记号，所以是 白李 ;这在给他们送外号的中学生们看，是很合逻辑的。"

4.指逻辑学

以推理形式为主要研究对象的学科。

王力 《龙虫并雕斋文集·逻辑和语言》:"逻辑是关于思维的形式和规律的科学。"

不同含义

客观事物的规律性

某种理论，观点，行为方式

思维的规律，规则

一门学科，即逻辑学

缺省规则 “鸟通常会飞” 被下列缺省所形式化：
$D\; =\; \backslash left\backslash \{\; \backslash frac\{Bird(X)\; :\; Flies(X)\}\{Flies(X)\}\; \backslash right\backslash \}$
这个规则意味着，如果 $X$ 是鸟，并且可以假定它会飞，则我们得出结论它会飞。包含某些关于鸟的事实的背景理论在下面列出：
W = { Bird（秃鹫），Bird（企鹅），¬ Flies（企鹅），Flies（鹰） }。
依据这个缺省规则，秃鹫会飞，因为前件 Bird（秃鹫） 是真的，并且论据 Flies（秃鹫） 与当前已知不矛盾。相反的，Bird（企鹅） 不允许得出结论 Flies（企鹅）： 即使缺省的前件 Bird（企鹅） 是真的，论据 Flies（企鹅） 与已知相矛盾。从这个背景理论和这个缺省，不能得出结论 Bird（鹰），因为缺省规则只允许从 Bird(X) 推出 Flies(X），但不能反过来。从推论规则的结论推出前提是结论的一种解释形式，这是溯因推理的目标。
常见的缺省假定是不知道为真的东西都被相信是假的。这叫做封闭世界假定，并在缺省逻辑中对每个事实 $F$ 使用像下列这样的缺省来形式化。
$\backslash frac\{:\{\backslash neg\}F\}\{\{\backslash neg\}F\}$
例如，计算机语言 Prolog 在推导否定的时候，使用了某种程度的缺省假定： 如果否定的原子不能被证明为真，则它被假定为假。但是要注意，Prolog 使用了所谓的否定为失败： 当解释器必须求值原子 $\backslash neg\; F$ 的时候，它尝试证明 $F$ 是真，并如果这失败了则结论为 $\backslash neg\; F$ 是真。转而在缺省逻辑中，缺省有 $\backslash neg\; F$ 作为论据，它只能在 $\backslash neg\; F$ 与当前知识一致的时候应用。