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: