求离散数学的前束范式ExP(x)→VxQ(x) (V表示任取,E表示存在,表示非,我这里符号打不出来)
问题描述:
求离散数学的前束范式
ExP(x)→VxQ(x) (V表示任取,E表示存在,表示非,我这里符号打不出来)
答
如图