درستی (منطق): تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
FreshmanBot (بحث | مشارکتها) جز replaced: موثر ← مؤثر، می دهد ← میدهد، هایش ← هایش ، می رساند ← میرساند با ویرایشگر خودکار فارسی |
بدون خلاصۀ ویرایش برچسبها: ویرایش همراه ویرایش از وبگاه همراه |
||
خط ۱:
{{برای|صحت در زبان فارسی دری به معنای '''بهداشت'''|بهداشت}}
در [[منطق ریاضی]]، یک سامانهٔ منطقی دارای ویژگی صحت است، [[اگر و فقط اگر]] [[قواعد استنباط|قواعد استنباطی]] آن فقط فرمولهایی را ثابت کند که به لحاظ [[معناشناسی]] آن معتبر باشد. در بیشتر موارد، آنچه در این باره مهم
== دربارهٔ استدلالها ==
|