برهان خلف: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات: حذف میانویکی موجود در ویکیداده: da, en, hu, ru |
|||
خط ۵۰:
[[رده:قضیهها در حساب گزارهای]]
[[رده:قواعد استنتاج]]
|
جز ربات: حذف میانویکی موجود در ویکیداده: da, en, hu, ru |
|||
خط ۵۰:
[[رده:قضیهها در حساب گزارهای]]
[[رده:قواعد استنتاج]]
|