نتایج جستجو

...شتی|220x220پیکسل|[[نمودار ون]] برای <math>P \leftrightarrow Q</math> (قسمت درست قرمز است).]] ...h>، که <math>p</math> فرض یا [[فرضیه]] است و <math>q</math> حکم یا [[نتیجه منطقی|نتیجه]] می‌باشد. ...

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

...ایی|دوتایی]] است، که نتیجۀ آن در صورتی که هر دو عملوند آن ''درست'' باشد، ''درست'' خواهد بود و در غیر این صورت ''نادرست'' است. ...ارزش دو گزاره، است که [[اگر و تنها اگر]] هر دو عامل ''درست'' باشد مقدار ''درست'' می‌دهد. ...

...]] است، که نتیجۀ آن در صورتی که حداقل یکی از عملوندهای آن ''درست'' باشد، ''درست'' خواهد بود و در غیر این صورت ''نادرست'' است.<ref>{{یادکرد کتاب |فصل= |عنوا {{ادات منطقی}} ...

.../math> درست باشد، آنگاه حداقل یکی از <math>P</math> یا <math>Q</math> باید درست باشند.|symbolic statement=<math>\frac{P}{\therefore P \lor Q}</math>}}{{قوا ...امکان را فراهم می‌کند که [[فصل منطقی|ترکیب فصلی]]<nowiki/>‌ها را به براهین منطقی وارد کنیم. ...

...است). یعنی، یک '''بند'''، بسته به نوع زمینه، یک [[فصل منطقی|فصل]] یا [[عطف منطقی|عطف]] متناهی از لیترال‌ها است. بندها به صورت معمول اینطوری نوشته می‌شوند (ک [[رده:برنامه‌نویسی منطقی]] ...

...یامد مادی از <math>P</math> به <math>Q</math> درست است، اگر <math>P</math> درست باشد و <math>Q</math> نادرست باشد.<ref name=":0">{{Cite journal|date=2020-0 ...th> یا «Lpq» (در نماد [[یوزف ماریا بوخنسکی|بوخنسکی]]) نوشته شود، و به صورت منطقی با <math>\neg (P \rightarrow Q)</math> و <math>P \land \neg Q</math> معادل ...

...]] (=) نیز در بسیاری از [[دستگاه صوری|سیستم‌های منطقی]] به‌عنوان یک ''ثابت منطقی'' در نظر گرفته می‌شود. ...e=Jan 12, 2022}}</ref> یعنی چه ویژگی خاصی از ثابت‌های معین، ماهیت آن‌ها را منطقی می‌کند؟<ref>[[Rudolf Carnap|Carnap, Rudolf]] (1958). ''Introduction to symb ...

...ی]] است، که نتیجهٔ آن در صورتی که عطف منطقی عملوندهای آن ''نادرست'' باشد ''درست'' خواهد بود و در غیر این صورت ''نادرست'' است. {{ادات منطقی}} ...

عملگر منطقی NAND در ریاضیات گسسته به صورت نماد خط (|) نمایش داده می‌شود. این نام‌گذاری گزارهٔ p NAND q یا(p|p) درست است اگر هر یک از گزاره‌های P یا q یا هر دو نادرست باشند؛ و در غیر این صورت ...

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

...> و <math>B</math> درست باشد، آنگاه هر دوی <math>A</math> و <math>B</math> درست هستند.|symbolic statement=# <math>\frac{P \land Q}{\therefore P}, \frac{P \ ...> و <math>B</math> درست باشد، آنگاه هر دوی <math>A</math> و <math>B</math> درست هستند. ...

...ادق است. اولین‌بار در سال [[۱۹۲۱ (میلادی)|۱۹۲۱]] [[ویتگنشتاین]] در [[رساله منطقی-فلسفی]] خود واژهٔ توتولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باش ...ه می‌کند، گزاره‌ای در [[زبان طبیعی]] که تنها به سبب عباراتی که شامل آنهاست درست است. ...

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

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

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

...طقی]] یکتایی است، که نتیجه آن در صورتی که گزارهٔ تحت آن ''نادرست'' باشد، ''درست'' خواهد بود و در غیر این صورت ''نادرست'' است. | درست || نادرست ...

درنظر بگیرید که می‌خواهید [[گزاره (منطق)|گزاره]] ای بنویسید که در صورتی درست است که برای عدد n در مجموعه [[اعداد طبیعی]]، داشته باشیم: ...ت است زیرا شما می‌توانید هر [[عدد طبیعی]] را جایگزین n نموده و به یک تساوی درست برسید. به زبان ریاضی اگر (P(n گزاره‌ای با تعریف "2n = n +n " بوده و <math>\ ...

...ن داد که هر گزاره‌ای که دربارهٔ یک مجموعهٔ تهی بیان شده باشد، از دید منطقی درست است.<ref>{{پک | Baldwin | Scragg | 2004 | ک=Algorithms & Data Structures: T ...که <math>A</math> تهی است، پس نقیض گزاره نمی‌تواند درست باشد، پس خود گزاره درست است.<ref>{{پک | O'Searcoid | 2006 | ک=Metric Spaces | زبان=en | ص=248}}</re ...

...عبارت دیگر، یک جمله یک [[قضیه|گزاره]] را بیان می‌کند و آن گزاره باید حتماً درست یا نادرست باشد. این محدودیت که نباید هیچ متغیر آزادی داشته باشد، به این دلی جمله‌های فاقد هرگونه [[رابط‌های منطقی|رابط منطقی]] یا [[سور (منطق)|سور]]، [[جمله اتمی]] نامیده می‌شوند؛ که در مقایسه با [[فر ...