Connectiva lògica

De Viquipèdia

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:

, no

, i

, o (inclusiva)

, si...llavors