El enunciado

El Sol no es una estrella

es una proposición compuesta. Se obtiene a partir de la proposición simple “El Sol es una estrella” insertando el conectivo “no” entre el sujeto y el verbo. Se dice entonces que la proposición compuesta “El Sol no es una estrella” es una negación. Si la proposición simple no posee sujeto, como, por ejemplo,

Hace frío

obtenemos la correspondiente negación simplemente insertando la expresión “no” antes del verbo:

No hace frío

o como, por ejemplo,

Llueve

cuya negación es

No llueve

Un poco más adelante ampliaremos la discusión sobre las negaciones.