خانه
تصادفی
در نزدیکی
ورود
تنظیمات
کمک مالی
دربارهٔ ویکیپدیا
تکذیبنامهها
جستجو
الگو
:
منطق کلاسیک
زبان
پیگیری
ویرایش
ن
ب
و
منطق کلاسیک
عمومی
سور
محمول
رابطهای منطقی
همانگویی (منطق)
جداول ارزش
تابع صدق
ارزش درستی
فرمولهای خوش فرم
همنوایی انتاج
خودتوانی انتاج
منطقگرایی
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
مبادی ریاضیات
رساله منطقی-فلسفی
توضیحات الگو
[
ایجاد
] [
پاکسازی
]
ویرایشگران میتوانند در صفحات تمرین
(
ایجاد
|
آینه
)
و آزمایشی
(
ایجاد
)
این الگو را آزمایش کنند.
لطفاً ردهها را به زیرصفحهٔ
/توضیحات
بیفزایید.
زیرصفحههای این الگو
.