پرونده:Logic.svg
حجم پیش‌نمایش PNG این SVG file:۸۵ × ۲۸ پیکسل کیفیت‌های دیگر: ۳۲۰ × ۱۰۵ پیکسل | ۶۴۰ × ۲۱۱ پیکسل | ۱٬۰۲۴ × ۳۳۷ پیکسل | ۱٬۲۸۰ × ۴۲۲ پیکسل | ۲٬۵۶۰ × ۸۴۳ پیکسل.
پروندهٔ اصلی (پروندهٔ اس‌وی‌جی، با ابعاد ۸۵ × ۲۸ پیکسل، اندازهٔ پرونده: ۲۱۸ کیلوبایت)
 | این پرونده در ویکی‌انبار موجود است. محتویات صفحهٔ توصیف آن در زیر نمایش داده می‌شود. |
خلاصه
| توضیح |
English: SVG version of ¬(p˄¬p) |
| تاریخ | |
| منبع | اثر شخصی |
| پدیدآور | It Is Me Here |
اجازه‌نامه
من، صاحب حقوق قانونی این اثر، به این وسیله این اثر را تحث اجازه‌نامهٔ ذیل منتشر می‌کنم:
این پرونده با اجازه‌نامهٔ کریتیو کامانز Attribution-Share Alike 3.0 سازگار نشده منتشر شده است.
- شما اجازه دارید:
- برای به اشتراک گذاشتن – برای کپی، توزیع و انتقال اثر
- تلفیق کردن – برای انطباق اثر
- تحت شرایط زیر:
- انتساب – شما باید اعتبار مربوطه را به دست آورید، پیوندی به مجوز ارائه دهید و نشان دهید که آیا تغییرات ایجاد شده‌اند یا خیر. شما ممکن است این کار را به هر روش منطقی انجام دهید، اما نه به هر شیوه‌ای که پیشنهاد می‌کند که مجوزدهنده از شما یا استفاده‌تان حمایت کند.
- انتشار مشابه – اگر این اثر را تلفیق یا تبدیل می‌کنید، یا بر پایه آن اثری دیگر خلق می‌کنید، می‌‌بایست مشارکت‌های خود را تحت مجوز same or compatible license|یکسان یا مشابه با اصل آن توزیع کنید.
تاریخچهٔ پرونده
روی تاریخ/زمان‌ها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.
| تاریخ/زمان | بندانگشتی | ابعاد | کاربر | توضیح | |
|---|---|---|---|---|---|
| کنونی | ۲۶ ژانویهٔ ۲۰۱۲، ساعت ۱۳:۳۵ | | ۸۵ در ۲۸ (۲۱۸ کیلوبایت) | It Is Me Here |
کاربرد پرونده
صفحه‌های زیر از این تصویر استفاده می‌کنند:
- آلفرد تارسکی
- آگوستوس دمورگان
- ارزش درستی
- ارنست شرودر
- اصل امتناع تناقض
- اصل انفجار
- اصل دو ظرفیتی
- اصل طرد شق ثالث
- برتراند راسل
- برنارد بولتسانو
- جان لوکاسیویز
- جدول ارزش
- جرج بول
- جوزپه پئانو
- حساب گزاره‌ای
- خاصیت توزیع‌پذیری
- خاصیت شرکت‌پذیری
- رابط منطقی
- رساله منطقی-فلسفی
- ریچارد ددکیند
- سور (منطق)
- فرمول خوش‌فرم
- قوانین دمورگان
- لودویگ ویتگنشتاین
- مبادی ریاضیات
- محمول
- مفهوم‌نگاشت
- منطق مرتبه اول
- منطق‌گرایی
- نفی تالی
- نقیض مضاعف
- همان‌گویی (منطق)
- وضع مقدم
- ویلارد کواین
- چارلز سندرز پیرس
- گئورگ کانتور
- گوتلوب فرگه
- الگو:منطق کلاسیک
کاربرد سراسری پرونده
ویکی‌های دیگر زیر از این پرونده استفاده می‌کنند:
- کاربرد در be-tarask.wikipedia.org
- کاربرد در ca.wikipedia.org
- کاربرد در de.wikipedia.org
- کاربرد در en.wikipedia.org
- Charles Sanders Peirce
- Georg Cantor
- Law of noncontradiction
- Law of excluded middle
- Ludwig Wittgenstein
- Propositional calculus
- Modus ponens
- Principle of bivalence
- Classical logic
- De Morgan's laws
- Material implication (rule of inference)
- Logicism
- Principle of explosion
- Truth function
- Monotonicity of entailment
- Problem of multiple generality
- Idempotency of entailment
- Commutativity of conjunction
- Wikipedia:WikiProject Logic
- Truth table
- Template:Classical logic
- Wikipedia:School and university projects/Discrete and numerical mathematics/Learning plan
- User:BARTCAT/sandbox
- User:BARTCAT/sandbox-curated-page
- User:WikiLinuz/Mathematics
- کاربرد در en.wikisource.org
- کاربرد در es.wikipedia.org
- کاربرد در fr.wikipedia.org
نمایش استفاده‌های سراسری از این پرونده.
