问答题
¬(∀x)((∃y)A(x,y)→(∃x)(∀y)(B(x,y)∧(∀y)(A(x,y)→B(x,y)))求前束范式
问答题 (x)(y)((z)(A(x,z)∧B(x,z))→(u)R(x,y,u),求前束范式
问答题 (x)P(x)∨(x)Q(x),求前束范式
问答题 (x)P(x)∧(x)Q(x),求前束范式