Que son las proposiciones necesarias