• 2022-06-01
    把 "x ( P( x )®$ y Q( x ,y ))化为前束范式,推导过程正确吗? "x ( P( x )®$y Q( x ,y )) Û"x (¬ P( x ) ∨ $y Q( x ,y )) Û"x$y (¬ P( x ) ∨ Q( x ,y )) Û" x $y ( P( x ) ®Q ( x ,y ))