Enunciati Aperti e Quantificatori
Gli enunciati aperti contengono variabili e diventano proposizioni solo quando assegni valori specifici alle variabili. Il dominio è l'insieme di tutti i valori possibili che la variabile può assumere.
I quantificatori ti dicono "quanti" elementi dell'insieme soddisfano una proprietà. Il quantificatore universale (∀) significa "per ogni" o "tutti", mentre quello esistenziale (∃) significa "esiste almeno uno".
Puoi rappresentare relazioni tra insiemi in tre modi diversi: tabelle a doppia entrata, diagrammi cartesiani con punti nel piano, oppure diagrammi ad albero che mostrano tutte le possibili combinazioni.
Quando lavori con gli insiemi definiti per proprietà, scrivi sempre chiaramente il dominio e la condizione che devono soddisfare gli elementi. Questo ti eviterà confusioni negli esercizi.
Attenzione: Ricorda sempre di specificare il dominio quando usi i quantificatori - cambia completamente il significato dell'enunciato!