Differences

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

syntax [2010/08/18 12:08]
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]]
Line 16: Line 16:
    *Postfix: $'$ ${}^{-1}$ ${}^{\cup}$     *Postfix: $'$ ${}^{-1}$ ${}^{\cup}$
-**Binary 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$+  ***Ternary operation symbols** 
 +    *Prefix: $t$
-Infix: $+$ $-$ $*$ $\cdot$ $\times$ $\div$ $/$ $\backslash$ $\circ$ $\oplus$ $\otimes$ $\odot$ $\wedge$ $\vee$ $\to$+  ***Quadternary operation symbols** 
 +    *Prefix: $q$
-**Ternary operation symbols**+  *$n$**-ary operation symbols** 
 +    *Prefix: $\sum_n$ $\prod_n$ 
 +    *Mixfix: { } [ ] ( )
-Prefix: $t$+  *$\omega$**-ary operation symbols** 
 +    *$\sum_\omega$ $\prod_\omega$
-**Quadternary operation symbols**+  *$\kappa$**-ary operation symbols** 
 +    *$\sum_\kappa$ $\prod_\kappa$
-Prefix: $q$ +  *$\infty$**-ary operation symbols** 
- +    *$\sum$ $\prod$ $\bigcap$ $\bigcup$ $\bigwedge$ $\bigvee$
-$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_
-**Quadternary connectives**+  ***Quadternary connectives**
-**n-ary connectives**+  ***n-ary connectives**
-**ω-ary connectives**+  ***ω-ary connectives**
-**κ-ary connectives**+  ***κ-ary connectives**
-**∞-ary connectives**+  ***∞-ary connectives**
==== Quantifiers ==== ==== Quantifiers ====
-∀ ∃+    *∀ ∃
==== Delimiters ==== ==== Delimiters ====
-( ) [ ] { } 〈 〉+    *( ) [ ] { } 〈 〉