>>958
その等値が正しいことは認めますが
全称命題の否定については語ってません