283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 20: | Line 20: | ||
=== Syntax === | === Syntax === | ||
'''Atoms''' and '''literals''' are | '''Atoms''' and '''literals''' are building blocks of terms, but not terms themselves. | ||
<math> \mbox{Atoms}~ A, B ::= \mathsf{Foo} ~|~ \mathsf{Bar}</math> | <math> \mbox{Atoms}~ A, B ::= \mathsf{Foo} ~|~ \mathsf{Bar} ~|~ ... </math> | ||
<math> \mbox{Literals}~ l, m ::= A ~|~ \neg A </math> | <math> \mbox{Literals}~ l, m ::= A ~|~ \neg A </math> | ||
| Line 28: | Line 28: | ||
Literals are atoms with '''polarity'''. | Literals are atoms with '''polarity'''. | ||
We say that a literal of the form <math>A</math> is ''positive'', while <math>\neg A</math> is ''negative''. | We say that a literal of the form <math>A</math> is ''positive'', while <math>\neg A</math> is ''negative''. | ||
See [https://en.m.wikipedia.org/wiki/Literal_(mathematical_logic) Literal (mathematical_logic)] for more | See [https://en.m.wikipedia.org/wiki/Literal_(mathematical_logic) Literal (mathematical_logic)] for more details on literals in general. | ||
Primitive terms | '''Primitive terms''' | ||