为了证明$xPx∧$xQx→$x(Px∧Qx)可满足,下列解释可取的有:
为了证明$xPx∧$xQx→$x(Px∧Qx)可满足,下列解释可取的有:
1
为了证明$xPx∧$xQx→$x(Px∧Qx)可满足,下列解释可取的有: