文本 (数理逻辑) Literal (mathematical logic)
（重定向自Negative Literal）
在数理逻辑中，文本(literal)是一个原子公式(atom)或它的否定。文本可以分为两种类型:
- 肯定文本就是一个原子。
- 否定文本是一个原子的否定。
纯文本是其变量(在某个公式内)的所有出现都有相同符号的文本。
Negative Literal
中文百科
英语百科
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 
, the complementary literal is a literal corresponding to the negation of ,
we can write 
to denote the complementary literal of . More precisely, if 
then is 
and if 
then is 
.
- mistrow的意思
- mistrowed的意思
- mistrowing的意思
- mistrows的意思
- Mistrum的意思
- mistrust的意思
- mistrust的意思
- mistruster的意思
- mistrust的意思
- mistrust的意思
- mistrusteth的意思
- mistrustful的意思
- mistrustfully的意思
- mistrust的意思
- mistrustful of的意思
- mistrust的意思
- mistrustingly的意思
- mistrust的意思
- mistrustless的意思
- mistrust的意思
- mistrusty的意思
- mistruth的意思
- mistruthful的意思
- mistruths的意思
- Mistry的意思