universal affirmative

universal affirmative ( ریاضی )
واژه مصوب: موجب کلی
تعریف: فرمول دار