substitutivity

💡 Failures of substitutivity in opaque contexts challenge naive logic.

شکست‌های جایگزینی در زمینه‌های مبهم، منطق ساده‌لوحانه را به چالش می‌کشد.

💡 The substitutivity of identicals guarantees you can replace equals within true statements.

قابلیت جایگزینی اعداد یکسان تضمین می‌کند که می‌توانید اعداد مساوی را در عبارات صحیح جایگزین کنید.

💡 Modal logic treats substitutivity with care around belief operators.

منطق موجهات با دقت در مورد عملگرهای باور، با جانشینی برخورد می‌کند.