درستی (منطق): تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات ردهٔ همسنگ (۲۲) +مرتب(۲.۷): + رده:نظریه مدل+رده:نظریه برهان |
جز r2.7.2+) (ربات: اصلاح nl:Correctheid (logica) |
||
خط ۸۲:
[[ko:건전성 정리]]
[[mk:Правилност]]
[[nl:
[[pt:Correção]]
[[sv:Sund (logik)]]
|