منطق موجود است. اقسام منطق منطق احتمالاتی منطق امری منطق توصیف منطق جبری منطق ریاضی منطق سه ارزشی منطق سه حالته منطق شهودی منطق فازی منطق فلسفی منطق کاربردی...

در منطق ریاضی، یک سامانهٔ منطقی دارای ویژگی صحت (به انگلیسی: Soundness) یا درستی است، اگر و فقط اگر قواعد استنباطی آن فقط فرمول‌هایی را ثابت کند که به...

منطق به منظور به‌کارگیری مفهوم درستی جزئی به‌کارگیری می‌شود، به طوری که میزان درستی می‌تواند هر مقداری بین کاملاً درست و کاملاً غلط باشد. اصطلاح منطق...

به علاوه ممکن است یک معناشناسی داده شود که درستی و ارزش‌گذاری را تعیین کند (همان تفسیرها). زبان یک منطق گزاره‌ای تشکیل شده از موارد زیر است: ۱- مجموعه‌ای...

منطق ریاضی یا منطق جدید (به انگلیسی: Mathematical logic) شاخه‌ای از ریاضیات است که به پیوند ریاضی و منطق می‌پردازد. ریشه‌های پیدایش این منطق به کارهای...

منطق مرتبه‌اول (به انگلیسی: First-order logic) مجموعه‌ای از سیستم‌های صوری است که به آن منطق محمولات یا منطق گزاره‌ای (Predicate logic)، منطق سوری (به...

(محمول در برابر موضوع با تبیین ماهیت و ذات موضوع یا جزئی از ماهیت موضوع). در منطق قدیم و در فلسفه هر گزاره را به دو بخشِ موضوع و محمول تقسیم می‌کنند. این نام‌گذاری...

مباحثه و مناظره است. دیالکتیک یکی از روش‌های فلسفه و نظریه‌ای دربارهٔ سرشت منطق است. پیشینهٔ روش دیالکتیکی به یونان باستان و به‌طور مشخص به نظریات سقراط...

جمع به صورت اجتماع دایره‌ها نمایش داده می‌شود. جدول درستی که یک جدول ریاضیاتی می‌باشد و از آن در منطق سود برده شده و برای محاسبه مقادیری که به صورت منطقی...

عقلانی» است؛ بنابراین در یک استدلال منطقی، دلایل باید براساس اصول «درستی» اندیشه که «منطق» نام دارد، ارائه شوند. در غیراین‌صورت، استدلال، سفسطه است. چالش‌های...

(A\lor B)\land (A\lor C)} همان‌گویی (معنی‌شناسی) تناقض جدول درستی محمد اردشیر (۱۳۸۳)، منطق ریاضی، انتشارات هرمس با همکاری مرکز بین‌المللی گفتگوی تمدن‌ها،...

رشته‌های گوناگون، از جمله: فیزیک، متافیزیک، اخترشناسی، شعر، ادبیات، زیست‌شناسی، منطق، علم بیان، سیاست، دولت و اخلاق بوده‌اند. ارسطو به همراه سقراط و افلاطون از...

(به انگلیسی: Proposition)؛ در دانش منطق، قضیه یا جمله‌ای است خبری که می‌تواند درست یا نادرست باشد، هر چند که درستی یا نادرستی آن بر ما پوشیده باشد. برای...

روشن‌فکر نیستند» اشاره کرد. درستی هر دو طرف هم‌ستیزی امکان ندارد، یعنی اگر قضیهٔ «همهٔ دانش‌جویان، روشن‌فکر هستند» درست باشد، از درستی آن لازم می‌آید که قضیهٔ...

منطق، جدول ارزش یا جدول صحت یا جدول درستی (به انگلیسی: Truth table) به جدولی گفته می‌شود که در آن درستی و نادرستی گزاره‌ها درج گردد. منظور از درستی یا...

