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: