Consequentia mirabilis

Die Consequentia mirabilis (bewundernswerte Folgerung), auch als Clavius-Gesetz bekannt, wird in der klassischen Logik verwendet, um die Gültigkeit einer Behauptung aus der Ungültigkeit ihrer Negation zu beweisen. Die Argumentation ist verwandt mit der Reductio ad absurdum; allerdings muss man bei der Consequentia mirabilis nur zeigen, dass die Behauptung aus ihrer Negation folgt. Diese Methode wurde von Christophorus Clavius im Rahmen der Herausgabe der Elemente des Euklid verwendet. Später machte Giovanni Girolamo Saccheri bei seinen Untersuchungen über den Syllogismus auf originelle Weise von diesem Verfahren Gebrauch.[1]

Die Beweismethode

Man kann die Argumentation informal wie folgt in Worte fassen:

  • „Wenn eine Behauptung aus ihrem Gegenteil folgt, dann ist sie richtig.“

Heute wird die „Consequentia mirabilis“ meist als Formel der klassischen Aussagenlogik formuliert. In dieser Formulierung besagt sie, dass die Formel

eine Tautologie ist, was man aus der folgenden Wahrheitstabelle ersehen kann:

p ~p ~p → p (~p → p)→p
w f w w
f w f w

Die Richtigkeit der Formel lässt sich auch rein syntaktisch z. B. mit Hilfe des Principia-Mathematica-Kalküls für die Aussagenlogik herleiten:[2]

  • Nach Definition ist
  • Also gilt
  • Das erste der genannten Axiome lautet

Die Behauptung ist damit bewiesen.

Beispiel

  • „Es gibt nichts Wahres“ (), aber dies wird ja als wahr behauptet (p), also „gibt es etwas Wahres“ (also ist p wahr).
  • Entsprechend: Aus der Aussage „Ich behaupte nichts“ folgt, dass ich doch etwas behaupte (nämlich die Behauptung, dass ich nichts behaupte).

Quellen

Einzelnachweise

  1. ↑ Cyril F. A. Hoormann, Jr.: A Further Examination of Saccheri's Use of the "Consequentia mirabilis". Notre Dame Journal of Formal Logic Volume XVII, Number 2, April 1976, p. 239–274
  2. ↑ s. das Axiomensystem in Aussagenlogik#Axiome

Read other articles:

Hiroshi H. Miyamura

Hiroshi H. MiyamuraMiyamura sebagai Sersan StafJulukanHersheyLahir(1925-10-06)6 Oktober 1925Gallup, New Mexico, A.S.Meninggal29 November 2022(2022-11-29) (umur 97)Phoenix, Arizona, A.S.PengabdianAmerika SerikatDinas/cabangAngkatan Bersenjata Amerika SerikatLama dinas1945–1953PangkatSersan StafKesatuanBatalion Infanteri 100, Resimen Infanteri 442Batalion 2, Resimen Infanteri 7Perang/pertempuranPerang Dunia IIPerang KoreaPenghargaanMedal of HonorMeritorious Service MedalPurple Heart...

 

Volcanologue

