网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇：

　

词汇 Negative Literal
分类 英语词汇 英语翻译词典
释义

Negative Literal

中文百科

文本 (数理逻辑) Literal (mathematical logic)

（重定向自Negative Literal）

在数理逻辑中，文本(literal)是一个原子公式(atom)或它的否定。文本可以分为两种类型:

  • 肯定文本就是一个原子。
  • 否定文本是一个原子的否定。

纯文本是其变量(在某个公式内)的所有出现都有相同符号的文本。

英语百科

Literal (mathematical logic) 文字 (数理逻辑)

（重定向自Negative 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.
随便看

　

依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。

　

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间：2025/8/7 3:07:29