Simbolice la proposición: “Todas las funciones diferenciables son continuas y existen funciones continuas que no son diferenciables". También indique su negación respectiva en logica formal.