Condició necessària i suficient

A l'entorn de la lògica, ser Condició necessària i suficient descriu la relació que mantenen dues proposicions o estat de les coses, si una és condicionant de l'altra. Per exemple, algú pot dir:

  • Prendre aigua regularment és necessari perquè un humà es mantingui amb vida.
  • El fet de saltar és suficient per desenganxar-se de la terra.
  • Tenir una credencial d'identificació és una condició necessària i suficient per ser admès.

Nota: aquest article discuteix només la relació lògica implícita en les paraules necessari i suficient . El significat causal d'aquestes paraules és ignorat. Això és potencialment enganyós, ja que aquestes paraules sovint impliquen causalitat en el seu ús normal.

Condicions necessàries

En dir que A és necessària per part de B, estem dient que B no pot ser veritable si A no és veritable, o que quan vulgui , on vulgui, o com sigui, B és veritable, si A ho és.

En poques paraules: Si l'antecedent és fals, el conseqüent ha de ser fals.

Nosaltres podem dir que tenir com a mínim 18 anys és necessari per tenir una llicència de conduir.

En el sentit en què fem servir aquí la paraula «necessari», podem dir també «el fum és necessari per al foc». Això és confús, des del moment en què el fum ve després del foc, però tot el que nosaltres estem dient és que allà on hi hagi B, aquí hi ha A, és a dir, el foc (A) no pot passar sense que hi hagi fum (B). Estem tractant de no dir res sobre la direcció del temps. En el llenguatge ordinari diríem «El fum és una conseqüència necessària del foc».[1]

