邏輯用語例子大全初中英語

記憶與思維:邏輯記憶 記憶活動(dòng)和思維活動(dòng)密切相關(guān)，兩者互為因果。思維積極靈活、積極、正確，記憶效果就好;同樣，記憶的信息也為思維提供了可靠的保證。 下面就思維的方法，以及思維和記憶的關(guān)系進(jìn)行論述。 分析與綜合。分析法的特點(diǎn)是從未知看需知，逐步靠擾已知;綜合法的特點(diǎn)是從已知看可知，逐步推出未知。分析和綜合是相輔相成的，它是基本上的思維過程，也是一切智力活動(dòng)的基礎(chǔ)，是動(dòng)腦筋及深刻理解的過程。

邏輯(logic)是一個(gè)外來詞語，拼音是luó ji，邏輯 狹義上邏輯既指思維的規(guī)律，也指研究思維規(guī)律的學(xué)科即邏輯學(xué)。廣義上邏輯泛指規(guī)律，包括思維規(guī)律和客觀規(guī)律。邏輯包括形式邏輯與辯證邏輯，形式邏輯包括歸納邏輯與演繹邏輯，辯證邏輯包括矛盾邏輯與對(duì)稱邏輯。對(duì)稱邏輯是人的整體思維(包括抽象思維與具象思維)的邏輯。

邏輯指的是思維的規(guī)律和規(guī)則，是對(duì)思維過程的抽象。

從狹義來講，邏輯就是指形式邏輯或抽象邏輯，是指人的抽象思維的邏輯;廣義來講，邏輯還包括具象邏輯，即人的整體思維的邏輯。

舉例解釋

1.思維的規(guī)律

沙汀 《還鄉(xiāng)記》二:"這個(gè)想法也許不合邏輯，但在情理上卻很有根據(jù)的。" 王西彥 《夜宴》一:"不過，按照 廖淑宇 先生自己的邏輯講起來，卻實(shí)在是有幾分冤枉的。"

2.客觀的規(guī)律性

艾蕪 《談短篇小說》:"認(rèn)真研究下去，就可以找出社會(huì)生活的某些客觀規(guī)律，即生活的邏輯。" 楊沫 《林道靜的道路》:"這是歷史的邏輯，也是生活的邏輯。"

3.順理成章

符合規(guī)律。 洪深 《電影戲劇的編劇方法》第六章三:"至于聯(lián)合變化的方法，他指出:一個(gè)劇情可以邏輯地引起第二個(gè)劇情。" 老舍 《黑白李》:" 黑李 并不黑，只是在左眉上有個(gè)大黑痣，因此他是 黑李 ;弟弟沒有那么個(gè)記號(hào)，所以是 白李 ;這在給他們送外號(hào)的中學(xué)生們看，是很合邏輯的。"

4.指邏輯學(xué)

以推理形式為主要研究對(duì)象的學(xué)科。

王力 《龍蟲并雕齋文集·邏輯和語言》:"邏輯是關(guān)于思維的形式和規(guī)律的科學(xué)。"

不同含義

客觀事物的規(guī)律性

某種理論，觀點(diǎn)，行為方式

思維的規(guī)律，規(guī)則

一門學(xué)科，即邏輯學(xué)

缺省規(guī)則 “鳥通常會(huì)飛” 被下列缺省所形式化：
$D\; =\; \backslash left\backslash \{\; \backslash frac\{Bird(X)\; :\; Flies(X)\}\{Flies(X)\}\; \backslash right\backslash \}$
這個(gè)規(guī)則意味著，如果 $X$ 是鳥，并且可以假定它會(huì)飛，則我們得出結(jié)論它會(huì)飛。包含某些關(guān)于鳥的事實(shí)的背景理論在下面列出：
W = { Bird（禿鷲），Bird（企鵝），¬ Flies（企鵝），F(xiàn)lies（鷹） }。
依據(jù)這個(gè)缺省規(guī)則，禿鷲會(huì)飛，因?yàn)榍凹?Bird（禿鷲） 是真的，并且論據(jù) Flies（禿鷲） 與當(dāng)前已知不矛盾。相反的，Bird（企鵝） 不允許得出結(jié)論 Flies（企鵝）： 即使缺省的前件 Bird（企鵝） 是真的，論據(jù) Flies（企鵝） 與已知相矛盾。從這個(gè)背景理論和這個(gè)缺省，不能得出結(jié)論 Bird（鷹），因?yàn)槿笔∫?guī)則只允許從 Bird(X) 推出 Flies(X），但不能反過來。從推論規(guī)則的結(jié)論推出前提是結(jié)論的一種解釋形式，這是溯因推理的目標(biāo)。
常見的缺省假定是不知道為真的東西都被相信是假的。這叫做封閉世界假定，并在缺省邏輯中對(duì)每個(gè)事實(shí) $F$ 使用像下列這樣的缺省來形式化。
$\backslash frac\{:\{\backslash neg\}F\}\{\{\backslash neg\}F\}$
例如，計(jì)算機(jī)語言 Prolog 在推導(dǎo)否定的時(shí)候，使用了某種程度的缺省假定： 如果否定的原子不能被證明為真，則它被假定為假。但是要注意，Prolog 使用了所謂的否定為失?。?當(dāng)解釋器必須求值原子 $\backslash neg\; F$ 的時(shí)候，它嘗試證明 $F$ 是真，并如果這失敗了則結(jié)論為 $\backslash neg\; F$ 是真。轉(zhuǎn)而在缺省邏輯中，缺省有 $\backslash neg\; F$ 作為論據(jù)，它只能在 $\backslash neg\; F$ 與當(dāng)前知識(shí)一致的時(shí)候應(yīng)用。