Exemple de variables lliures i lligades
De Wikisofia
En «x és professor», la variable és lliure; en «si x és professor, llavors x fa classes», la variable és lligada.
En «x és professor», la variable és lliure; en «si x és professor, llavors x fa classes», la variable és lligada.