Cho hàm phán đoán “p(x) = x là người trong Hội nghị tán thành ý kiến ấy”, x thuộc tập hợp S những người trong Hội nghị. Phán đoán “Trong Hội nghị không phải không có người tán thành ý kiến ấy” có thể dưới dạng công thức nào?