Commit e1cf28a7 authored by Martin Jonas's avatar Martin Jonas
Browse files

Small change in Propositional logic

parent 73f0f181
......@@ -21,7 +21,7 @@ sentences.
Let $\P$ be a fixed finite set of propositional variables. For every
variable $x \in \P$ there are two literals -- a \emph{positive
literal} $x$ and a \emph{negative literal} $\overline{x}$. For a
given literal $l$, we define $\neg l$ as $\overline{l}$ if $l = x$ for
given literal $l$, we define $\neg l$ as $\overline{x}$ if $l = x$ for
a variable $x$ and as $x$ if $l = \overline{x}$ for a variable
x. Literals $l$ and $\neg l$ are called \emph{complementary}. A
\emph{clause} is a finite disjunction of literals. The empty clause is
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment