درستی (منطق): تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات: تصحیح جایگذاری کاما، شمارگان هزارگان |
جز r2.7.1) (ربات افزودن: ca:Solidesa |
||
خط ۶۹:
[[رده:برهانهای ریاضیات]]
[[ca:Solidesa]]
[[de:Korrektheit (Logik)]]
[[en:Soundness]]
| |||