추론 규칙

추론 규칙(推論規則, 영어: rule of inference) 또는 추론 형식이란, 논리학에서 논리식으로부터 다른 논리식을 이끄는 규칙을 말한다.

공리, 대입 규칙, 추론 규칙에 의해서 이론을 형식화한 것이 공리계이다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 메타 언어로 기술된다. 추론 규칙은 동어 반복, 즉 항진식으로부터 이끄는 것이 타당하다.

연역적 추론규칙

추론 규칙(推論規則)을 논리식에서 다른 논리식을 이끌어 내는 규칙으로 정의한다면, 이때 특히 연역적 추론 규칙(演繹的推論規則)은 하나 또는 여러 개의 주장들로부터 논리적으로 동등하거나 혹은 보다 특수한 주장을 결론짓는 추론 형식의 성립 여부의 타당성을 확인할 수 있다는 것을 내포한다.

대표적인 추론 규칙

  • 전건 긍정의 형식:
  • 후건 부정의 형식:
  • 부정 도입:
  • 보편 사례화의 규칙:
  • 존재 일반화의 규칙:
  • 이중부정의 제거:
  • 이중부정의 도입:
  • 선언명제 삼단논법:
  • 가언명제 삼단논법:
  • 도출:

타당한 추론 형식

형식 구조
F1 전가언 삼단논법 (세 명제 전부가 가언명제)
F2 혼합가언 전건긍정 삼단논법 (대전제 가언 · 소전제 정언명제)
F3 혼합가언 후건부정 삼단논법 (대전제 가언 · 소전제 정언)
F4 혼합선언 부정 삼단논법 (대전제 선언 명제 · 소전제 정언)
F5 드 모르간의 법칙
F6 연언 법칙
F7 연언 명제의 분리
F8 이중부정

명제의 형식, 명제의 양과 질, 명사의 위치 및 갯수, 이들의 출현 순서는 추론 형식이 타당성을 확보하기 위해 필요한 명제들의 주요한 성분이다.

같이 보기

각주

Read other articles:

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016) كأس الاتحاد الإفريقي 1998معلومات عامةالرياضة كرة القدم الاتحاد الاتحاد الإفريقي لكرة القدم النسخة 7 الفترة 1...

 

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (يوليو 2019) منتخب كمبوديا لاتحاد الرغبي بلد الرياضة كمبوديا  أكبر فوز أكبر خسارة تعديل م...

 

Halaman ini berisi artikel tentang cabang matematika. Untuk buku oleh Robin Hartshorne, lihat Geometri Aljabar (buku). Untuk jurnal, lihat Geometri Aljabar (jurnal). Untuk sebuah struktur aljabar, lihat Aljabar geometris. Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: Geometri aljabar ...

Bambang Dwi Hasto Kepala Rumah Sakit Pusat Angkatan Darat Gatot SoebrotoMasa jabatan18 Juni 2020 – 25 September 2020 PendahuluTerawan Agus PutrantoPenggantiAlbertus Budi SulistyaKepala Pusat Kesehatan Tentara Nasional IndonesiaMasa jabatan4 Juli 2019 – 18 Juni 2020 PendahuluBen Yura RimbaPenggantiTugas RatmonoKepala Pusat Kesehatan Angkatan DaratMasa jabatan25 April 2017 – 4 Juli 2019 PendahuluBambang PratomoPenggantiTugas Ratmono Informasi pribadiLahir28 Sept...

 

Ivan KozhedubNama asliИван Никитович КожедубJulukanБатя (Ayah), Борода (Janggut)Lahir8 Juni 1920Obrazhiyevka, Kegubernuran Chernigov, RSS Ukraina[1]Meninggal8 Agustus 1991(1991-08-08) (umur 71)Moskwa, SFSR Rusia, Uni SovietPengabdian Uni SovietDinas/cabang Angkatan Udara Uni SovietLama dinas1940–1985PangkatMarsekal Madya/PenerbanganKesatuanKomandan Tempur Divisi 228 - 264Perang/pertempuranPerang Dunia II Operasi Barbarossa Pertempuran Kur...

 

