نتایج جستجو

در [[منطق کلاسیک]]، '''قاعدهٔ نفی تالی''' {{به لاتین|Modus tollendo tollens}} (که معمولاً Modus tollens خوانده می‌شود)، یکی از ا درستیِ نفی تالی را می‌توان به وسیلهٔ [[وضع مقدم]] و دانستن این که [[شرطی منطقی|گزارۀ شرطی]] با [[عکس نقیض]] خود هم‌ارز است، تشخیص داد. همچنین می‌توان به ص ...

'''وضع مقدم''' {{به لاتین|Modus ponendo ponens}} (که معمولاً Modus ponens خوانده می‌شود)، یکی از ساده [[رده:عبارت‌های منطقی لاتین]] ...

...ل دوم، یک برهان خلف است که استدلال می‌کند که انکار مقدمه، منجر به یک تناقض منطقی می‌شود («کوچک‌ترین» عدد وجود دارد و در عین حال، عددی کوچک‌تر از آن وجود دار ...ال، یک گزاره مانند <math>P</math> را درست فرض می‌کنیم و سپس با استدلال‌های منطقی، به یک نتیجۀ پوچ یا در تناقض با واقعیت می‌رسیم و نتیجه می‌گیریم که <math>P< ...

[[رده:عبارت‌های منطقی لاتین]] ...

|بخش= لاتین دل در بسیاری از عبارت‌های ریاضی برای ساده و کوتاه‌نویسی استفاده می‌شود. کاربردهای اصلی آن در نوشتن [[ ...