帮我解离散数学的一条逻辑谓词证明题答:(Ax)全称量词,(Ex)存在量词,P规则,T规则,ES存在指定,US全称指定,EG存在推广 回答你的补充,成功或者失败从语义上讲是对立的,即非成功必失败,但现在是形式证明,不考虑语义,不能从语义上理解,仅从逻辑构成或形式上理解,否则前提"每一个人或者成功或者失败"是多余的,因为"非P或P"是永真的,不需作为...
离散数学求前束范式,要过程?答:其中 $Q_{1}, Q_{2}, ..., Q_{n}$ 是量词(全称量词或存在量词),$\Phi(x_{1}, x_{2}, ..., x_{n})$ 是谓词公式,$\Psi(x_{1}, x_{2}, ..., x_{n})$ 是谓词公式,$\chi(x_{i_{1}}, x_{i_{2}}, ..., x_{i_{m}})$ 是个体变元的析取或合取。