K. Ramaswamy Hakim Mahkamah Agung IndiaMasa jabatan06-10-1989–12-07-1997 Informasi pribadiKebangsaanIndiaProfesiHakimSunting kotak info • L • B K. Ramaswamy adalah hakim Mahkamah Agung India. Ia mulai menjabat sebagai hakim di mahkamah tersebut pada 06-10-1989. Masa baktinya sebagai hakim berakhir pada 12-07-1997.[1] Referensi ^ Daftar Hakim di Mahkamah Agung India. Mahkamah Agung India. Diakses tanggal 10 Juni 2021.  Artikel bertopik biografi India ini adalah seb...

Cave and archaeological site in Palestine Shuqba caveLocation in the West BankRegionJudaean MountainsCoordinates31°58′55″N 35°02′37″E / 31.98194°N 35.04361°E / 31.98194; 35.04361Grid position15420/15435 PALHistoryCulturesNatufian cultureSite notesArchaeologistsDorothy Garrod Shuqba cave is an archaeological site near the town of Shuqba in the West Bank, in the Ramallah and al-Bireh Governorate, Palestine. In 2013, the cave, along with nearby Wadi Natuf...

 

Gerardus HeymansHeymans en 1906 (cl. d'A.-S. Weinberg).BiographieNaissance 17 avril 1857FerwertDécès 17 février 1930 ou 18 février 1930GroningueNationalité néerlandaiseFormation Université de LeydeActivités Philosophe, psychologue, professeur d'universitéAutres informationsA travaillé pour Université de Groningue (1890-1927)Membre de Académie royale néerlandaise des arts et des sciencesSignaturemodifier - modifier le code - modifier Wikidata Gerardus Heymans (17 avril 1857, Ferwe...

 

American silent film and stage actress (1857-1937) For the female soloist pop star, see Leslie Carter. 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: Mrs. Leslie Carter – news · newspapers · books · scholar · JSTOR (June 2020) (Learn how and when to remove this template message) Mrs. Leslie CarterMrs. Lesli...

Dessin d'interprétation d'Hartsoeker (1694) représentant un spermatozoïde humain qui contient dans sa tête un « homunculus », sorte de petit homme préformé. Une légende médiévale prétend que la mandragore naît du sperme des hommes pendus en gibet ou écrasés sur les roues. Le renom de ce végétal, appelé aussi « petit homme planté », tient à la convergence de deux facteurs : des racines anthropomorphiques issues du sperme des hommes pendus, les des...

 

Surah ke-53an-Najm BintangTeks ArabTerjemahan KemenagKlasifikasiMakkiyahJuzJuz 27Jumlah ruku3 rukuJumlah ayat62 ayatJumlah ayat sajdahAyat 62 Surah An-Najm (bahasa Arab:النّجْم) adalah surah ke-53 dalam al-Qur'an. Surah ini terdiri atas 62 ayat, termasuk golongan surah-surah Makkiyah dan diturunkan sesudah surah Al-Ikhlas. Nama An Najm yang berarti bintang, diambil dari perkataan An Najm yang terdapat pada ayat pertama surat ini. Terjemahan Dengan nama Allah Yang Maha Pengasih, Maha Pe...

 

Figure of Greek mythology For other uses, see Arachne (disambiguation). Fictional character ArachnèMinerva and Arachne, by René-Antoine Houasse, 1706.In-universe informationSpeciesHuman, then spiderGenderFemaleChildrenClosterRelativesIdmon (father)Phalanx (brother)BirthplaceLydia or AtticaSourceMetamorphoses, 8 AD Arachne (/əˈrækniː/; from Ancient Greek: Ἀράχνη, romanized: arákhnē, lit. 'spider', cognate with Latin araneus)[1] is the protagonist of a ...

В Википедии есть статьи о других людях с такой фамилией, см. Иванов; Иванов, Владимир; Иванов, Владимир Дмитриевич. Владимир Дмитриевич Иванов Дата рождения 22 июля 1900(1900-07-22) Место рождения Лебедянь, Тамбовская губерния, Российская империя Дата смерти 15 декабря 1968(1968-12-15) ...

 

United States territory (1787–1803) This article is about the former U.S. territory. For the former Canadian territory, see North-Western Territory. For similar terms, see Northwest (disambiguation). For the current-day Canadian territory, see Northwest Territories. Territory Northwest of the River OhioOrganized incorporated territory of United States1787–1803 Flag Seal Territory Northwest of the River Ohio, 1787CapitalMarietta (1788–1799)Chillicothe (1799–1803)[1]Area �...

 

This article is about the National Women's Soccer League team and founding WPS member. For other uses, see Boston Breakers (disambiguation). Soccer team Soccer clubBoston BreakersNickname(s)BreakersFoundedSeptember 4, 2007; 16 years ago (2007-09-04)DissolvedJanuary 28, 2018; 6 years ago (2018-01-28)StadiumJordan FieldCapacity4,100 (seated)OwnerBoston Women’s Soccer, LLCHead CoachMatt BeardLeagueNational Women's Soccer LeagueWebsiteClub website Home colors...

「ラピスラズリ」のその他の用法については「ラピスラズリ (曖昧さ回避)」をご覧ください。 ラピスラズリ ラピス・ラズリの原石分類 変成岩化学式 青金石(ラズライト)を主成分とするミネラルの固溶体。結晶系 ラピスは岩石ではない。主成分であるラズライトは12面体の結晶としてしばしば発生する。晶癖 コンパクトで重い断口 不規則な貝殻状モース硬度 5–5.5�...

 

Order of the QuetzalOrden del Quetzal The star and the cordon of the order (Grand Cross Rank)Awarded by  GuatemalaTypeOrderAwarded forartistic, civic, humanitarian, or scientific meritStatusCurrently constitutedSovereignPresident of GuatemalaGradesChain Grand Cross Grand Officer Commander Officer KnightRibbon bar for Grand CrossRibbon bar for Grand OfficerRibbon bar for CommanderRibbon bar for OfficerRibbon bar for Knight Collar of the order The Order of the Quetzal (Spanish: Orden del ...

 

Hospital in Illinois, United StatesProvident Hospital of Cook CountyGeographyLocation550 E. 51st StreetChicago, Illinois, United StatesOrganizationFundingPublic hospitalTypeCommunity, TeachingAffiliated universityLoyola University Chicago Stritch School of Medicine[1] and Midwestern UniversityNetworkCook County Hospital SystemServicesPublic transit access CTA  Green  51stHistoryOpened1891 as Provident Hospital and Training School Reopened in 1993 as Provident Hospital of Coo...

Lisa Nandy (2024) Lisa Eva Nandy MP (* 9. August 1979 in Manchester) ist eine britische Politikerin der Labour Party und Abgeordnete im House of Commons. Sie vertritt dort seit den Britischen Unterhauswahlen 2010 den Wahlkreis Wigan.[1] Biographie Nandy wurde in Manchester geboren und wuchs sowohl dort als auch in Bury (Greater Manchester) auf.[2] Väterlicherseits ist sie indischer Abstammung. Sie studierte Politikwissenschaften an der Newcastle University und an der Birkbeck...

 

この項目に含まれる文字「隆」は、オペレーティングシステムやブラウザなどの環境により表示が異なります。 「隆」の文字は公式の表記「」と異なる可能性があります。 服部 隆之生誕 (1965-11-21) 1965年11月21日(58歳)出身地 日本・東京都学歴 パリ国立高等音楽院ジャンル 劇伴活動期間 1988年 -配偶者 服部エリ著名な家族 服部良一(祖父)服部克久(父)服部百音(�...