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