propositional function

💡 For the text is rather a vague symbolical expression of a propositional function which is asserted to be true at all instants.

زیرا متن، بیان نمادین مبهمی از یک تابع گزاره‌ای است که ادعا می‌شود در تمام لحظات درست است.

💡 What is meant seems to be this: "A proposition is necessary when it is a value of a propositional function which is true under all circumstances, i.e. for all values of its argument or arguments."

به نظر می‌رسد منظور این باشد: «یک گزاره زمانی ضروری است که مقداری از یک تابع گزاره‌ای باشد که تحت همه شرایط، یعنی برای همه مقادیر استدلال یا استدلال‌هایش، صادق است.»

💡 Thus we should be led to the following definition:— "Necessary is a predicate of a propositional function, meaning that it is true for all possible values of its argument or arguments."

بنابراین باید به تعریف زیر برسیم: - «ضروری، محمول یک تابع گزاره‌ای است، به این معنی که برای همه مقادیر ممکن استدلال یا استدلال‌هایش صادق است.»