VolcanologuePrésentationAutres appellations VulcanologueCodesIDEO (France) 100629ROME (France) F1105modifier - modifier le code - modifier Wikidata Un volcanologue (ou vulcanologue, terme majoritairement utilisé jusqu'au milieu du XXe siècle) est un spécialiste de l'étude des volcans. Il peut être géologue, géophysicien, géochimiste, hydrogéologue, sismologue, magnéticien, etc. La volcanologie est devenue une science pluridisciplinaire à partir des années 1950 et 1960, notam...

 

Middle school

Schooling in-between primary and secondary schools Junior High School redirects here. For the senior half of secondary school, see Secondary school. This article possibly contains original research. Please improve it by verifying the claims made and adding inline citations. Statements consisting only of original research should be removed. (October 2022) (Learn how and when to remove this template message) A middle school classroom in Myanmar in 2007 A middle school, also known as intermediat...

Transesterifikasi

Transesterifikasi: alkohol + ester → alkohol yang berbeda + ester yang berbeda. Dalam kimia organik, transesterifikasi (/ˌtrænzˌɛstərɪfɪˈkeɪʃən/) adalah proses pertukaran gugus organik R″ pada suatu ester dengan gugus organik R′ dari alkohol. Reaksi ini terkadang dikatalisis oleh penambahan katalis asam atau basa.[1] Reaksi ini juga dapat dicapai dengan bantuan enzim (biokatalis) terutama lipase (E.C.3.1.1.3).[2][3] Asam kuat mengkatalisis reaksi denga...

 

Contrôle de la circulation aérienne

Pour les articles homonymes, voir ATC et CCA. La tour de contrôle de l'aéroport d'Amsterdam-Schiphol en 1960. Tour de contrôle de l'aéroport de Bordeaux - Mérignac. Contrôleur aérien à bord d'un porte-avions américain. Le service de contrôle de la circulation aérienne (ATC[1] — de l'anglais Air Traffic Control ), communément appelé contrôle aérien, est un service rendu par des contrôleurs aériens aux aéronefs afin d'aider à l'exécution sûre, rapide et efficace des vols...

 

Dan Crane

American politician and dentist (1936–2019) For the English footballer, see Dan Crane (footballer). Dan CraneOfficial portrait, c. 1979Member of the U.S. House of Representativesfrom IllinoisIn officeJanuary 3, 1979 – January 3, 1985Preceded byGeorge E. ShipleySucceeded byTerry L. BruceConstituency22nd district (1979–1983)19th district (1983–1985) Personal detailsBornDaniel Bever Crane(1936-01-10)January 10, 1936Chicago, Illinois, U.S.DiedMay 28, 2019(2019-0...

Alex Sparrow

Alex Sparrow Alex Sparrow en 2011 Données clés Nom de naissance Alekseï Vladimirovitch Vorobiev (en russe: Алексей Владимирович Воробьёв) Naissance 19 janvier 1988 (36 ans)Toula, RSFSR, URSS Nationalité Russe Profession Acteur, chanteur Séries notables UnREALSpace Force Site internet www.alekseyvorobyov.ru modifier Alekseï Vladimirovitch Vorobiev, dit Alex Sparrow, né le 19 janvier 1988 à Toula en Russie, est un acteur et chanteur russe. Biographie Il ...

 

Чайки

У этого термина существуют и другие значения, см. Чайки (значения). Чайки Доминиканская чайкаЗападная чайкаКалифорнийская чайкаМорская чайка Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:Вторич...

 

List of presidents of the Republic of the Congo

Not to be confused with President of the Democratic Republic of the Congo. President of theRepublic of the CongoPrésident de la République du Congo (French)Coat of arms of the Republic of the CongoIncumbentDenis Sassou Nguessosince 25 October 1997ResidencePresidential Palace, Brazzaville[1]Term length5 years, renewableInaugural holderFulbert YoulouFormation15 August 1960Salary108,400 USD annually[2]WebsiteOfficial Website Politics of the Republic of the Congo Cons...

Comparative navy enlisted ranks of Arabophone countries

Rank comparison chart of Non-commissioned officer and enlisted ranks for navies of Arabophone states. Other ranks Rank group Senior NCOs Junior NCOs Enlisted  Algerian National Navy[1]vte No insignia مساعد أولMosa'id awwal مساعدMosa'id رقيب أولRaqib awwal رقيبRaqib عريف أولEarif 'awal عريفEarif جنديJundiun Adjudant chef Adjudant Sergent chef Sergent Caporal chef Caporal Djoundi  Royal Bahrain Naval Forcevte No insignia رقیب أولRa...

 

Almanach de Gotha

Directory of European royalty and higher nobility Almanach de GothaThe Almanach de Gotha 1851CountrySaxe-Coburg and Gotha (original), United Kingdom (current)LanguageFrench, German (original), English (current)GenreNobility, heraldry, genealogyPublisherJ. C. DieterichC. W. EttingerC. G. EttingerJustus PerthesAlmanach de GothaPublished1763–19441998–Published in English1998–Media typePrintWebsiteOfficial website The Almanach de Gotha (German: Gothaischer Hofkalender) is a directory of Eur...

 

Christopher Robin

Halaman ini berisi artikel tentang film tahun 2018. Untuk film tahun 2017 yang dibintangi Domhnall Gleeson, lihat Goodbye Christopher Robin. Christopher RobinLogo filmSutradaraMarc ForsterProduser Brigham Taylor Kristin Burr Ditulis oleh Alex Ross Perry Tom McCarthy Allison Schroeder Cerita Greg Brooker Mark Steven Johnson BerdasarkanCharacters from: Disney's Winnie the Pooh Winnie-the-Pooholeh A. A. MilneE. H. Shepard Pemeran Ewan McGregor Hayley Atwell Jim Cummings Brad Garrett Penata ...

William Knollys, 1st Earl of Banbury

English nobleman The Earl of BanburyBorn1544Died25 May 1632Spouses Dorothy Bray (c.1524 – 31 October 1605) Elizabeth Howard (1605–1632) ChildrenEdward NicholasParent(s)Sir Francis Knollys Catherine Carey Arms of Sir William Knollys, 1st Earl of Banbury, KG William Knollys, 1st Earl of Banbury, KG, PC (1544[1] – 25 May 1632) was an English nobleman at the court of Queen Elizabeth I and King James I.[2] Biography He was the son of Sir Francis Knollys, of Greys Court in Oxf...

 

一中同表

一中同表，是台灣处理海峡两岸关系问题的一种主張，認為中华人民共和国與中華民國皆是“整個中國”的一部份，二者因為兩岸現狀，在各自领域有完整的管辖权，互不隶属，同时主張，二者合作便可以搁置对“整个中國”的主权的争议，共同承認雙方皆是中國的一部份，在此基礎上走向終極統一。最早是在2004年由台灣大學政治学教授張亞中所提出，希望兩岸由一中各表�...

 

لاودرديل باي ذا سي

لاودرديل باي ذا سي     الإحداثيات 26°11′22″N 80°05′52″W / 26.189444444444°N 80.097777777778°W / 26.189444444444; -80.097777777778   [1] تاريخ التأسيس 1920  تقسيم إداري  البلد الولايات المتحدة[2]  التقسيم الأعلى مقاطعة بروارد  خصائص جغرافية  المساحة 4.054337 كيلومتر مربع4.06404 كي...

Brian Schwalb

Attorney General of the District of Columbia (2023-) Brian SchwalbAttorney General for the District of ColumbiaIncumbentAssumed office January 2, 2023MayorMuriel BowserPreceded byKarl Racine Personal detailsBorn1967 (age 56–57)Washington, D.C., U.S.Political partyDemocraticSpouseMickieChildren3EducationDuke University (BA)Harvard University (JD) Brian Lawrence Schwalb (born 1967), is an American attorney and politician serving as the attorney general of the District of Columbia...

 

Systematization (Romania)

Public housing in Romania Part of a series on theSocialist Republic ofRomania Organizations Communist Party Securitate Army Union of Communist Youth Great National Assembly State Council Patriotic Guards National Council of Women Pioneers Ștefan Gheorghiu Academy Romanian Orthodox Church Scînteia People's Democratic Front Front of Socialist Unity and Democracy Comturist Leaders Constantin Ion Parhon Petru Groza Ana Pauker Ion Gheorghe Maurer Gheorghe Gheorghiu-Dej Gheorghe Apostol Chivu Sto...

 

West Point Light (New York)

Lighthouse in New York, United States LighthouseWest Point Light Light #39 on Gee's PointLocationNew York, USCoordinates41°23′45″N 73°57′3″W / 41.39583°N 73.95083°W / 41.39583; -73.95083TowerConstructed1853ConstructionWoodenShapeSquareMarkingsWhiteLightDeactivated1946Focal height40 ft (12 m)LensSixth order Fresnel lensCharacteristicFixed white West Point Light was a lighthouse at the United States Military Academy in West Point, New York. It w...

Eyl

Town in Puntland, SomaliaEyl EilTownAerial view of Eyl townNickname: IlligEylLocation in Somalia.Coordinates: 7°58′00″N 49°51′00″E / 7.96667°N 49.85000°E / 7.96667; 49.85000Country SomaliaState PuntlandRegionNugalDistrictEylGovernment • MayorAbdirashid Said BarrePopulation • Total21,700Time zoneUTC+3 (EAT) Eyl (Somali: Ceel, Arabic: عيل) also called Illig, is a historic port town in the northeastern Nugal region of ...

 

2018 Lewisham London Borough Council election

Local election in England 2018 Lewisham Council election ← 2014 3 May 2018 2022 → All 54 seats to Lewisham London Borough Council28 seats needed for a majority   First party   Party Labour Last election 53 seats, 50.7% Seats won 54 Seat change 1 Popular vote 120,263 Percentage 60.2% Swing 9.5% Map of the results. Council control before election Labour Council control after election Labour Elections for Lewisham London Borough Council were he...