Differences

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

first-order_formulas [2010/08/18 12:49]
jipsen
first-order_formulas [2010/08/18 22:50] (current)
jipsen
Line 1: Line 1:
[[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] | [[Theories]] [[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] | [[Theories]]
-A list of first-order formulas.+A list of some first-order formulas.
|$R$ is a function  |$\forall x\exists y(xRy)\mbox{ and }\forall x,y,z(xRy\mbox{ and }xRz\Longrightarrow y=z)$  | |$R$ is a function  |$\forall x\exists y(xRy)\mbox{ and }\forall x,y,z(xRy\mbox{ and }xRz\Longrightarrow y=z)$  |
|$f$ is onto  |$\forall y\exists x(f(x)=y)$  | |$f$ is onto  |$\forall y\exists x(f(x)=y)$  |