FOL dipendenti

$P=\{\text{persona/1, telefono/1, dipendente/1, lavora/2, diversitraloro/3, dipartimento/1}\}$ $F=\{\text{proprietario/1, nome/1, direttore/1}\}$

(in cui $\text{diversitraloro(x, y, z)}$ equivale a $x\ne y\wedge y\ne z\wedge x\ne z$)

1. tutte le persone hanno almeno un numero di telefono: $\forall x(\text{persona(x)}⟹\exists y(\text{telefono(y)}\wedge \text{ proprietario(y)}=x))$

alternativa con simbolo di predicato $\text{telefono/2}$ $\forall x(\text{persona(x)}⟹\exists y(\text{telefono(x,y)}))$

2. ogni persona ha esattamente un nome:

$\forall x(\text{persona(x)}⟹\exists y(y=\text{nome(x)}))$

3. non ci sono dipendenti che lavorano in più di due dipartimenti.

$\forall x(\text{dipendente(x)}⟹(\neg (\exists y,z,t(\text{diversitraloro(y, z, t)}\wedge \text{lavora(x, y)}\wedge \text{lavora(x, z)}\wedge \text{lavora(x, t)})))$

4. ogni dipartimento ha esattamente un direttore

$\forall x(\text{dipartimento(x)}⟹\exists y(\text{y=direttore(x)}\wedge \text{persona(y)}))$