natural deduction - معنی تخصصی در دیکشنری آبادیس