[ویکی فقه] تساوی معرف با معرف در صدق، از اصطلاحات علم منطق بوده و به اشتراک معرِّف با معرَّف در تمام مصادیقف گفته می شود.یکی از «شرایط تعریف» تساوی معرِّف با معرَّف در صدق است؛ یعنی هر چیزی که معرِّف بر آن صادق است معرَّف نیز باید بر آن صادق باشد و بر عکس؛ به عبارت دیگر، معرِّف باید جامع افراد و مانع اغیار باشد؛ به همین سبب، صحیح نیست که معرِّف مباین با معرَّف یا اعم و یا اخص از آن باشد.عدم صحت مب...