Literal (mathematical logic)
id:
literal-mathematical-logic-260-13794050
title:
Literal (mathematical logic)
text:
In mathematical logic, a literal is an atomic formula or its negation. The definition mostly appears in proof theory, 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. The polarity of a literal is positive or negative depending on whether it is a positive or negative literal. In logics with double negation elimination the complementary literal or complement of a
brand slug:
wiki
category slug:
encyclopedia
description:
In mathematical logic, an atomic formula or its negation
original url:
https://en.wikipedia.org/wiki/Literal_(mathematical_logic)
date created:
date modified:
2024-02-28T13:36:26Z
main entity:
{"identifier":"Q14235582","url":"https://www.wikidata.org/entity/Q14235582"}
image:
fields total:
13
integrity:
14