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.

توجه - خواننده به راحتی متوجه خواهد شد که چه مقدار از روایت تابع صدق که بعداً در پراگماتیسم بسط داده شد، در این مقاله قبلی به صراحت بیان شده بود و چه مقدار از آن بعداً تعریف شد.

ورژن یعنی چه؟
ورژن یعنی چه؟
بررسی یعنی چه؟
بررسی یعنی چه؟
فال امروز
فال امروز