Connectiva lògica

De Viquipèdia

les connectives lògiques són les eines que permeten construir enunciats fórmules o 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