نتایج جستجو

...<math>p</math> فرض یا [[فرضیه]] است و <math>q</math> حکم یا [[نتیجه منطقی|نتیجه]] می‌باشد. {{ادات منطقی}} ...

...th> یا «Lpq» (در نماد [[یوزف ماریا بوخنسکی|بوخنسکی]]) نوشته شود، و به صورت منطقی با <math>\neg (P \rightarrow Q)</math> و <math>P \land \neg Q</math> معادل === هم‌ارزهای منطقی === ...

...ooks.google.com/books?id=rMXVbmAw3YwC&pg=PA72 p. 72.]</ref> شرطی‌های اکید، نتیجه تلاش [[Clarence Irving Lewis|کلارنس ایروینگ لوئیس]] برای پیدا کردن یک شرطی * [[استلزام|نتیجه منطقی]] ...

...عملگر صحت-عملیاتی است که نتیجه ی ایجاد شده توسط آن، نقیض «[[فصل منطقی|یا ی منطقی]]» است. عملگر منطقی NOR در ریاضیات گسسته به صورت نماد پیکان پیرس {{به انگلیسی|Peirce arrow}} (↓ ...

:در نتیجه غیر <math>P</math>. :در نتیجه پوسایدون آدم نیست. ...

...مقابل، الف شرط کافی برای ب است، در صورتی که از درستی الف، بتوان درستی ب را نتیجه گرفت. اما در صورت نادرستی الف، نمی‌توان به نادرستی ب رسید. ...الف، درستی ب را نتیجه گرفت و بالعکس. شرط لازم و کافی در منطق به‌صورت رابطۀ منطقی [[اگر و تنها اگر]] بین [[مقدم (منطق)|مقدم]] و [[تالی]] بیان می‌شود.<ref>{{پ ...

...یز نینجامد. در [[منطق کلاسیک]] از یک ناسازگاری یا تناقض هر چیزی را می‌توان نتیجه گرفت. این مسئله برخلاف شهود ماست و طبیعی نیست. من اگر به صورت ناسازگار بر آ ...شد، می‌توان نقیض آن و هر گزارهٔ دلخواه دیگر را با مراحلی مشابه اثبات کرد. منطقی که دارای این ویژگی است را انفجاری می‌گویند. منطق کلاسیک انفجاری است. ...

علامت ریاضی و منطقی که برای مشخص کردن [[نقیض]] یک گزاره استفاده می‌شود، نماد <math>\lnot \;</ma ...این در مثال فوق، نقیض گزاره <math>\forall \; x \in X \; P(x)</math> از نظر منطقی هم ارز با عبارت «انسانی مانند x در مجموعه انسان‌ها وجود دارد که مجرد است.» ...

...طق]]، '''نقیض''' {{به انگلیسی|Negation}} یک [[عملگر منطقی]] یکتایی است، که نتیجه آن در صورتی که گزارهٔ تحت آن ''نادرست'' باشد، ''درست'' خواهد بود و در غیر ا مشاهده می‌کنید که در همهٔ حالات منطقی، گزارهٔ <math>\mathord{\sim}p</math>، ارزشی دقیقاً مخالف <math>p</math> دار ...

...ی از عبارت‌های منطقی است، که از آنها مطمئن هستیم» و D «مجموعه‌ای از قواعد منطقی پیش‌فرض است». به W نظریه پیش‌زمینه می‌گوییم و ممکن است به زبان [[منطق مرتبه ...تند. اگر بخش مقدم از مجموعه W قابل استنتاج باشد (یعنی از دانش قطعی ما قابل نتیجه‌گیری باشد) و بخش توجیهات با آن سازگار باشد (یعنی دانش قطعی ما را نقض نکند) ...

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

...که در عوض از [[اصل موضوع (منطق)|اصول موضوعه]] تا حد امکان برای بیان قوانین منطقی [[استدلال استنتاجی]] استفاده می‌کنند.<ref name=":0">{{یادکرد وب|عنوان=Propo ...ض‌های <math>P\to Q</math> و <math>P</math>، با قواعد استنتاج ثابت می‌کنیم (نتیجه می‌گیریم) که <math>Q</math>.<ref>{{یادکرد وب|عنوان=logic - What is the diff ...

...سط رید-مولر''' ({{lang-en|Reed–Muller Expansion}}) ابزارهای نوشتن فرمولهای منطقی در یکی از ۳ فرم زیر هستند: * یک یا چند متغیر با [[عطف منطقی|AND]] به صورت یک ترم درآمده باشند. یک یا چند ترم با [[یای انحصاری|XOR]] به ...

...، عملگرهای اصلی جبر بولی [[عطف منطقی]] (و) که با ∧ نشان داده می‌شود، [[فصل منطقی]] (یا) که با ∨ نشان داده می‌شود و نقیض که با ¬ نشان داده می‌شود، می‌باشند. ...سبت به عملگر <math>+</math> بسته است. یعنی اگر دو مقدار را با هم جمع کنیم، نتیجه عضوی از مجموعه <math>B</math> است. ...

...دروازه‌ها واحدهای سازنده‌ی مدارهای کوانتومی هستند؛ درست همانند دروازه‌های منطقی کلاسیک که در مدارهای دیجیتال امروزی به کار می‌رود. <ref name="S. Woody III ...ش‌تر دروازه‌های منطقی کلاسیک همگی بازگشت‌پذیر هستند؛ هرچند می‌توان مدارهای منطقی کلاسیکی طراحی کرد که بازگشت‌پذیر باشد.<ref name="Barenco">{{cite journal|la ...

این فهرستی از [[قاعده استنتاج|قواعد استنتاج]] منطقی است. این قوانین مربوط به [[فرمول|فرمول‌های ریاضی]] هستند. ...ن استنتاج'''، نحوهٔ '''تبدیل''' قوانین هستند که می‌توان برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کرد. ...

'''ماشین یادگیری منطقی''' {{انگلیسی|Logic Learning Machine}}، یکی از روش‌های [[یادگیری ماشین]] بر : اول مقدمه، سپس نتیجه ...

|+ '''تناقض منطقی''' ...th>» یا «<math>p</math> ایجاب می‌کند <math>q</math> را» یا «<math>p</math> نتیجه می‌دهد <math>q</math> را». ...

...elf-dual=no}}'''شرطی مادی''' {{به انگلیسی|Material conditional}} یک [[رابط منطقی]] (یا [[عمل دوتایی|عمل دودویی]]) است، که معمولاً توسط پیکان رو به جلو (<mat شرطی مادی به صورت '''پیامد مادی''' {{به انگلیسی|Material implication}}، '''نتیجه مادی''' {{به انگلیسی|Material consequence}} یا به سادگی '''پیامد''' {{به ان ...

یک شبکهٔ منطق مارکوف یا (MLN) منطقی احتمالاتی است که ایده‌های یک [[میدان تصادفی مارکفی|شبکه مارکوف]] به [[منطق ...ده شده‌است. رأس‌های گراف شبکه [[فرمول‌های اتمی]] هستند و یال‌ها [[رابط‌های منطقی]] استفاده شده در ساخت فرمول هستند. هر فرمول به عنوان یک [[گروهک (نظریه گرا ...