درستی (منطق): تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جایگزینی سرنویس دستساخت با الگوی برای |
افزودن پيوند-ويراستاری |
||
خط ۱:
{{برای|صحت در زبان فارسی دری به معنای '''بهداشت'''|بهداشت}}
در [[منطق ریاضی]]، یک سامانهٔ منطقی دارای ویژگی صحت است، [[اگر و فقط اگر]] [[قواعد استنباط|قواعد استنباطی]] آن فقط فرمول هایی را ثابت کند که به لحاظ [[معناشناسی]] آن معتبر باشد. در بیشتر موارد، آنچه در این باره مهم است این است که قاعدههای آن درست باقی بمانند، اما به طور کلی همیشه اینطور نیست. کلمهٔ soundness از کلمهٔ المانی 'sund' از '''Gesundheit'''، به معنای سلامتی گرفته شده است. لذا برای اینکه بگوییم یک [[استدلال]] صحیح است به معنای این است که، طبق ریشه یابی، بگوییم آن استدلال سالم است.
== دربارهٔ استدلالها ==
خط ۱۲:
:همهٔ مردان فناپذیرند(از بین می روند).
:[[سقراط]] یک مرد است.
:بنابراین، سقراط فناپذیر است.
این استدلال معتبر است (چون نتیجه گیری بر مبنای آن مقدمه، درست است، یعنی این نتیجه گیری پیرو و دنبالهٔ آن مقدمه است)
استدلال زیر معتبر است اما صحیح نیست:
|