单选题：下列谓词公式中，是逻辑有效式的是（）