cálculo proposicional
completud
conclusión
condicional correspondiente
conectiva (= conector, juntor)
conjunción
consecuencia semántica
consecuencia sintáctica
consistencia
contingencia
contradicción
contrarrecíproco
correcto (=válido)