Los conectivos lógicos son símbolos usados para combinar proposiciones simples dadas, produciendo así otras llamadas proposiciones compuestas.