خاصیت توزیع‌پذیری: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
Fatranslator (بحث | مشارکت‌ها) جز ربات:افزودن الگو ناوباکس {{منطق کلاسیک}}+ |
جز ربات ردهٔ همسنگ (۳۰.۱) +مرتب (۱۴.۹ core): + رده:خواص عملیات دوتایی |
||
خط ۳۹:
{{منطق کلاسیک}}
[[رده:جبر مجرد]]
[[رده:جبر مقدماتی]]
[[رده:خواص عملیات دوتایی]]
[[رده:عملیات دوتایی]]
[[رده:قضیه‌ها در حساب گزاره‌ای]]
| |||