p∨q与~q∨~r归结的结果是p∨r（）

A. （“x）（P（x）∧Q（x, z））Þ（$x）R（x, y）
B. （“y）（P（y）∧Q（y, y））Þ（$x）R（x, y）
C. （“z）（P（z）∧Q（x, y））Þ（$x）R（x, y）
D. （“u）（P（u）∧Q（u, z））Þ（$x）R（x, z）

A. （“x）（“y） （F（x） Þ G（y））
B. （$x）（“y）（F（x） Þ G（y））
C. （“x）（$y） （F（x） Þ G（y））
D. （$x）（$y）（F（x） Þ G（y））

A. 化学成分为蛋白质
B. 具有抗菌作用
C. 可用于细菌分型和流行病学调查
D. 抑菌谱较广
E. 在治疗上应用价值不大