نتایج جستجو

.... | پیوند=http://khccsc.ir/logic/copi/ch10/ch10ED14sec6.htm | کد زبان=fa | تاریخ بازبینی=2015-03-09}}</ref> .../topic/213716/formal-logic/65840/Nonstandard-versions-of-PC | کد زبان=en | تاریخ بازبینی=2015-03-09}}</ref> ...

...reserving=خیر|1-preserving=خیر|monotone=خیر|affine=بلی|self-dual=yes}}در [[منطق]]، '''نقیض''' {{به انگلیسی|Negation}} یک [[عملگر منطقی]] یکتایی است، که نتی ...index.php?page=گزاره&SSOReturnPage=Check&Rand=0 |عنوان = |ناشر = |تاریخ = |تاریخ بازدید = ۱۴ ژوئن ۲۰۱۷ |archive-date = ۳۰ اکتبر ۲۰۱۷ |archive-url = https:// ...

...ان انگلیسی|انگلیسی]]: Necessity and sufficiency) عنوان‌هایی برای شرط‌های [[منطق]]ی هستند. اگر «ب» شرط لازم برای «الف» باشد، آنگاه از درستی الف می‌توان درست ...شرط لازم و کافی در منطق به‌صورت رابطۀ منطقی [[اگر و تنها اگر]] بین [[مقدم (منطق)|مقدم]] و [[تالی]] بیان می‌شود.<ref>{{پک | Caplinskas | Dzemyda | Lupeikien ...

...وعه]] دلخواه یک گزاره تولید می‌شود. گزاره‌نما تقریباً معادل [[محمول]] در [[منطق کلاسیک]] است ...دکرد وب|نویسنده = |نشانی = daneshnameh.roshd.ir|عنوان = | ناشر = |تاریخ = |تاریخ بازدید =}} ...

...وتاهی از جمله‌هایی بلند (یا کوتاه) تصور کرد.<ref>درآمدی نو به منطق نمادین: منطق محمول‌ها، ص 43.</ref> ...شخص کرد و تعبیری یافت که با فرض صدق مقدمات، نتیجه کاذب باشد.<ref>درآمدی به منطق جدید، ص 105.</ref>. به عنوان مثال، استدلال زیر را که دارای دو مقدمه و یک نت ...

...هد. در [[منطق گزاره‌ای]]، '''شرکت‌پذیری''' یک [[قاعده جایگزینی]] [[اعتبار (منطق)|معتبر]] برای [[فرمول خوش فرم|عبارات]] در [[اثبات صوری|اثبات منطقی]] است. ...بایگانی = | فرمت = | تاریخ بازبینی = | نوع = | ویرایش = | سری = | جلد = | تاریخ = | سال = ۱۳۸۷| سال اصلی = | ناشر = مؤسسه انتشارات علمی دانشگاه صنعتی شریف| ...

...تضاد با دستگاه‌های [[دیوید هیلبرت|هیلبرتی]] است که در عوض از [[اصل موضوع (منطق)|اصول موضوعه]] تا حد امکان برای بیان قوانین منطقی [[استدلال استنتاجی]] استف .../~jeffpell/papers/pelletierNDtexts.pdf کتاب‌های درسی تاریخ استنتاج طبیعی و منطق ابتدایی.] ...

* [[منطق کلاسیک]] ...| پیوند=http://books.google.com/books?id=YhD9Zc5tp7wC&pg=PA260 | زبان=en | تاریخ بازبینی=2015-03-03}} ...

