Hola profe!
Intentando hacer este ejercicio me surge una duda.
La manera de hacerlo es primero categorizar cuales w de {a,b,c}* cumplen que wRLaaa, y luego tomando en cuenta esos w que hacen verdadera mi hipotesis (si los hay), chequeo si la implicancia es o no verdadera, es decir si esos w tienen o no mas de 3 a?
Buen día Valentina,
siempre que vemos una implicancia o una afirmación en general, lo primero es desconfiar. Primero podés pensar "hmmmm ¿no podré encontrar primero un contraejemplo así ya con eso pruebo que es falsa?"
Así que la primer tarea que te encomiendo (ahr) es que busques una tira "w" que, estando relacionada con "aaa", no cumpla 
.
Si después de romperte el coco no llegás a nada, intentá hacer una prueba formal.
Esto corre para prácticamente todos los ejercicios de este estilo. A no ser que sea algo que se cae de maduro que es verdadero y lo podamos probar rápido, lo primero es pensar un contraejemplo; si no sale, entonces encaramos lentamente la demostración.
Contame luego si pudiste avanzar.
Saludos,
Santi