文本 (数理逻辑) Literal (mathematical logic)
(重定向自Boolean literal)
在数理逻辑中,文本(literal)是一个原子公式(atom)或它的否定。文本可以分为两种类型:
- 肯定文本就是一个原子。
- 否定文本是一个原子的否定。
纯文本是其变量(在某个公式内)的所有出现都有相同符号的文本。
单词 | Boolean literal |
释义 |
Boolean literal
中文百科
文本 (数理逻辑) Literal (mathematical logic)(重定向自Boolean literal)
在数理逻辑中,文本(literal)是一个原子公式(atom)或它的否定。文本可以分为两种类型:
纯文本是其变量(在某个公式内)的所有出现都有相同符号的文本。
英语百科
Literal (mathematical logic) 文字 (数理逻辑)(重定向自Boolean literal)
In mathematical logic, a literal is an atomic formula (atom) or its negation. The definition mostly appears in proof theory (of classical logic), e.g. in conjunctive normal form and the method of resolution. Literals can be divided into two types: For a literal |
随便看 |
|
英汉双解词典包含3607232条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。