Solovay論理式