پرش به محتوا
منوی اصلی
منوی اصلی
انتقال به نوار کناری
نهفتن
بازدید محتوا
صفحهٔ اصلی
رویدادهای کنونی
مقالهٔ تصادفی
همکاری
تغییرات اخیر
ویکینویس شوید!
راهنما
تماس با ویکی‌پدیا
جستجو
جستجو
ظاهر
کمک مالی
ساخت حساب
ورود
ابزارهای شخصی
کمک مالی
ساخت حساب
ورود
صفحههایی برای ویرایشگرانی که از سامانه خارج شدند
بیشتر بدانید
مشارکتها
بحث
فهرست
انتقال به نوار کناری
نهفتن
بخش آغازین
۱
See also
تغییر وضعیت فهرست محتویات
الگو
:
قواعد تبدیل
۱۰ زبان
Беларуская (тарашкевіца)
English
Español
Euskara
Français
日本語
한국어
Srpskohrvatski / српскохрватски
Српски / srpski
Українська
ویرایش پیوندها
الگو
بحث
فارسی
خواندن
ویرایش متنی
نمایش تاریخچه
ابزارها
ابزارها
انتقال به نوار کناری
نهفتن
عملها
خواندن
ویرایش متنی
نمایش تاریخچه
عمومی
پیوندها به این صفحه
تغییرات مرتبط
بارگذاری پرونده
صفحههای ویژه
پیوند پایدار
اطلاعات صفحه
دریافت نشانی کوتاهشده
بارگیری کد QR
چاپ/برونبری
بارگیری به عنوان پیدیاف
نسخهٔ قابل چاپ
در پروژههای دیگر
آیتم ویکیداده
ظاهر
انتقال به نوار کناری
نهفتن
از ویکی‌پدیا، دانشنامهٔ آزاد
قاعده استنتاج
حساب گزاره‌ای
قاعده استنتاج
Implication introduction
/
وضع مقدم
Biconditional introduction
/
elimination
Conjunction introduction
/
elimination
Disjunction introduction
/
elimination
Disjunctive
/
hypothetical syllogism
Constructive
/
destructive dilemma
Absorption
/
نفی تالی
/
modus ponendo tollens
Rules of replacement
شرکت‌پذیری
خاصیت جابه‌جایی
توزیع‌پذیری
نقیض مضاعف
قوانین دمورگان
Transposition
Material implication
Exportation
Tautology
Negation introduction
منطق مرتبه اول
Universal generalization
/
instantiation
Existential generalization
/
instantiation
ن
ب
و
See also
[
ویرایش
]
{{
Classical logic
}}
{{
Logic templates
}}
ردهها
:
الگو:منطق
الگو:نوار کناری
ردهٔ پنهان:
نوارهای کناری با سبک نیازمند تبدیل
جستجو
جستجو
تغییر وضعیت فهرست محتویات
الگو
:
قواعد تبدیل
۱۰ زبان
افزودن مبحث
