Parallelo tra logica e insiemi

In sintesi — Parallelo logica ↔ insiemi

La logica delle proposizioni e l’algebra degli insiemi sono lo stesso oggetto, scritto con due notazioni diverse:

Logica	Insiemi	Diagramma di Venn
$\lnot p$	complementare $\overline{A}$	esterno del cerchio
$p\land q$	intersezione $A\cap B$	sovrapposizione
$p\lor q$	unione $A\cup B$	somma dei cerchi
$p\veebar q$	differenza simmetrica $A\triangle B$	“a mezzaluna”
$p\Rightarrow q$	inclusione $A\subseteq B$	$A$ tutto dentro $B$
$V$ (sempre vero)	universo $U$	rettangolo intero
$F$ (sempre falso)	vuoto $\emptyset$	nulla

Questo dizionario è la chiave di lettura di tutto il capitolo: ogni proprietà logica ha un gemello insiemistico e viceversa.

Collegamenti

Argomenti: Teoria degli insiemi
Concetti: Connettivi logici · Diagramma di venn
Persone: John Venn