"nenhuma prova de Lógica é difícil" é uma proposição necessariamente verdadeira.

"alguma prova de Lógica é difícil" é uma proposição necessariamente verdadeira.

"alguma prova de Lógica é difícil" é uma proposição verdadeira ou falsa.

"algum prova de Lógica não é difícil" é uma proposição necessariamente verdadeira.

alguma prova de Lógica não é difícil" é uma proposição verdadeira ou falsa.