2.2 体现逆转性的PAC可学性