Elementi di insiemistica e logica Flashcards
Negazione
-P vera e P falsa
Congiunzione
P ^ Q entrambe vere
Disgiunzione
P V Q vera per almeno una vera
Implicazione
P → Q falsa solo per P vera e Q falsa
Dimostrazione per assurdo/contronominale
P → Q ; -Q → -P
Negazione universale
Əx | -P(x)
Negazione esistenziale
Per ogni x, -P(x)
Insieme
Ente primitivo, raccolta o collezione di oggetti chiamati elementi o punti
Sottoinsieme propri
Insieme che contiene tutti gli elementi dell’insieme di riferimento
Sottoinsiemi impropri
Insieme vuoto e l’insieme stesso
Unione
x appartiene ad A oppure x appartiene a B
Intersezione
x appartiene ad A e x appartiene a B
Differenza
x appartiene ad A e x non appartiene a B
Leggi di De Morgan
Complementare di (A unione B) = A compl. intersecato B compl.
Complementare di (A intersezione B) = A compl. unito B compl.
Prodotto cartesiano
Insieme delle coppie ordinate (a,b) in cui il a appartiene ad A e b appartiene a B