Formula ben formata: differenze tra le versioni

Versione delle 19:39, 21 gen 2006

Versione delle 16:58, 19 mar 2006

Riga 28:

:<math>(x=x) \to \forall x (S(x))</math>

poichè S non è un simbolo per predicato bensì un simbolo per funzione.

[[en:WFF]]