Syntax | Terms | Equations | Horn formulas | Universal formulas | First-order formulas | Theories
A list of some first-order formulas.
| R is a function | ∀x∃y(xRy) and ∀x,y,z(xRy and xRz⟹y=z) |
| f is onto | ∀y∃x(f(x)=y) |
Syntax | Terms | Equations | Horn formulas | Universal formulas | First-order formulas | Theories
A list of some first-order formulas.
| R is a function | ∀x∃y(xRy) and ∀x,y,z(xRy and xRz⟹y=z) |
| f is onto | ∀y∃x(f(x)=y) |
