I connettivi logici

A partire da una o più proposizioni ne possiamo costruire di nuove usando i connettivi logici. I cinque connettivi fondamentali, con il loro simbolo e il modo di leggerli, sono i seguenti.

Simbolo	Nome	Si legge
$\lnot p$	negazione (NOT)	“non $p$“
$p\land q$	congiunzione (AND, “et”)	”$p$ e $q$“
$p\lor q$	disgiunzione (OR, “vel”)	”$p$ o $q$ (o entrambi)“
$p\Rightarrow q$	implicazione	”se $p$ allora $q$“
$p\Leftrightarrow q$	doppia implicazione	”$p$ se e solo se $q$”

Ogni connettivo trasforma i valori di verità delle proposizioni di partenza in un nuovo valore di verità: il modo sistematico per descriverlo è la tavola di verità.

Collegamenti

Argomenti: Teoria degli insiemi
Concetti: Congiunzione · Connettivi logici · Disgiunzione · Doppia implicazione · Implicazione · Negazione