Connectiva lògica

De Viquipèdia

Dreceres ràpides: navegació, cerca

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
Obtingut de «http://ca.wikipedia.org/wiki/Connectiva_l%C3%B2gica»