Exemple de funció proposicional (fórmula amb variables lliures)



∀x (x no pertorba a y) és un enunciat quantificat; però no és est el cas de "Res no pertorba a x", si s'interpreta com ∀y (y no pertorba a x) que, igual que "x estima a y" és una funció proposicional.