R-演算：一种信念修正的逻辑PDF电子版