通过海量题库、编程比赛和实时排名，系统化提升您的编程能力。
规则演绎系统中，正向推理中的 F 规则的一般形式为________________________，逆向推理中的 B 规则的一般形式为________________________。