10 关系: 同构,实质条件,布尔函数,一元谓词演算,命题逻辑,真值表,谢费尔竖线,逻辑等价,逻辑运算符,逻辑或非。
同构
在抽象代数中,同构(isomorphism)指的是一个保持结构的双射。在更一般的范畴论语言中,同构指的是一个态射,且存在另一个态射,使得两者的复合是一个恒等态射。 正式的表述是:同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射,那么这两个结构叫做是同构的。一般来说,如果忽略掉同构的对象的属性或操作的具体定义,单从结构上讲,同构的对象是完全等价的。.
实质条件
在命题演算,或在数学的逻辑演算中,实质条件、實質蘊涵(容易和語意蘊涵\vDash搞混,建議不要用蘊涵這兩字)或蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式 这裡的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这裡的A,叫做前件;第二项这裡的B,叫做后件。 这个算子使用右箭头“→”(有时用符号“⇒”或“⊃”)来符号化,符合“如果A為真,那么B亦為真”被写为如下:.
布尔函数
在数学中,布尔函数(Boolean function)描述如何基于对布尔输入的某种逻辑计算确定布尔值输出。它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在密码学中扮演关键角色,特别是在对称密钥算法的设计中(参见S-box)。.
一元谓词演算
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式 P(x),这里的 P 是谓词字母而 x 是变量。.
新!!: 零阶逻辑和一元谓词演算 · 查看更多 »
命题逻辑
在邏輯和數學裡,命題演算(或稱句子演算)是一個形式系統,有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式,以及允許某些公式建構成「定理」的一套形式「證明規則」。.
真值表
真值表是使用於邏輯中(特別是在連結邏輯代數、布爾函數和命題邏輯上)的一類數學用表,用來計算邏輯表示式在每種論證(即每種邏輯變數取值的組合)上的值。尤其是,真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真,亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施羅德於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」的等价运算。.
新!!: 零阶逻辑和谢费尔竖线 · 查看更多 »
逻辑等价
在逻辑中,陈述p和q是逻辑等价的,如果它们有相同的逻辑内容。 p和q是语法等价的,如果每个都可以证明自另一个。p和q是语义等价的,如果它们在所有模型中有相同的真值。 逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述,断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价(常写为"p ↔ q")自身是在目标语言中另一个陈述。但它们是有联系的,p和q是语法等价的,当且仅当p ↔ q是一个定理,而p和q是语义等价的,当且仅当p ↔ q是重言式。 逻辑等价有时表示为p ≡ q或p ⇔ q。但是,后者记号也用于实质等价。.
逻辑运算符
在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。.
新!!: 零阶逻辑和逻辑运算符 · 查看更多 »
逻辑或非
在布尔逻辑运算中,逻辑或非(NOR)的结果是逻辑或的反面。也就是说,p NOR q真,当且仅当p与q都假时才成立。 逻辑或非是对于命题之间的运算,两个参数均假时结果才真;反之,两个参数中至少有一个为真时,结构就为假。.
重定向到这里:
零階邏輯。