Syntax | Terms | Equations | Horn formulas | Universal formulas | First-order formulas | Theories
A list of universal formulas.
| at most n elements | ∀x0,…,xn (x0=x1 or x0=x2 or … or xn−1=xn) |
| integral | ∀x,y (x∗y=0⟹x=0 or y=0) |
Syntax | Terms | Equations | Horn formulas | Universal formulas | First-order formulas | Theories
A list of universal formulas.
| at most n elements | ∀x0,…,xn (x0=x1 or x0=x2 or … or xn−1=xn) |
| integral | ∀x,y (x∗y=0⟹x=0 or y=0) |