هر دو عامل درست باشد مقدار درست می‌دهد. جدول درستی یا جدول صدق و کذب p و q (همچنین به صورت p ∧ q در منطق یا p ⋅ {\displaystyle \cdot } q در الکترونیک...

قوانین موجود در روش (سیستم) استقرایی، می‌باشد. اثبات تئوری اغلب برای توجیه درستی گزاره قضیه تفسیر و مطرح می‌شوند. با توجه به اثبات قضایای ریاضی بر اساس نیاز،...

مقدمه‌های آن درست باشند، نتیجهٔ به دست آمده حتماً درست است. منظور از قیاس در منطق این است که هر گاه دو یا چند فرض را درست و مطمئن بدانیم و رابطهٔ این فرض‌ها...

پزشک، ریاضی‌دان، اخترشناس، فیزیک‌دان، شیمی‌دان، جغرافی‌دان، زمین‌شناس، شاعر، منطق‌دان، فیلسوف، موسیقی‌دان و دولت‌مرد ایرانی و از مشهورترین و تأثیرگذارترینِ...

منظر منطق. چرا که واژگان درست و نادرست در این دو علم معناهای متفاوتی را دارا هستند. علمی که به مطالعهٔ درستی یا نادرستی استدلال‌ها می‌پردازد علم منطق نام...

در شرایط کنونی ایران ناممکن است. به گفته او شاید بخش‌هایی از آن از لحاظ منطق اقتصاد با مشکلاتی روبرو باشد اما بخش‌های دیگری از آن دست کم به‌طور تلویحی...

صورت قطعی از نتیجه حمایت می‌کنند. در منطق کلاسیک استدلال استقرایی را استدلال از جز به کل تعریف می‌کردند که در منطق جدید این تعریف پذیرفته نیست. بعضی انواع...

مربوط به امکان اثبات کامل بودن و درستی نرم‌افزار کاربرد دارد مشکل قاب یک مشکل اساسی است که باید هنگام استفاده از منطق مرتبه اول برای نشان دادن اهداف و...

موضوع، بُنداشت، بُن قانون یا آکسیوم (به فرانسوی: Axiome) در فلسفه، ریاضیات، منطق و فیزیک، گزاره‌ای است که بدونِ اثبات و به شکل پیش‌فرض پذیرفته می‌شود و از...

فلسفهٔ منطق شاخه‌ای از فلسفه است که به بررسی مسائل فلسفی ناشی از منطق می‌پردازد. سؤالاتی از قبیل اینکه: اعتبار یک استدلال به چه معناست؟ مراد از استنتاج...

یا سَفسَطِه، آوردن دلیل اشتباه یا غیرمجاز برای استدلال است که از نظر علم منطق به یکی از دلایل زیر نادرست باشد: نخست آنکه دست‌کم یکی از مقدمات گزاره نادرست...

منطق کلاسیک (به انگلیسی: Classical logic) اشاره به گونه‌هایی از منطق صوری دارد که بیش از همۀ انواع دیگر مورد مطالعه قرار گرفته‌اند و به‌کار می‌روند. این...

به هم باشد دو کلمه متضاد مثل : دور و نزدیک ، شروع و پایان ، پارادوکس در منطق به «حکم» یا احکامی ظاهراً صحیح. ویلیام کواین پارادوکس‌های منطقی را به چهار...

اعداد. نظریه مجموعه‌ها و منطق ریاضی به منظور تببین بنیان‌های ریاضیات توسعه یافته‌اند. منطق ریاضی شامل مطالعهٔ منطق و کاربردهای منطق صوری به شاخه‌هایی از ریاضیات...

منطق فازی و منطق احتمالی. منطق ریاضی درجات درستی منطق فازی منطق گودل منطق هفت-ارزشی جینا منطق کلین جبر کلین (با تحلیل) منطق لوکاشویچ جبر-ام‌وی منطق پست...

الف شرط لازم و کافی برای ب است اگر بتوان از درستی الف، درستی ب را نتیجه گرفت و بالعکس. شرط لازم و کافی در منطق به‌صورت رابطۀ منطقی اگر و تنها اگر بین مقدم...