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