Tolak sistem proposional tertutup