# Differences

This shows you the differences between two versions of the page.

syntax [2010/08/18 12:03]
jipsen
syntax [2010/08/18 12:13] (current)
jipsen
Line 1: Line 1:
-[[Syntax]] | [[Terms]] | [[Equations]] | [[Quasiequations]] | [[Theories]]+[[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] | [[Theories]]
-===== Variables =====+==== Variables ====
$x$ $y$ $z$ $u$ $v$ $w$ $x_0$ $x_1$ $x_2$ ... $x$ $y$ $z$ $u$ $v$ $w$ $x_0$ $x_1$ $x_2$ ...
-===== Operation symbols =====+==== Operation symbols ====
-**Constant symbols**+  ***Constant symbols**
+    *$a$ $b$ $c$ $d$ $e$ $\bot$ $\top$ $\emptyset$ $\infty$ $0$-$9$ $\alpha-\omega$
-$a$ $b$ $c$ $d$ $e$ $\bot$ $\top$ $\emptyset$ $\infty$ $0$-$9$ $\alpha-\omega$+  ***Unary operation symbols**
+    *Prefix: $f$ $g$ $h$ $-$ $\neg$ $\sim$
+    *Postfix: $'$ ${}^{-1}$ ${}^{\cup}$
-**Unary operation symbols**+  ***Binary operation symbols**
+    *Prefix: $f$ $g$ $h$
+    *Infix: $+$ $-$ $*$ $\cdot$ $\times$ $\div$ $/$ $\backslash$ $\circ$ $\oplus$ $\otimes$ $\odot$ $\wedge$ $\vee$ $\to$
-Prefix: $f$ $g$ $h$ $-$ $\neg$ $\sim$+  ***Ternary operation symbols**
+    *Prefix: $t$
-Postfix: $'$ ${}^{-1}$ ${}^{\cup}$+  ***Quadternary operation symbols**
+    *Prefix: $q$
-**Binary operation symbols**+  *$n$**-ary operation symbols**
+    *Prefix: $\sum_n$ $\prod_n$
+    *Mixfix: { } [ ] ( )
-Prefix: $f$ $g$ $h$+  *$\omega$**-ary operation symbols**
+    *$\sum_\omega$ $\prod_\omega$
-Infix: $+$ $-$ $*$ $\cdot$ $\times$ $\div$ $/$ $\backslash$ $\circ$ $\oplus$ $\otimes$ $\odot$ $\wedge$ $\vee$ $\to$+  *$\kappa$**-ary operation symbols**
+    *$\sum_\kappa$ $\prod_\kappa$
-**Ternary operation symbols** +  *$\infty$**-ary operation symbols**
- +    *$\sum$ $\prod$ $\bigcap$ $\bigcup$ $\bigwedge$ $\bigvee$
-Prefix: $t$ +
- +
- +
-Prefix: $q$ +
- +
-$n$**-ary operation symbols** +
- +
-Prefix: $\sum_n$ $\prod_n$ +
- +
-Mixfix: { } [ ] ( ) +
- +
-$\omega$**-ary operation symbols** +
- +
-$\sum_\omega$ $\prod_\omega$ +
- +
-$\kappa$**-ary operation symbols** +
- +
-$\sum_\kappa$ $\prod_\kappa$ +
- +
-$\infty$**-ary operation symbols** +
- +
-$\sum$ $\prod$ $\bigcap$ $\bigcup$ $\bigwedge$ $\bigvee$+
==== Relation symbols ==== ==== Relation symbols ====
-**0-ary relation symbols**+  ***0-ary relation symbols**
+    *Propositions ⊥ ⊤ T F
-Propositions ⊥ ⊤ T F+  ***Unary relation symbols**
+    *Prefix: P Q
-**Unary relation symbols**+  ***Binary relation symbols**
+    *Prefix: R
+    *Infix: = ≠ ≤ < ≥ > ⪯ ≺ ⪰ ≻ ≡ ≅ ≈ ∈ ∉
-Prefix: P Q+  ***Ternary relation symbols**
-**Binary relation symbols**+  ***Quadternary relation symbols**
-Prefix: R+  ***n-ary relation symbols**
-Infix: = ≠ ≤ < ≥ > ⪯ ≺ ⪰ ≻ ≡ ≅ ≈ ∈ ∉ +  ***ω-ary relation symbols**
-**Ternary relation symbols**+  ***κ-ary relation symbols**
-**Quadternary relation symbols** +  ***∞-ary relation symbols**
- +
-**n-ary relation symbols** +
- +
-**ω-ary relation symbols** +
- +
-**κ-ary relation symbols** +
- +
-**∞-ary relation symbols**+
==== Connectives ==== ==== Connectives ====
-**0-ary connectives** +  ***0-ary connectives**
- +
-**Unary connectives** +
- +
-⋄ □ +
- +
-**Binary connectives** +
- +
-Infix: and ∧ or ∨ ⇒ ⇔ +
-Mixfix: if_then_ &nbsp; while_do_+  ***Unary connectives**
+    *⋄ □
-**Ternary connectives**+  ***Binary connectives**
+    *Infix: and ∧ or ∨ ⇒ ⇔
+    *Mixfix: if_then_ &nbsp; while_do_
-if_then_else_+  ***Ternary connectives**
+    *if_then_else_