Galera, aqui vamos trabalhar com noções de argumentos e representação de quantificadores lógicos.
Para entender, fiz um desenho com representação dos quantificadores I, II e III: http://sketchtoy.com/69521343
(A) João certamente é L. (FALSO)
Sabemos que João é N, e que alguns N são L, logo João pode ou não pode ser L. É incerto.
(B) João certamente não é L. (FALSO)
Mesmo raciocínio da A.
(C) João é M, porém não é L.(FALSO)
Como se pode verificar no desenho do link acima, N pode ser L, que pode ser M, mas N não pode ser SOMENTE M.
(D) João não é M, apenas N. (FALSO)
Se N pode ser L, que pode ser M, então pode ser que N seja também M.
(E) João pode ser L e M. (GABARITO)
Exatamente! Se João pode ser N, que pode ser L, que pode ser M; então pode ser que João seja M também.
-----------------------------
Boa sorte e bons estudos!
Galera, por que não podemos dizer que ele é certamente L ou M? ou simplesmente os dois, porque "certamente" é um advérbio de certeza, e a questão não permite que isso aconteça, ele diz que "alguns" Ns são L, e consequentemente M também, pois Todo L é M, para que fosse "certamente" mesmo, os Ns deveriam estar dentro de L e isso não acontece na questão, por isso (gab E).