Versione delle 14:17, 20 apr 2006 modifica Senpai (discussione \| contributi) Utenti autoverificati 76 942 modifiche mate ← Differenza precedente		Versione delle 20:47, 7 mag 2006 modifica annulla PertBot (discussione \| contributi) Bot 29 437 modifiche m Robot: Automated text replacement (-\bpoichè\b +poiché) Differenza successiva →
Riga 27: Non è invece una fbf :<math>(x=x) \to \forall x (S(x))</math> ~~poichè~~poiché S non è un simbolo per predicato bensì un simbolo per funzione. [[en:WFF]]

Formula ben formata: differenze tra le versioni