پرش به محتوا
منوی اصلی
منوی اصلی
انتقال به نوار کناری
نهفتن
بازدید محتوا
صفحهٔ اصلی
رویدادهای کنونی
مقالهٔ تصادفی
کمک مالی
همکاری
تغییرات اخیر
ویکینویس شوید!
راهنما
تماس با ویکیپدیا
جستجو
جستجو
Appearance
ایجاد حساب
ورود
ابزارهای شخصی
ایجاد حساب
ورود
صفحههایی برای ویرایشگرانی که از سامانه خارج شدند
بیشتر بدانید
مشارکتها
بحث
الگو
:
منطق کلاسیک
۳ زبان
Беларуская (тарашкевіца)
English
Українська
ویرایش پیوندها
الگو
بحث
فارسی
خواندن
ویرایش متنی
نمایش تاریخچه
ابزارها
ابزارها
انتقال به نوار کناری
نهفتن
عملها
خواندن
ویرایش متنی
نمایش تاریخچه
عمومی
پیوندها به این صفحه
تغییرات مرتبط
بارگذاری پرونده
صفحههای ویژه
پیوند پایدار
اطلاعات صفحه
دریافت نشانی کوتاهشده
دریافت کیوآر کد
آیتم ویکیداده
چاپ/برونبری
بارگیری به عنوان پیدیاف
نسخهٔ قابل چاپ
Appearance
انتقال به نوار کناری
نهفتن
از ویکیپدیا، دانشنامهٔ آزاد
ن
ب
و
منطق کلاسیک
عمومی
سور
محمول
رابطهای منطقی
همانگویی (منطق)
جداول ارزش
تابع صدق
ارزش درستی
فرمولهای خوش فرم
همنوایی انتاج
خودتوانی انتاج
منطقگرایی
Problem of multiple generality
شرکتپذیری
توزیعپذیری
منطقهای کلاسیک
حساب گزارهای
منطق مرتبه اول
منطق مرتبه دوم
منطق مرتبه بالاتر
اصول
جابجایی بودن عطف
اصل طرد شق ثالث
اصل دو ارزشی بودن
اصل امتناع تناقض
Explosion
قواعد
قوانین دمورگان
استلزام مادی
Transposition
وضع مقدم
نفی تالی
قیاس استثنائی منفصل
قیاس استثنائی متصل
Constructive dilemma
Destructive dilemma
Absorption
معرفی
نفیض
نقیض مضاعف
سور وجوی
سور عمومی
دوشرطی
عطف
فصل
حذف
نقیض مضاعف
Existential
Universal
دوشرطی
عطف
فصل
افراد
برنارد بولتسانو
جرج بول
گئورگ کانتور
ریچارد ددکیند
آگوستوس دمورگان
گوتلوب فرگه
کورت گودل
Hugh MacColl
جوزپه پئانو
چارلز سندرز پیرس
برتراند راسل
ارنست شرودر
Henry M. Sheffer
آلفرد تارسکی
ویلارد کواین
لودویگ ویتگنشتاین
جان لوکاسیویز
اثرها
برداشت و مفهوم نوشتار
Function and Concept
The Principles of Mathematics
مبادی ریاضیات
رساله منطقی-فلسفی
توضیحات الگو
[
ایجاد
] [
پاکسازی
]
ویرایشگران میتوانند در صفحات تمرین
(
ایجاد
|
آینه
)
و آزمایشی
(
ایجاد
)
این الگو را آزمایش کنند.
لطفاً ردهها را به زیرصفحهٔ
/توضیحات
بیفزایید.
زیرصفحههای این الگو
.