استلزام: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز r2.7.2) (ربات: افزودن ar:نتيجة (منطق)؛ حذف: en:Logical consequence |
جز ربات: حذف میانویکی موجود در ویکیداده: ۱۲ میانویکی |
||
خط ۱۱:
{{منطق}}
[[رده:مفهومها در منطق]]
سطر ۲۱ ⟵ ۲۰:
[[رده:منطق گزارهای]]
[[رده:نتیجه منطقی]]
| |||