Agregada regla conjuncion del consecuente