请输入您要查询的英文单词:

 

单词 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 l, the complementary literal is a literal corresponding to the negation of l, we can write \bar{l} to denote the complementary literal of l. More precisely, if l\equiv x then \bar{l} is \lnot x and if l\equiv \lnot x then \bar{l} is x.

随便看

 

英汉双解词典包含3607232条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
京ICP备09058993号 更新时间:2025/5/13 14:22:54