比浏览器更快的访问！
16 关系: 偶数，奇数，全称量化，E，解，论域，谓词逻辑，量化 (数理逻辑)，自然数，集合，逻辑，逻辑与，逻辑等价，逻辑或，无衬线体，数理逻辑。
偶数
#重定向 奇偶性 (数学).
奇数
#重定向 奇偶性 (数学).
全称量化
在谓词逻辑中，全称量化是尝试形式化某个事物（逻辑谓词）对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词（典型的"∀"）是用来指示全称量化的符号。.
E
E, e 是拉丁字母中的第5个字母。 它来源于一个与它形状和功能相像的希腊字母Epsilon（Ε, ε）。 闪族语单词 hê 可能是第一个用来表示起到或称呼人的单词。在闪含语中，这个字母发作/h/（在其它语言中可以发作/e/），在希腊语中 hê 变成 Εψιλον（Epsilon）发作/e/。伊特鲁里亚人和罗马人都这样使用它。由于元音大推移，英语的用法比较特殊，英语me或bee中把它发作/i:/，而在bed中的用法则相当接近拉丁美洲和欧洲的用法。 与其他拉丁字母元音一样，e有长元音（例如英语的 they）和短元音的变体（例如英语的 pet）。在其它语言中这个字母可能有很多音值，有时候要用重音符（ê,é,è,ë）来区分它们。 在电脑中，这个字母大写形式的ASCII码为69，小写为101。这个字母是英语中最常用的字母，而很多的相关语言中，这个字母可以作为密码学的提示字母。.
解
解是漢詩的章節，一章即為一解，一首詩可分為多「解」。 在兩漢、魏晉的樂府詩，解是音樂上的用語，指樂曲的一章。有的詩歌會標示分為多少解，也有的不分解。分解的詩歌，大抵每一解都反覆歌唱同一首樂曲；而不分解的，即使長篇，由始至終都是樂曲一首，不重複。詩歌換韻之處，往往也在詩句轉入另一新「解」的地方。原則上，詩歌以4句為一解，律詩8句，一般分為2解。明末清初金聖嘆提出新說，4句稱一解之外，以2句為「半解」；詩歌意思的起落，往往亦相當於解的起落。例如古詩十九首〈青青河畔草〉：「青青河畔草，鬱鬱園中柳。盈盈樓上女，皎皎當窗牖。娥娥紅粉粧，纖纖出素手。」頭兩句專寫景，是為「半解」；第3-6句，寫的是美人，則是另一「解」。.
论域
在形式科學裡，論域（或稱做論述全集），是指在某些系統化的論述裡的一些令人感興趣的變數之上，由其中的實體所組成的集合。論域通常被視為預備知識，所以不需要每一次都指出相關變數的範圍來。 例如，在一階邏輯的解釋中，論域是指由量詞能指涉到的個體所組成的集合。在一個解釋裡，論域可以是實數的集合；在另一個解釋裡，則可能是自然數的集合。若沒有指定任何論域，則如∀x (x2 ≠ 2) 之類命題的真偽是不確定的。若論域是實數的集合，此命題即是假的，因為有x.
谓词逻辑
在数理逻辑中，谓词逻辑（Predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。.
量化 (数理逻辑)
在语言和逻辑中，量化是指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量词。在形式语言中，量化是从旧公式产生新公式的公式构造子（constructor）。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是变量约束操作的实例。 在谓词逻辑的两类基本量化是全称量化和存在量化。这些概念被更详细的叙述于在单独文章中；下面我们讨论适用于二者的特征。其他种类的量化包括唯一量化。.
新！!: 存在量化和量化 (数理逻辑) · 查看更多 »
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
集合
集合可以指：.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
逻辑与
在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。.
逻辑等价
在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 p和q是语法等价的，如果每个都可以证明自另一个。p和q是语义等价的，如果它们在所有模型中有相同的真值。 逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述，断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价（常写为"p ↔ q"）自身是在目标语言中另一个陈述。但它们是有联系的，p和q是语法等价的，当且仅当p ↔ q是一个定理，而p和q是语义等价的，当且仅当p ↔ q是重言式。 逻辑等价有时表示为p ≡ q或p ⇔ q。但是，后者记号也用于实质等价。.
逻辑或
逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。.
无衬线体
無襯線體（sans-serif）指沒有襯線的字體，與襯線字體相反，完全抛弃装饰衬线，只剩下主干，造型简明有力，更具现代感，起源也很晚。适用于标题、广告，瞬间的识别性高。这类字体在漢字等東亞字體中称“黑体”（或“方體”），与有衬线的“白体”相对。这类字体旧称“grotesque”（德语作grotesk）或“哥特体”，在日文中还有ゴシック体（Goshikku-tai，即“哥特体”）的称呼。.
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
