扩展: 可用下列规则进一步简化F+的手工计算 若α→β与α→γ成立,则α→By成立(合并 (→>B,a→B;a→y,aB→Bv;a→>By) 若α→βY成立,则a→B与a→y成立(分解) (→>By,By→B,0→>B) 若α→B与γB→8成立,则αy→8成立(伪传递 (→>B,Y→YB;YB→>8,ya→>6)扩展: • 可用下列规则进一步简化F + 的手工计算. – 若 → 与 → 成立, 则 → 成立 (合并) ( → , → ; → , → ; → ) – 若 → 成立, 则 → 与 → 成立 (分解) ( → , → , → ) – 若 → 与 → 成立, 则 → 成立 (伪传递) ( → , → ; → , → )