Connectiva lògica

En lògica, les connectives lògiques són les eines que permeten construir enunciats o fórmules a partir dels àtoms. Les més conegudes són no, i, o i la construcció condicional si ...llavors.

Aquestes connectives es representen:

$\lnot$ , no

$\land$ , i

$\lor$ , o (inclusiva)

$\rightarrow$ , si...llavors

(file)		(file) (zoom in)