Estas expresiones como «o» y «no», de las que depende la validez de los argumentos, se llaman conectivas lógicas.