CONCETTI CHIAVE FORMULE IN UN INSIEME A se contengono variabili formule aperte con predicato = con predicato , EQUAZIONE DEFINITA NELL INSIEME A DISEQUAZIONE DEFINITA NELL INSIEME A sistemi di disequazioni si cerca l insieme S delle soluzioni utilizzando i principi di equivalenza S= mai vera S=A sempre vera S A vera solo per gli elementi di S 495