علامت تناقض

[bita-am]

با سلام.

واسه نشون دادن علامت تناقض ریاضی از چه دستوری و چه پکیجی باید استفاده کنم؟

[vafa]

علامت تناقض چیه؟ چه شکلیه؟

[هادی صفی‌اقدم]

با اجازه! در صفحه‌ی «تناقض» علامت‌های تناقض (نقیض) را آورده:

\usepackage{amssymb}‎

‎$‎$‎
‎‎\sim ‎‎
 \nLeftarrow  \nLeftrightarrow  \nRightarrow
 \nleftarrow  \nleftrightarrow  \nrightarrow‎
‎$‎$

[vafa]

پس منظور ایشون logic بوده. تا جایی که می‌دونم افراد مختلف از نمادهای مختلفی برای تناقض در logic استفاده می‌کنند. عده‌ای از \neg، عده‌ای از \sim و عده‌ای دیگر از همون علامت منها استفاده می‌کنند.

[vafa]

من این علامت را با نام negation symbol می‌شناختم و «علامت تناقض» برای من ناآشنا بود.

[هادی صفی‌اقدم]

‪\neg‬ را که شما فرمودین، من خروجیشو دیدم و یادم افتاد که دقیقاً همینو در کتاب‌های منطق ریاضی دانشگاه مثل لین لین و استیورات استفاده می‌کردیم.
‪\sim‬ خوب نیست به نظرم.

[bita-am]

منظورم هیچ کدوم اینا نبود! نمیدونم شاید من اسمشو اشتباه میگم!
ولی بازم متشکرم از جوابتون

[حسن ذاکری]

منظورم هیچ کدوم اینا نبود! نمیدونم شاید من اسمشو اشتباه میگم!
ولی بازم متشکرم از جوابتون

سلام
یا به symbols-a4 مراجعه کنید، یا علامت را با دست نوشته و اسکن کرده و ضمیمه کنید.