... \X\varphi$}\drawedge(1,2){} \node(3)(10,05){$\neg p, \X\varphi$}\drawedge(2,3){} \node(4)(40,25){$\F q, \X\varphi$}\drawedge(2,4){} \node(5)(40,45){$q, ...
確定! 回上一頁