Definition of analytic propositions from the perspective of Mohammad Taqi Mesbah Yazdi (حکمت معاصر, 2013)