如果结果不匹配，请 
更多“子句~PQ和P经过消解以后，得到：（）。”相关的问题
第1题
消解反演证明定理的思路是：给定一个公式集S(前提条件)和目标公式L(结论)，通过反演来求证目标公式L，其证明过程为：否定L，得到～L、把～L加到S中、把新形成的集合{S，～L}化为子句集、应用消解原理，试图导出一个表示矛盾的空子句。()此题为判断题(对，错)。
第2题
已知圆22+y2+4x-8y+11=0，经过点P（1，o）作该圆的切线，切点为Q，则线段PQ的长为 （）A.10 B.4C.16
已知圆22+y2+4x-8y+11=0，经过点P（1，o）作该圆的切线，切点为Q，则线段PQ的长为 （）
A.10
B.4
C.16
D.8
第4题
线段EF是由线段PQ平移得到的，点P（﹣1，4）的对应点为E（4，7），则点Q（﹣3，1）的对应点F的坐标为（）
A.（﹣8，﹣2）
B.（﹣2，﹣2）
C.（2，4）
D.（﹣6，﹣1）
第5题
请画出Fe-Fe3C平衡相图并在图上填写G、P、S、EK点的含碳量，温度及GS线、ES线、PQ线的含义。某热轧厂在轧制过程中，有一带钢产品是共析钢经共析转变得到珠光体组织的。试根据Fe－Fe3C相图，计算该产品中铁素体和渗碳体各自的含量？
q)与(p∨q)∧(ㄱ(p∧q))是否等值。
