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:
, no
, i
, o (inclusiva)
, si...llavors