نتایج جستجو

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

...منطقی''' {{به انگلیسی|Logical disjunction}} یا همان «'''یا'''» یک [[عملگر منطقی]] [[عمل دوتایی|دوتایی]] است، که نتیجۀ آن در صورتی که حداقل یکی از عملوندهای {{ادات منطقی}} ...

عملگر منطقی NAND در ریاضیات گسسته به صورت نماد خط (|) نمایش داده می‌شود. این نام‌گذاری {{ادات منطقی}} ...

...منطقی''' {{به انگلیسی|Logical conjunction}} یا همان «'''وَ'''» یک [[عملگر منطقی]] [[عمل دوتایی|دوتایی]] است، که نتیجۀ آن در صورتی که هر دو عملوند آن ''درست عطف منطقی یک عملگر روی دو [[ارزش منطقی]]، نوعاً ارزش دو گزاره، است که [[اگر و تنها اگر]] هر دو عامل ''درست'' باشد ...

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

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

...لگر منطقی]] می‌باشد که بر تساوی و برابری در جبر بولی و دو [[شرطی مادی|شرطی منطقی]] در [[ریاضیات]] گزاره‌ای دلالت می‌کند. خروجی این تابع هنگامی درست می‌باشد به هر روی نامساوی منطقی به یکی از رویه‌های ذکر شده در جدول زیر نوشته می‌شود: ...

...و ''q،'' [[فرمول‌های خوش فرم|فرمول]] ''p'' → ''q'' می‌گوید که ''p''[[شرطی منطقی| به طور مادی نتیجه می‌دهد]] ''q'' را در حالی که <math>\Box (p \rightarrow q * [[استلزام|نتیجه منطقی]] ...

علامت‌های منطقی برای نشان دادن ''اگر و تنها اگر'' در نوشتار، نمادهای منطقی مختلفی برای نمایش دوشرطی (به جای عبارت «اگر و تنها اگر») به کار می‌روند. ای ...

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

...tors").</ref> یک مجموعه معروف کامل از رابط‌ها {AND, NOT} است که شامل [[عطف منطقی|وَ]] و [[نقیض]] باینری می‌شود. هر کدام از مجموعه‌های [[مجموعه تک‌عضوی|تک عض ...شبکه ای از گیت‌های مشخص شده توسط مجموعه ساخته شود. به‌طور خاص، همه گیت‌های منطقی را می‌توان فقط از [[دروازه نقیض و|گیت های NAND]] باینری، یا فقط از [[دروازه ...

...''(1), pp. 77–90.</ref>) در [[منطق مرتبه اول|منطق محمولات]]، برای یک گزاره منطقی یک [[فرمول‌های خوش فرم|فرمول خوش-فرم]] با [[جبر بولی|مقدار بولی]] است که «ه جمله‌های فاقد هرگونه [[رابط‌های منطقی|رابط منطقی]] یا [[سور (منطق)|سور]]، [[جمله اتمی]] نامیده می‌شوند؛ که در مقایسه با [[فر ...

...' {{به انگلیسی|exclusive disjunction}} (یای منفصله حقیقیه، XOR) یک [[عملگر منطقی]] است که نتیجهٔ آن وقتی «درست» خواهد بود که تعداد فردی از ورودی‌هایش در حال ...یات گسسته|گزاره‌هایی]] که از گزاره‌های ساده و موجود با استفاده از عملگرهای منطقی تشکیل می‌شوند. فرض کنید p و q دو گزاره باشند. [[ترکیب فصلی]] p و q که به‌صو ...

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

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

مجموعه‌ای از [[رابط‌های منطقی]] در ارتباط با یک سیستم صوری '''[[تمامیت تابعی|تابعاً تام]]''' است اگر بتوا ...

...یرهای گزاره‌ای. الفبای متشکل از حروف ''V'' همراه با نمادها برای [[رابط‌های منطقی|روابط گزاره‌ای]] و پرانتز "(" و ") " که همه آنها در نظر گرفته نمی‌شود در '' فرمول‌های خوش فرم منطقی را می‌توان به صورت استقرایی زیر تعریف کرد: ...

...و اشیایِ زبان، [[رابطه دسترسی پذیری|جهانهای دسترس پذیر]] هستند. [[رابط‌های منطقی]] از [[منطق گزاره‌ها]]، دست نخورده باقی مانده و عملگرهای وجهی، بسته به [[مع ...

...'منطق گزاره‌ای''' می‌پردازد. [[گزاره (منطق)|گزاره‌ها]] و ترکیب آن با ادوات منطقی شکل می‌گیرد. گزاره‌های مورد توجه منطق گزاره‌ها فقط گزاره‌های خبری‌ست. در [[ ...تشکیل شده که یک رابطهٔ زوج مرتبی خاص را، به قصد آن که به عنوان یک هم نهشتی منطقی دریافت شود، روی فضای عبارات تعریف می‌کند. ...

...و بخش در یک مکان بنویسند، نتیجهٔ نهایی مربوط به آخرین قسمت اجرا شده از نظر منطقی است.<ref>{{cite book|last=Roosta|first=Seyed H.|title=Parallel processing a زبان‌های برنامه‌نویسی همزمان، کتابخانه‌ها، رابط‌های برنامه کاربردی، و مدل‌های برنامه‌نویسی موازی (مانند اسکلت الگوریتمی) برای ب ...