文本 (数理逻辑) Literal (mathematical logic)
（重定向自Boolean literal）
在数理逻辑中，文本(literal)是一个原子公式(atom)或它的否定。文本可以分为两种类型:
- 肯定文本就是一个原子。
- 否定文本是一个原子的否定。
纯文本是其变量(在某个公式内)的所有出现都有相同符号的文本。
Boolean literal
中文百科
英语百科
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 
, 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 
.
- screw contact fuse的意思
- screw control的意思
- screw controller的意思
- screw conveyer的意思
- screw conveyer for automatic discharging of weigh receptacles of filling balances的意思
- screw conveyer for automatic discharging of weigh receptacles of screw conveyers的意思
- screw conveyer for distributing matrices, spaces in composing machines的意思
- screw conveyer, mixing screw的意思
- screw conveyers for distributing matrices, spaces in composing machines的意思
- Screw conveyor的意思
- screw conveyor box的意思
- screw conveyor drier的意思
- screw conveyor feeder的意思
- screwconveyor feeder的意思
- screw conveyor flight的意思
- screw conveyor for package的意思
- screw conveyor furnace的意思
- screwconveyor reactor的意思
- screw conveyor trough的意思
- screw conveyor with cut flights的意思
- screw core的意思
- screw correction的意思
- screw coupler的意思
- Screw coupling的意思
- screw coupling box的意思