قاعدة الاستدلال

في فلسفة المنطق، فإن قاعدة الاستدلال هي شكل منطقي يتكون من دالة تأخذ المقدمات وتحلل تركيبها وترجع النتيجة (أو الاستنتاجات). على سبيل المثال، تأخذ قاعدة الاستدلال المسماة قياس استثنائي مقدمتين، أحدهما في النموذج "إذا p ثم q" والآخر على شكل "p"، ويعيد الاستنتاج "q". القاعدة صالحة فيما يتعلق بدلالات المنطق الكلاسيكي (بالإضافة إلى دلالات العديد من المنطق غير الكلاسيكي)، بمعنى أنه إذا كانت المقدمات صحيحة (بموجب تفسير ما)، فإن النتيجة كذلك.

عادةً ما تحافظ قاعدة الاستدلال على الحقيقة، وهي خاصية دلالية. في المنطق متعدد القيم، فإنها تحافظ على التسمية العامة. لكن قاعدة الاستدلال العملية هي قواعد نحوية بحتة، ولا تحتاج إلى الحفاظ على أي خاصية دلالية: أي دالة من مجموعات الصيغ إلى الصيغ تعتبر قاعدة للاستدلال. عادةً ما تكون القواعد العودية فقط مهمة؛ أي قواعد مثل وجود إجراء فعال لتحديد ما إذا كانت أي صيغة معينة هي نتيجة لمجموعة معينة من الصيغ وفقًا للقاعدة. مثال على قاعدة غير فعالة بهذا المعنى هي قاعدة-ω اللانهائية.^[1]

تتضمن قواعد الاستدلال الشائعة في منطق الافتراض والقياس الاستثنائي وطريقة الإزالة وطريقة عكس نقيض. يستخدم منطق الرتبة الأولى قواعد الاستدلال للتعامل مع المحددات المنطقية.

المراجع

^ Boolos، George؛ Burgess، John؛ Jeffrey، Richard C. (2007). Computability and logic. Cambridge: Cambridge University Press. ص. 364. ISBN:0-521-87752-0. مؤرشف من الأصل في 2021-08-15.

هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.

Read other articles:

Sunan Giri

