上一页

ⓘ Category:邏輯




                                               

逻辑

邏輯 (古希臘語: λογική ;德語: Logik ;法語: logique ;英語: logic ;意大利语、西班牙语、葡萄牙语: logica),又稱 理則 、 論理 、 推理 、 推論 ,是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中,但主要在心理、学习、哲學、語義學、數學、推论统计学、脑科学、法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論。 邏輯通常可分為三個部份:歸納推理、溯因推理和演繹推理。 在哲學裡,邏輯被應用在大多數的主要領域之中:形上學/宇宙論、本體論、知識論及倫理學。 在數學裡,邏輯是指形式逻辑和数理邏輯,形式逻辑是研究某個形式語言的有效推論。主要是演 ...

                                               

逻辑符号表

在逻辑是否中,经常使用一组符号来表达逻辑结构AI。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法和有关的数学领域。此外,第三列包含非正式定义,第四列给出简短的例子。 要注意,在一些情况下,不同的符号有相同的意义,而同一个符号,依赖于上下文,有不同的意义。

                                               

布尔逻辑

布尔逻辑 (英語: Boolean algebra )得名于乔治 布尔,他是爱尔兰科克的皇后学院的英国数学家,他在十九世纪中叶首次定义了逻辑的代数系统。现在,布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年,克劳德 艾尔伍德 香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。

                                               

悖论

悖論 (英語:Paradox),亦稱為 佯謬 或 詭局 ,是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论,似非而是称为佯谬;有时候违背直觉的正确论断也称为悖论。悖论的英文 paradox 一詞,来自希腊语 παράδοξος , paradoxos ,意思是" 未预料到的”、" 奇怪的”。 如果承认它是真的,经过一系列正确的推理,却又得出它是假的;如果承认它是假的,经过一系列正确的推理,却又得出它是真的。古今中外有不少著名的悖论,它们震撼了逻辑和数学的基础,激发了人们求知和精密的思考,吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考,悖论的解决又往往可以给人带来全新的观念。 paradox 其實亦有" 似非而是” ...

                                               

先有鸡还是先有蛋

先有鸡还是先有蛋 这个因果困境想要表达的是一个" 到底是先有蛋,还是先有鸡 ”的问题。这个鸡与蛋的问题也常常激起古代的哲学家们去探索并讨论生命与宇宙的起源问题。 在一般情况下,人们往往会认为要得到" 先有鸡还是先有蛋”这类循环因果的问题的答案是徒劳的,人们会认为这是自然界中最基本的问题。当然,关于这个问题的字面答案是简单并显而易见的:卵生动物在鸡出现前很长的一段时间中就一直存在了。然而,这个简单问题背后的隐喻却带来了一个形而上学层面上的困境问题。为了更好的理解这个困境问题,该问题也会被改写成" X得到了Y,Y得到了X,那么是先有X还是先有Y”。 这个问题也往往会等效运用在工程及其他学科的" 一个需要计算自己本 ...

                                               

德摩根定律

在命题逻辑和逻辑代数中, 德摩根定律 (英語: De Morgans laws ,或称 笛摩根定理 、 对偶律 )是关于命题逻辑规律的一对法则。 19世纪英国数学家奥古斯塔斯 德摩根首先发现了在命题逻辑中存在着下面这些关系: ¬ p ∧ q ≡ ¬ p ∨ ¬ q {\displaystyle \neg p\land q\equiv \neg p\lor \neg q} ¬ p ∨ q ≡ ¬ p ∧ ¬ q {\displaystyle \neg p\lor q\equiv \neg p\land \neg q} 即: 非( p {\displaystyle p} 且 q {\displaystyle q} )等价于( 非 p {\displaystyle p} )或( 非 q {\displaystyle q} ) 非( p {\displaystyle p} 或 q {\displaystyle q} )等价于( 非 p {\displaystyle p} )且( 非 q {\displaystyle q} ) 德摩根定律在数 ...