...name=":0">{{یادکرد وب|نویسنده=Mathias Samuelides and Luc Segoufin|کد زبان=|تاریخ=|وبگاه=|نشانی=http://www.lsv.ens-cachan.fr/~segoufin/Papers/Mypapers/fct-we == ویژگی‌ها<ref>{{یادکرد وب|نویسنده=|کد زبان=|تاریخ=|وبگاه=|نشانی=|عنوان=Expressive power of pebble automata}}</ref> == ...

{{ویکی‌سازی|تاریخ=دسامبر ۲۰۱۷}} [[پرونده:CTL model.png|بندانگشتی|منطق درخت محاسباتی]] ...

در [[منطق ریاضی]]، یک''' فرمول خوش‌فرم''' یا''' دیسول خوش‌دیسه''' (که به صورت wff نشا ...دو راه حلی که از فرمول‌ها استفاده می‌کنند، راه حل هایی با منطق گزاره‌ای و منطق مسندی هستند. ...

...8-81-203-3431-1|page=167}}</ref> بنابراین [[مصرف انرژی برق|مصرف توان]] کلی منطق پویا ممکن است بسته به بده بستان‌های مختلف بیشتر یا کمتر باشد. هنگامی که به ...‌هایی وجود دارد. پالس ساعت (کِلاک) را می‌توان در فاز مناسب در سامانه‌ای با منطق پویا و ذخیره ایستا متوقف کرد.<ref name="Harris20012">{{cite book|author=Dav ...

{{گسترش از زبان|موضوع=|کد زبان=en|مقاله دیگر=Logic gate|تاریخ=۵ ژانویه ۲۰۲۵}} ...لیات منطقی انجام می‌دهد و یک خروجی منطقی تولید می‌کند. اساس عملکرد آن بر [[منطق بولی]] استوار است، که بر تمام مدارهای دیجیتال حاکم است. گیت‌های منطقی عمدتا ...

...>\lbrace\rbrace</math> نشان داده می‌شود.<ref>{{یادکرد وب|نویسنده=|کد زبان=|تاریخ=|وبگاه=آی هوش|نشانی=http://www.ihoosh.ir/article/101/مجموعه-تهی-چیست؟|عنوان {{پانویس}}{{منطق}} ...

...رای یافتن مقداری مجهول با استفاده از سه مقدار داده شده که با هم رابطه‌ای [[منطق|منطقی]] دارند، بکار می‌رود. نمونهٔ سادهٔ تناسب یک جملهٔ به زبان [[ریاضی]] م ...t.ir/upload/10/zohari2/4.pdf |عنوان=مبحث تناسب |ناشر=b-sampadrasht.ir |5= |تاریخ بازبینی=۱۴ اوت ۲۰۱۳ |archiveurl=https://web.archive.org/web/20130810045203/ ...

...عتبار (منطق)|منطقی معتبر]] را بتوان به صورت کارآمد تعیین نمود. یک [[نظریه (منطق ریاضی)|نظریه]] (مجموعه جمله‌های [[:en:Deductive_closure|بسته]] تحت [[استلزا ...اب یک مسئلهٔ تصمیم‌گیری با یک راه مؤثر<ref>{{یادکرد وب|نویسنده=|کد زبان=en|تاریخ=|وبگاه=|نشانی=https://en.wikipedia.org/wiki/Effective_method|عنوان=Effectiv ...

...از اطلاعات شناخته شده و بخشی از اطلاعات ناشناخته است. این رویکرد همانند [[منطق فازی]] کاربرد گسترده‌ای در دنیای واقعی داد که در سال‌های اخیر در زمینه‌های ...alysis (DGRA), MATLAB Central File Exchange. Retrieved September 26, 2022.|تاریخ=}}</ref> ...

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

{{ویکی‌سازی|تاریخ=دسامبر ۲۰۱۷}} {{منطق}} ...

....janbalaghi.com/the-law-of-changing-beliefs/|وبگاه=سایت رسمی محمد جانبلاغی|تاریخ=|بازبینی=11 اردیبهشت 1399|کد زبان=fa-IR|نویسنده=|archive-date=۲۹ مارس ۲۰۲۳| اکثر فلاسفه معاصر اعتقاد را یک نگرش و حالت نسبت به یک [[گزاره (منطق)]] می‌دانند. گزاره‌ها معانی جملاتی هستند. به عنوان مثال، اگر دو جمله معنی ی ...