One of nine Islamic saints in Java Kangjeng SusuhunanGiriꦫꦝꦺꦤ꧀ꦥꦏꦸSunan Giri paintingBornRaden Paku1442 CE BlambanganDied1506 CE Sunan Giri Mosque Kebomas, GresikOther namesMuhammad Ainul Yakin Joko SamudroEraMajapahit, Demak Sultanate, Cirebon SultanateOrganizationWalisongoTitleKangjeng Susuhunan GiriParentsMaulana Ishak (father)Dewi Sekardadu (mother) Sunan Giri (also called Raden Paku or Joko Samudro), and Muhammad Ainul Yakin (born 1442 CE in Blambangan, which is no...

Sociedad de Amigos del Museo Nacional de Historia Natural y del Jardín de las Plantas

Sociedad de Amigos del Museo Nacional de Historia Natural y del Jardín de las PlantasAcrónimo SAMNHNTipo Asociación ley de 1901 (reconocida de interés público desde 1926)Género Sociedad científicaForma legal asociación francesa según la ley de 1901Fundación Abril de 1907Fundador Edmond PerrierSede central París FranciaÁrea de operación Internacional (4.047 miembros[1])Presidente Bernard Bodo (desde 2016)Secretario general Yves CauzinilleTesoreros Christine Sobesky y ...

羅生門 (電影)

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。此條目需要补充更多来源。 (2018年3月17日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：羅生門 (電影) — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。 �...

Hero (film 2002)

HeroPoster rilis teatrikal TiongkokNama lainTradisional英雄Sederhana英雄MandarinYīngxióngKantonJing1 Hung4 SutradaraZhang YimouProduserZhang YimouDitulis olehFeng LiBin WangZhang YimouPemeranJet LiTony LeungMaggie CheungChen DaomingZhang ZiyiDonnie YenPenata musikTan DunSinematograferChristopher DoylePenyuntingAngie LamPerusahaanproduksiSil-Metropole OrganisationCFCCElite Group EnterprisesZhang Yimou StudioBeijing New Picture FilmDistributorMiramax Films (US)Beijing New Pict...

The Mark Hotel

This article contains content that is written like an advertisement. Please help improve it by removing promotional content and inappropriate external links, and by adding encyclopedic content written from a neutral point of view. (August 2023) (Learn how and when to remove this template message) Luxury hotel in Manhattan, New York For other buildings of the same name, see The Mark. The Mark HotelView from outside The Mark HotelGeneral informationStatusCompletedTypeHotelArchitectural styleRen...

Slan

1940 novel by A. E. van Vogt For the manga character, see List of Berserk characters § Slan. For the Irish phrase, see Slán Abhaile. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Slan – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this template message) S...

Associazione Calcio Riunite Messina 1951-1952

Voce principale: Associazione Calcio Riunite Messina. Associazione Calcio Riunite MessinaStagione 1951-1952Sport calcio Squadra Messina Allenatore Carlo Rigotti Presidente Giuseppe Melazzo Serie B3º posto. Maggiori presenzeCampionato: Vellutini (38) Miglior marcatoreCampionato: Colomban, Bertolin (7) StadioStadio Giovanni Celeste 1950-1951 1952-1953 Si invita a seguire il modello di voce Questa pagina raccoglie i dati riguardanti l'Associazione Calcio Riunite Messina nelle competizioni...

Unione Sportiva Lecce 1950-1951

Questa voce sull'argomento stagioni delle società calcistiche italiane è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Voce principale: Unione Sportiva Lecce. Unione Sportiva LecceStagione 1950-1951Sport calcio Squadra Lecce Allenatore Giovanni Brezzi Presidente M. Chiatante V. Feola Commissario Straordinario Serie C - Gir. D3º posto Maggiori presenzeCampionato: Bislenghi (35) Miglior marcatoreC...

Falco biarmicus

Disambiguazione – Lanari rimanda qui. Se stai cercando il calciatore argentino, vedi Alejandro Lanari. Come leggere il tassoboxLanario Lanario (Falco biarmicus) Stato di conservazione Rischio minimo Classificazione scientifica Dominio Eukaryota Regno Animalia Sottoregno Eumetazoa Superphylum Deuterostomia Phylum Chordata Subphylum Vertebrata Superclasse Tetrapoda Classe Aves Sottoclasse Neornithes Ordine Falconiformes Famiglia Falconidae Sottofamiglia Falconinae Genere Falco Specie...

Несторианство

ХристианствоБиблия Ветхий Завет Новый Завет Евангелие Десять заповедей Нагорная проповедь Апокрифы Бог, Троица Бог Отец Иисус Христос Святой Дух История христианства Апостолы Хронология христианства Раннее христианство Гностическое христианство Вселенские соборы Н...

Élections fédérales suisses de 1911

1908 1914 Élections fédérales suisses de 1911 189 sièges du Conseil national (Majorité absolue : 95 sièges) 44 sièges du Conseil des États(Majorité absolue : 23 sièges) 29 octobre 1911 Type d’élection Élections législatives Corps électoral et résultats Inscrits 830 120 Votants 437 710 52,7 % Parti radical-démocratique Voix 198 300 49,5 %  1,4 Députés élus 115 10 Sénateurs �...

Sue Miles

Anglo-American activist Sue Miles (born Susan Crane, 20 March 1944 – 8 October 2010) was an Anglo-American counter-culture activist and restaurateur.[1][2][3] With her husband Barry and the support of celebrities such as Paul McCartney, she started the Indica Gallery and the underground newspaper International Times (IT).[1] She started her cooking career by running the cafe at the Arts Lab and then worked at other prominent restaurants in central London such...

وزارة الصناعة والإنتاج الصيدلاني (الجزائر)

لمعانٍ أخرى، طالع وزارة الصناعة (توضيح). وزارة الصناعة الصيدلانية تفاصيل الوكالة الحكومية البلد الجزائر تأسست 1962 المركز عمارة الكوليزي، 2 شارع أحمد باي، الجزائر العاصمة، الجزائر الإدارة الوزراء المسؤولون لطفي بن باحمد، وزير الصناعة والإنتاج الصيدلاني موقع ا...

بمرنغ (أداة)

لمعانٍ أخرى، طالع عرجون (توضيح).بَمرنغالنوع سلاح بعيد المدى — عصا الرمي تعديل - تعديل مصدري - تعديل ويكي بياناتبمرنغ مرتد خشبي. البَمرَنْغ[1][2][3] أو البُمِرَنج[4] أو البوميران[5] أو العُرجُون[6][7][8] أو العُرجُد[6][7] هو أداة ملوية أ�...

Beech Hill, Berkshire

Human settlement in EnglandBeech HillSt Mary the Virgin ChurchBeech HillLocation within BerkshireArea4.70 km2 (1.81 sq mi)Population294 (2011 census)[1]• Density63/km2 (160/sq mi)OS grid referenceSU696644Civil parishBeech HillUnitary authorityWest BerkshireCeremonial countyBerkshireRegionSouth EastCountryEnglandSovereign stateUnited KingdomPost townReadingPostcode districtRG7Dialling code0118PoliceThames ValleyFireRoy...

Member of parliament

Representative of the voters to a parliament Labour Party members of the House of Representatives of the Netherlands ahead of the Prinsjesdag celebrations on 20 September 2022 Legislature Chambers Unicameralism Bicameralism Tricameralism Multicameralism Upper house (Senate) Lower house Parliament Parliamentary system Parliamentary group Speaker Parliamentary leader Member of parliament Whip Clerk International parliament Parliamentary procedure Committee Quorum Motion (no-confidence) Types Pa...

Türkeistämmige in Deutschland

Türkeistämmige in Deutschland sind mehrheitlich Türken, aber auch Kurden und andere nationale Minderheiten der Türkei, die selbst Staatsbürger der Türkei sind oder waren oder auf deren Vorfahren dies zutraf, und die oder deren Vorfahren ab 1960 aus der Türkei im Gefolge der Gastarbeitermigration in die Bundesrepublik Deutschland aus den verschiedensten Gründen eingewandert sind. In Deutschland lebten 2018 etwa drei Millionen Personen mit Migrationshintergrund, die ihre familiären ode...

Chronologie des faits économiques et sociaux dans les années 1760

Années : 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 Décennies : 1740 1750 Années 1760 1770 1780 Siècles : XVIIe siècle XVIIIe siècle XIXe siècle Millénaires : Ier millénaire IIe millénaire IIIe millénaire Chronologie de l'économie Années 1750 - Années 1760 - Années 1770 Événements 1761-1780 : la production annuelle moyenne d’or du Brésil est de 10 350 kg, à son apogée[1]. Les gisements miniers commencent...

2005年香港特別行政區行政長官選舉

此條目的引用需要清理，使其符合格式。 (2018年6月19日)参考文献应符合正确的引用、脚注及外部链接格式。此條目需要补充更多来源。 (2018年6月19日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：2005年香港特別行政區行政長官選舉 — 网页、新闻、书籍、学术、图像），以检查�...

John Forsyth (politico)

John Forsyth 13º Segretario di Stato degli Stati Uniti d'AmericaDurata mandato1º luglio 1834 –4 marzo 1841 PresidenteAndrew JacksonMartin Van Buren PredecessoreLouis McLane SuccessoreDaniel Webster 33º Governatore della GeorgiaDurata mandato7 novembre 1827 –4 novembre 1829 PredecessoreGeorge M. Troup SuccessoreGeorge R. Gilmer Senatore degli Stati Uniti per la GeorgiaDurata mandato23 novembre 1818 –17 febbraio 1819 ContitolareCharles Tait Pre...