En cada cas, l'important és notar que una cosa s'assumeix (el foc, una llicència), i una segona cosa és derivada com «necessària conseqüentment». Tenir 18 anys és una condició necessària en el segon cas, el fum és una condició necessària en el primer cas (no obstant això, novament, originàriament no haurem de dir que això és una «condició").

És important saber que és molt possible que una condició necessària passi per si sola, per exemple, un pot tenir 18 anys i no tenir la llicència de conduir, i hi ha formes de generar fum sense foc.

Si A és una condició necessària per a B, llavors la relació lògica entre A i B s'expressa: «si B aleshores A" o "B només si A" o "B → A».

Condicions suficients

En dir que A és suficient perquè passi B, diem precisament quan sigui que passi A, passarà B. És a dir, que el fet que hi hagi foc és suficient perquè hi hagi fum. (Però sense poder dir res del cas contrari: el fet que no passi A, per si sol, no dona suficient base per a dir que B no passa).

En poques paraules si l'antecedent és vertader, el conseqüent ha de ser vertader ("Si A llavors B", "A → B", "A implica B")

Conseqüentment, les condicions necessàries i les suficients estan relacionades. A és una condició necessària per a B només en el cas que B sigui una condició suficient per a A.

En el sentit en el qual utilitzem la paraula «suficient», podríem també dir «tenir una llicència és suficient per tenir divuit anys». Això és confús, des del moment en què tenir una llicència no «causa» que tinguis divuit anys, no obstant, la percepció comú és que si tu tens una llicència, tu has de tenir divuit anys (considerem la llicència com una prova d'edat pel fet que la considerem «suficient» per demostrar l'edat en alguna cosa com en el sentit exposat). Cal destacar la importància que no podem dir res en el cas contrari, és a dir, que «tinguis divuit anys» no implica que tinguis llicència. Intenta ignorar la relació causal i la direcció del temps: Posem atenció només en la relació lògica.

En tot cas, cal notar que una cosa s'assumeix (foc, una llicència), i «la mateixa cosa» la identifiquem com la condició suficient per a una altra cosa (fum, edat) - suficient en el sentit de ser «allò just i adequat perquè l'altra hi sigui».

Hem de considerar que, una condició suficient, per definició, és allò que no pot passar sense allò per al que és condició, així que, no pots tenir una llicència sense tenir divuit anys.

Si A és una condició suficient per a B, llavors la relació lògica s'expressa com «Si A llavors B" o "A implica B" o "A → B».

Condició necessària i suficient

Dir que A és necessària i suficient per B és dir dues coses simultàniament:

  1. A és necessària per a B
  2. A és suficient per B.

Per exemple, Si l'Alícia sempre menja bistec el dilluns, però mai en un altre dia, podem dir que «El fet que sigui dilluns és una condició necessària i suficient perquè Alícia mengi bistec». El recíproc també és veritable: «El fet que l'Alícia estigui menjant bistec és una condició necessària i suficient perquè sigui dilluns». D'aquesta manera, en el moment en què A és necessària i suficient per a B, B és necessària i suficient per a A.

Una vegada més, això és confús, atès que el fet que l'Alícia mengi bistec no fa que sigui dilluns.

Atès que la frase «ser condició necessària i suficient» pot expressar una relació entre oracions o entre l'estat de les coses, objectes, o esdeveniments, no ha de ser emprada massa fàcilment com "equivalència lògica". el fet que l'Alícia mengi bistec no té una "equivalència lògica" amb el fet que sigui dilluns.

No obstant això, dir «A és condició necessària i suficient per a B» expressa la mateixa cosa que «A si i només si B».

Notes

  1. Per al propòsit d'aquest exemple, ignorarem la possibilitat que el foc no generi fum.

Enllaços externs

Read other articles:

Grosotto commune di Italia Tempat categoria:Articles mancats de coordenades Negara berdaulatItaliaRegion di ItaliaLombardyProvinsi di ItaliaProvinsi Sondrio NegaraItalia Ibu kotaGrosotto PendudukTotal1.619  (2023 )GeografiLuas wilayah53,12 km² [convert: unit tak dikenal]Ketinggian610 m Berbatasan denganMazzo di Valtellina Vervio Grosio Monno (en) Brusio Poschiavo Informasi tambahanKode pos23034 Zona waktuUTC+1 UTC+2 Kode telepon0342 ID ISTAT014034 Kode kadaster ItaliaE201 Lain-lain...

 

SiaSia tahun 2006LahirSia Kate Isobelle Furler18 Desember 1975 (umur 48)Adelaide, Australia Selatan, AustraliaPekerjaanPenyanyipenulis lagusutradaraSuami/istri Erik Anders Lang ​ ​(m. 2014; c. 2016)​ Dan Bernad ​(m. 2023)​ Anak2Karier musikGenrePopelektronika[1]LabelDance PoolGo! BeatInertiaRCAMonkey PuzzleAtlanticSitus websiamusic.net Sia Kate Isobelle Furler (/ˈsiːə/ SEE-ə; lahir 18 Desember 1975)...

 

النفثالين أبسط الهيدروكربونات العطرية متعددة الحلقات الهيدرو كربونات الأروماتية متعددة الحلقات (PAHs) هي مركبات كيميائية تتكون من حلقات أروماتية مدموجة ولا تحتوي على ذرات متغايرة ولا يوجد بها مستبدلات.[1][2][3] وعديد من هذه المركبات يعرف عنها أنها مسرطنة. وتنتج من...

العلاقات الإندونيسية اللوكسمبورغية إندونيسيا لوكسمبورغ   إندونيسيا   لوكسمبورغ تعديل مصدري - تعديل   العلاقات الإندونيسية اللوكسمبورغية هي العلاقات الثنائية التي تجمع بين إندونيسيا ولوكسمبورغ.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عا�...

 

Artikel ini membahas mengenai bangunan, struktur, infrastruktur, atau kawasan terencana yang sedang dibangun atau akan segera selesai. Informasi di halaman ini bisa berubah setiap saat (tidak jarang perubahan yang besar) seiring dengan penyelesaiannya. Concorde TowerConcorde Tower dalam pembangunan tanggal 25 Desember 2007Informasi umumLokasiDubai, United Arab EmiratesPerkiraan rampung2008Pembukaan2008TinggiAtap190 m (623 kaki)Data teknisJumlah lantai45Luas lantai50,000 m persegi (538,195.5 k...

 

Antena 3Logo dell'emittenteLogo di Antena 3Stato Spagna Linguaspagnolo Tipogeneralista SloganLa tele abierta VersioniAntena 3 576i 16:9 (SDTV)(data di lancio: 25 gennaio 1990)Antena 3 HD 1080i 16:9 (HDTV)(data di lancio: 28 settembre 2010) GruppoAtresmedia Sitoantena3.com Modifica dati su Wikidata · Manuale Antena 3 (Antena Tres) è una delle principali emittenti televisive spagnole insieme a La 1 e Telecinco, ed ha estensioni, oltre che in campo televisivo, anche nel settore delle...

Scream VISutradara Matt Bettinelli-Olpin Tyler Gillett Produser William Sherak James Vanderbilt Paul Neinstein Ditulis oleh James Vanderbilt Guy Busick BerdasarkanKarakter-karakteroleh Kevin WilliamsonPemeran Courteney Cox Melissa Barrera Jenna Ortega Hayden Panettiere Jasmin Savoy Brown Mason Gooding Dermot Mulroney Jack Champion Liana Liberato Josh Segarra Devyn Nekoda Henry Czerny Tony Revolori Samara Weaving Skeet Ulrich Penata musik Brian Tyler Sven Faulconer SinematograferBrett J...

 

العلاقات الأوزبكستانية البنمية أوزبكستان بنما   أوزبكستان   بنما تعديل مصدري - تعديل   العلاقات الأوزبكستانية البنمية هي العلاقات الثنائية التي تجمع بين أوزبكستان وبنما.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه ا...

 

Lucio Manlio TorquatoConsole della Repubblica romanaAureo coniato da Lucio Manlio Torquato nell'82 a.C. per Silla recante sul dritto l'iscrizione L MANLI PROQ[1] Nome originaleLucius Manlius Torquatus GensManlia Consolato65 a.C. Lucio Manlio Torquato [2] (latino: Lucius Manlius Torquatus) (... – ...; fl. I secolo a.C.) è stato un politico romano. Indice 1 Biografia 2 Note 3 Voci correlate 4 Collegamenti esterni Biografia Fu console nel 65 a.C. con Lucio Aurelio Cotta, ...

Military university in Malaysia 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: National Defence University of Malaysia – news · newspapers · books · scholar · JSTOR (May 2017) (Learn how and when to remove this template message) National Defence University of MalaysiaUniversiti Pertahanan Nasional MalaysiaS...

 

Class of enzymes Cytoplasmic dynein on a microtubule Dyneins are a family of cytoskeletal motor proteins that move along microtubules in cells. They convert the chemical energy stored in ATP to mechanical work. Dynein transports various cellular cargos, provides forces and displacements important in mitosis, and drives the beat of eukaryotic cilia and flagella. All of these functions rely on dynein's ability to move towards the minus-end of the microtubules, known as retrograde transport; thu...

 

Overview of the military of ancient Egypt Ancient Egyptian War Wheels Ancient Egypt was an ancient civilization of eastern North Africa, concentrated along the northern reaches of the Nile River in Egypt. The civilization coalesced around 3150 BC[1] with the political unification of Upper and Lower Egypt under the first pharaoh, and it developed over the next three millennia.[2] Its history occurred in a series of stable kingdoms, separated by periods of relative instability k...

Largest city in Bolivia For the Spanish municipality, see Santa Cruz de la Sierra, Spain. Autonomous city and municipality in Santa Cruz Department, BoliviaSanta Cruz de la SierraAutonomous city and municipalityEquipetrol neighborhood, Cathedral Basilica of St. Lawrence, Casa del Pueblo, Municipal City Hall, Cristo Redentor, Aerial view of Santa Cruz de la Sierra and the Piray River FlagCoat of armsSanta Cruz de la SierraLocation within BoliviaShow map of BoliviaSanta Cruz de la SierraSanta C...

 

Cet article est une ébauche concernant la politique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Le concept est employé par Maajid Nawaz pour décrire une partie de la gauche qui ne s'oppose pas aux régressions de certains groupes culturels. La gauche régressive est une épithète utilisée pour décrire une partie de la gauche politique accusée de tenir une position contradictoire en tolérant ou en fa...

 

1915 film by Allan Dwan The Commanding OfficerAdvertisementDirected byAllan DwanBased onThe Commanding Officerby Theodore BurtProduced byDaniel FrohmanStarringAlice DoveyDonald CrispMarshall NeilanDouglas GerrardEthel PhillipsRussell BassettBob EmmonsProductioncompanyFamous Players Film CompanyDistributed byParamount PicturesRelease date March 25, 1915 (1915-03-25) Running time4 reelsCountryUnited StatesLanguageSilent (English intertitles) The Commanding Officer is a 1915 Ameri...

2020年夏季奥林匹克运动会波兰代表團波兰国旗IOC編碼POLNOC波蘭奧林匹克委員會網站olimpijski.pl(英文)(波兰文)2020年夏季奥林匹克运动会(東京)2021年7月23日至8月8日(受2019冠状病毒病疫情影响推迟,但仍保留原定名称)運動員206參賽項目24个大项旗手开幕式:帕维尔·科热尼奥夫斯基(游泳)和马娅·沃什乔夫斯卡(自行车)[1]闭幕式:卡罗利娜·纳亚(皮划艇)&#...

 

American moral philosopher (1908–1994) This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (June 2020) (Learn how and when to remove this message) William FrankenaWilliam Frankena in 1949Born(1908-06-21)June 21, 1908Manhattan, Montana, U.S.DiedOctober 22, 1994(1994-10-22) (aged 86)Ann Arbor, Michigan, U.S.Alma materCalvin CollegeUniversity of MichiganH...

 

County in Wyoming, United States This article is about the Wyoming county. For the Utah county, see Uintah County, Utah. County in WyomingUinta CountyCountyUinta County Courthouse FlagLocation within the U.S. state of WyomingWyoming's location within the U.S.Coordinates: 41°17′N 110°33′W / 41.29°N 110.55°W / 41.29; -110.55Country United StatesState WyomingFoundedDecember 1, 1869Named forUinta MountainsSeatEvanstonLargest cityEvanstonArea • ...

Purported and unproven colonial declaration of independence document This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) 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: Mecklenburg Declaration of Independence – news · newspap...

 

American baseball player (1903-1998) This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (August 2019) (Learn how and when to remove this message) Baseball player Jim TurnerPitcherBorn: (1903-08-06)August 6, 1903Antioch, Tennessee, U.S.Died: November 29, 1998(1998-11-29) (aged 95)Nashville, Tennessee, U.S.Batted: LeftThrew: RightMLB debutApril 30, 1937,&...