Hola Bruno,
lo que mencionás es correcto.
Si mirás las DFs en F, C solo aparece a la derecha, por lo que no va a poder generar alguna DF que no esté en F pero sí en F+.
Las otras DFs que puedan generarse en F+, por ejemplo AB->G, pueden deducirse de F y no es necesario agregarlas a la proyección.
lo que mencionás es correcto.
Si mirás las DFs en F, C solo aparece a la derecha, por lo que no va a poder generar alguna DF que no esté en F pero sí en F+.
Las otras DFs que puedan generarse en F+, por ejemplo AB->G, pueden deducirse de F y no es necesario agregarlas a la proyección.
Si no queda claro o hay más dudas volvé a consultar.
Saludos!