Sejam as afirmações:

I. Se o valor lógico de uma proposição p é falso e o valor lógico de uma proposição q é verdadeiro, então o valor lógico da conjunção entre p e q é verdadeiro.

II. Se todo X é Y, então todo Y é X.

III. Se uma proposição p implica numa proposição q, então a proposição q implica na proposição p.

Pode-se afirmar que são verdadeiras: