离散数学谓词逻辑问题：(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式

来源：学生作业帮助网 编辑：作业帮 时间：2024/09/08 21:51:46
xRN@~MLL{L} KhY($j(v=4dg슲 \ܼ͉?Ps[#z {fu89'm7%UT9 |5bP>WGkX5\/,tfI/~F^dvh%.=mT$)u  \q0|.