truth-function
🌐 تابع حقیقت
اسم (noun)
📌 گزارهای که چنان از گزارههای دیگر ساخته شده باشد که ارزش صدق آن به ارزش صدق گزارههای دیگر وابسته باشد، نه به معنای آنها.
جمله سازی با truth-function
💡 If a connective is a truth function, context shouldn’t matter.
اگر یک رابط یک تابع درستی باشد، زمینه نباید مهم باشد.
💡 We defined a custom truth function to model three-valued logic.
ما یک تابع درستی سفارشی برای مدلسازی منطق سه مقداری تعریف کردیم.
💡 Negation is a truth function that flips values cleanly.
نفی یک تابع درستی است که مقادیر را به طور واضح وارونه میکند.
💡 NOTE.—The reader will easily see how much of the account of the truth-function developed later in Pragmatism was already explicit in this earlier article, and how much came to be defined later.
توجه - خواننده به راحتی متوجه خواهد شد که چه مقدار از روایت تابع صدق که بعداً در پراگماتیسم بسط داده شد، در این مقاله قبلی به صراحت بیان شده بود و چه مقدار از آن بعداً تعریف شد.