Ao completar a tabela a seguir, de uma proposição da forma A → B (lê-se “se A, então B”) temos a sequência