نتایج جستجو

...سی|انگلیسی]]: Logical biconditional) یک [[عملگر منطقی]] است که دو [[گزاره (منطق)|گزاره]] را به هم وصل می‌کند تا نشان دهد، <math>p</math> ''[[اگر و فقط اگر] {{منطق}} ...

...ولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باشد.<ref>{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌ا در سال ۱۸۰۰ [[ایمانوئل کانت|امانوئل کانت]] در کتاب منطق خود نوشت: ...

{{منطق کلاسیک}} {{منطق ریاضی}} ...

...به اطلاعات حکم ریاضیاتی|name=معرفی فصل|type=[[قاعده استنتاج]]|field=[[حساب گزاره‌ای]]|statement=اگر <math>P</math> درست باشد، آنگاه حداقل یکی از <math>P</math> ...گلیسی|Disjunction introduction}} یک [[قاعده استنتاج|قاعدۀ استنتاج]] [[حساب گزاره‌ای]] و تقریباً هر [[دستگاه صوری]] دیگری است. این قاعده این امکان را فراهم می‌ک ...

[[گزاره (منطق)|گزاره]] <math>A</math> را در''' صورت نرمال عطفی''' گوییم هرگاه به شکل * هر گزاره با گزاره‌ای در صورت نرمال عطفی با همان اتم‌ها معادل است. ...

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

...ه]]، با خود آن گزاره یکسان دانسته می‌شود.<ref>{{یادکرد وب | عنوان=درآمد به منطق فصل ۱۰: روشهای استنتاج قسمت: هفتم: دستگاه استنتاج طبیعی | وبگاه=. | پیوند=h اصل نقیض مضاعف در [[منطق شهودی]] مورد پذیرش نیست.<ref>{{یادکرد وب | عنوان=formal logic :: Nonstandar ...

در [[حساب گزاره‌ها|منطق گزاره‌ای]]، سمبل <math>\exists \;</math> '''سور وجودی''' نام گرفته و آن را بیان می‌ک مثال: در نظر بگیرید می‌خواهیم [[گزاره (منطق)|گزاره‌ای]] بنویسیم که تنها در صورتی درست است که در [[مجموعه (ریاضی)|مجموعه‌ی]] [[اعد ...

...d-url=yes}}</ref> همچنین این اصل به‌شکل صوری می‌تواند به‌صورت [[همان‌گویی (منطق)|همان‌گوی]] <math>\mathord{\neg}(P\land\mathord{\neg}P)</math> نوشته شود. {{منطق کلاسیک}} ...

تعبیر برای [[منطق گزاره‌ها]] تابعی مانند I از [[مجموعه پروپ]] به توی مجموعه ۱ و ۰ است که در ش برای گزاره‌ای مانند A و تعبیر I اگر I(A)=۱ باشد گوییم گزاره با این تعبیر راست است یا I یک ...

...نطق]]، یک [[عبارت (ریاضیات)|عبارت]] است که از گردآوردی متناهی از [[لیترال (منطق ریاضی)|لیترال‌ها]] (یعنی اتم‌ها یا نقیض آن‌ها) ساخته شده‌است. یک بند موقعی {{منطق-خرد}} ...

...preserving=بلی|1-preserving=بلی|monotone=بلی|affine=خیر|self-dual=no}}در [[منطق]] و [[ریاضیات]]، '''فصل منطقی''' {{به انگلیسی|Logical disjunction}} یا همان [[رده:منطق]] ...

{{جعبه اطلاعات حکم ریاضیاتی|name=حذف عطف|type=[[قاعده استنتاج]]|field=[[حساب گزاره‌ای]]|statement=اگر ترکیب عطفی <math>A</math> و <math>B</math> درست باشد، آنگاه ...=Wiley|year=1991}} Sect.3.1.2.1, p.46</ref> یک [[استدلال مباشر]] [[اعتبار (منطق)|معتبر]]، [[صورت منطقی]] و [[قاعده استنتاج|قاعدهٔ استنتاج]] است که این [[اس ...

...reserving=خیر|1-preserving=خیر|monotone=خیر|affine=بلی|self-dual=yes}}در [[منطق]]، '''نقیض''' {{به انگلیسی|Negation}} یک [[عملگر منطقی]] یکتایی است، که نتی نقیض یک گزاره، گزاره‌ای است که ارزش آن دقیقاً مخالف ارزش گزارهٔ اولیه باشد. ...

...ه بپذیرم تهران پایتخت [[فرانسه]] است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند.<ref>"Paraconsistent Log ...به این معنا که اگر یک تناقض در فرضیات باشد همه‌چیز از آن بیرون می‌آید و هر گزاره‌ای در آن اثبات‌پذیر می‌شود. ...

'''منطق انگارشی''' (Default Logic) گونه ای منطق غیر یکنواخت است که به [[صوری سازی]] استنتاج کردن با پیش فرض گرفتن انگاره‌ها عباراتی چون، به صورت پیش فرض چیزی درست است، به این نوع منطق اشاره دارد. برای نمونه «پرنده جانوری است که پرواز می‌کند» از این عباراتها ا ...

...llendo tollens}} (که معمولاً Modus tollens خوانده می‌شود)، یکی از اَشکال [[منطق صوری|استدلال صوری]] است. {{منطق کلاسیک}} ...

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

...nens خوانده می‌شود)، یکی از ساده‌ترین اشکال [[قیاس (منطق)|قیاس]] در [[حساب گزاره‌ای]] است. ...q \right ) \land p \right ) \Rightarrow q </math><ref>{{پک|لین|لین|۱۳۸۲|ف=منطق مقدماتی|ک=نظریهٔ مجموعه‌ها و کاربردهای آن|ص=۱۸}}</ref> ...

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