6 关系: 布尔逻辑,真值表,谢费尔竖线,逻辑非,逻辑或,文氏图。
布尔逻辑
布尔逻辑(Boolean algebra,台湾译--,中國大陸譯--)得名于乔治·布尔,他是爱尔兰科克的皇后学院的英国数学家,他在十九世纪中叶首次定义了逻辑的代数系统。现在,布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年,克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。.
真值表
真值表是使用於邏輯中(特別是在連結邏輯代數、布爾函數和命題邏輯上)的一類數學用表,用來計算邏輯表示式在每種論證(即每種邏輯變數取值的組合)上的值。尤其是,真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真,亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施羅德於1880年代所发明的。這種表格於1920年代之後廣泛地發現在許多文獻上頭(扬·武卡谢维奇、埃米爾·波斯特、维特根斯坦)”(蒯因, 39)。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题,但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。 真值表被用來計算以「決策程序」建構的命題表示式的值。命題表示式可以是一個原子公式(命題常數、命題變數或命題函數,如Px或P(x)),或以邏輯算子(如邏輯與(\land)、邏輯或(\lor)、邏輯非(\lnot))由原子公式建構出來的公式。舉例來說,Fx \land Gx即是個命題表示式。 真值表中的列标题展示了 (i)命题函数与/或变量,和 (ii)建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 (i)和 (ii)的T或F指派的每个可能的求值。换句话说,每行都是对 (i)和 (ii)的不同解释。 经典(就是说二值)逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统,它们是“真”或“假”,通常在表中简单的表示为T和F。.
谢费尔竖线
谢费尔竖线(Sheffer stroke),得名于,写为“| ”(見豎線)或“↑”,指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”(Not AND,因此也常縮寫為NAND),也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。.
新!!: 逻辑或非和谢费尔竖线 · 查看更多 »
逻辑非
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值--。 命题A的非可以有几种写法:.
逻辑或
逻辑或(logical or)又称逻辑析取(logical disjunction)、邏輯選言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。.
文氏图
文氏图(Venn diagram),或译Venn圖、--、维恩圖、范氏圖,是在所谓的集合论(或者类的理论)数学分支中,在不太严格的意义下用以表示集合(或类)的一种草图。它们用于展示在不同的事物群组(集合)之间的数学或逻辑联系,尤其适合用来表示集合(或)类之间的“大致关系”,它也常常被用来帮助推导(或理解推导过程)关于集合运算(或类运算)的一些规律。.