Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Literal_(mathematical_logic)> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Literal_(mathematical_logic) abstract "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: A positive literal is just an atom. A negative literal is the negation of an atom.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 .In the context of a formula in the conjunctive normal form, a literal is pure if the literal's complement does not appear in the formula.".
- Literal_(mathematical_logic) wikiPageExternalLink handbookI.
- Literal_(mathematical_logic) wikiPageID "7792761".
- Literal_(mathematical_logic) wikiPageRevisionID "565613468".
- Literal_(mathematical_logic) hasPhotoCollection Literal_(mathematical_logic).
- Literal_(mathematical_logic) subject Category:Logic_symbols.
- Literal_(mathematical_logic) subject Category:Propositional_calculus.
- Literal_(mathematical_logic) type Abstraction100002137.
- Literal_(mathematical_logic) type Communication100033020.
- Literal_(mathematical_logic) type LogicSymbols.
- Literal_(mathematical_logic) type Signal106791372.
- Literal_(mathematical_logic) type Symbol106806469.
- Literal_(mathematical_logic) comment "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: A positive literal is just an atom. A negative literal is the negation of an atom.For a literal , the complementary literal is a literal corresponding to the negation of , we can write to denote the complementary literal of .".
- Literal_(mathematical_logic) label "Literaal".
- Literal_(mathematical_logic) label "Literal (lógica matemática)".
- Literal_(mathematical_logic) label "Literal (lógica matemática)".
- Literal_(mathematical_logic) label "Literal (mathematical logic)".
- Literal_(mathematical_logic) label "Littéral (logique)".
- Literal_(mathematical_logic) label "Литерал (математическая логика)".
- Literal_(mathematical_logic) label "文字 (数理逻辑)".
- Literal_(mathematical_logic) sameAs Literal_(lógica_matemática).
- Literal_(mathematical_logic) sameAs Littéral_(logique).
- Literal_(mathematical_logic) sameAs Literaal.
- Literal_(mathematical_logic) sameAs Literal_(lógica_matemática).
- Literal_(mathematical_logic) sameAs m.026d62d.
- Literal_(mathematical_logic) sameAs Q14235582.
- Literal_(mathematical_logic) sameAs Q14235582.
- Literal_(mathematical_logic) sameAs Literal_(mathematical_logic).
- Literal_(mathematical_logic) wasDerivedFrom Literal_(mathematical_logic)?oldid=565613468.
- Literal_(mathematical_logic) isPrimaryTopicOf Literal_(mathematical_logic).