4.6 逻辑场的群论