Morgano įstatymai



LMorgano akis tai yra išvados taisyklės, naudojamos siūlomoje logikoje, kurios nustato, kas yra neigiamos disjunkcijos ir pasiūlymų ar siūlymų kintamųjų sąsajos rezultatas. Šiuos įstatymus apibrėžė matematikas Augustus De Morgan.

Morgano įstatymai yra labai naudinga priemonė matematinio argumentavimo pagrįstumui įrodyti. Vėliau jie buvo apibendrinti matematiko George'o Boole rinkinių koncepcijoje.

Šis Boole pateiktas apibendrinimas yra visiškai lygiavertis pradiniams Morgano įstatymams, tačiau jis sukurtas specialiai rinkiniams, o ne pasiūlymams. Šis apibendrinimas taip pat žinomas kaip Morgano įstatymai.

Indeksas

  • 1 Siūlomos logikos apžvalga
    • 1.1
    • 1.2 Pasiūlymai
  • 2 Morgano įstatymai
    • 2.1 Demonstravimas
  • 3 Rinkiniai
    • 3.1 Sąjunga, sankirtos ir rinkinių papildymai
  • 4 Morgano įstatymai rinkiniams
  • 5 Nuorodos

Siūlomos logikos peržiūra

Prieš žvelgiant į tai, ką Morgano įstatymai yra konkrečiai ir kaip jie naudojami, patogu prisiminti kai kurias pagrindines sąvokų formulavimo sąvokas. (Daugiau informacijos rasite siūlomame logikos straipsnyje).

Matematinio (arba siūlymo) logikos srityje išvada yra išvada, kuri yra išleista iš patalpų ar hipotezių. Ši išvada kartu su minėtomis patalpomis lemia matematinį motyvavimą.

Šį argumentavimą turi būti galima įrodyti arba paneigti; tai reiškia, kad ne visos matematinės motyvacijos išvados ar išvados galioja.

Fallacy

Klaidinga išvada, atsiradusi iš tam tikrų prielaidų, kurios laikomos teisingomis, vadinamos klaidingumu. Neramumai yra būdingi argumentai, kurie atrodo teisingi, bet matematiškai jie nėra.

Propozicinė logika yra atsakinga už tai, kad tiksliai būtų kuriami ir teikiami metodai, kuriais galima be jokių abejonių patvirtinti arba paneigti matematinį argumentavimą; tai reiškia, kad iš patalpų galima daryti pagrįstą išvadą. Šie metodai vadinami išvadų taisyklėmis, kurių dalis yra Morgano įstatymai.

Pasiūlymai

Pagrindiniai siūlomos logikos elementai yra pasiūlymai. Pasiūlymai yra teiginiai, apie kuriuos galima pasakyti, ar jie galioja, ar ne, bet tuo pačiu metu jie negali būti teisingi ar klaidingi. Šiuo klausimu neturėtų būti neaiškumų.

Kaip ir skaičiai gali būti sujungiami papildant, atimant, dauginant ir padalijus, pasiūlymai gali būti valdomi žinomomis jungiamosiomis (arba jungtimis) loginėmis: neigimas (¬, „ne“), disjunkcija (V , "O"), jungtis (Ʌ, "ir"), sąlyginis (→, "jei ..., tada ...") ir dvigubas (↔, "taip, ir tik jei").

Norint dirbti apskritai, užuot svarstę konkrečius pasiūlymus, svarstome siūlomus kintamuosius, kurie atspindi bet kokius pasiūlymus, ir paprastai žymimi mažosiomis raidėmis p, q, r, s ir kt..

Siūloma formulė yra siūlomų kintamųjų derinys per kai kurias logines jungtis. Kitaip tariant, tai yra siūlomų kintamųjų sudėtis. Jie paprastai žymimi graikų raidėmis.

Sakoma, kad pasiūlymo formulė logiškai reiškia kitą, kai pastaroji yra teisinga kiekvieną kartą, kai pirmasis yra tiesa. Tai žymima:

Kai loginė implikacija tarp dviejų siūlymų formulių yra abipusiška - tai yra, kai ankstesnė reikšmė galioja ir priešinga kryptimi - formulės yra logiškai ekvivalentiškos, ir tai žymima

Loginis lygiavertiškumas yra tam tikra lygiateisiškumo formulių formulė ir leidžia, jei reikia, pakeisti vieną.

Morgano įstatymai

Morgano įstatymai susideda iš dviejų loginių lygiaverčių dviejų siūlomų formų, būtent:

Šie įstatymai leidžia atskirti disjunkcijos arba sąryšio neigimą, kaip neigiamus dalyvius.

Pirmąjį galima perskaityti taip: disjunkcijos neigimas yra lygus neigimų sujungimui. Antrasis skaito tokį: sąjungos neigimas yra neigimų disjunkcija.

Kitaip tariant, norint paneigti dviejų siūlomų kintamųjų disjunkciją, lygus abiejų kintamųjų neigimų derinys. Taip pat, norint paneigti dviejų siūlomų kintamųjų jungimą, lygus abiejų kintamųjų neigimų suskirstymas.

Kaip jau minėta, šio loginio lygiavertiškumo pakeitimas padeda parodyti svarbius rezultatus kartu su kitomis esamomis išvadų taisyklėmis. Su jais galite supaprastinti daugelį siūlymų formulių, kad jos būtų naudingesnės.

Toliau pateikiamas matematinio įrodymo pavyzdys, kuriame pateikiamos išvados, tarp šių Morgano įstatymų. Konkrečiai parodoma, kad formulė:

yra lygiavertis:

Pastaroji yra paprasčiau suprasti ir plėtoti.

Demonstravimas

Verta paminėti, kad Morgano įstatymų galiojimą galima įrodyti matematiškai. Vienas iš būdų yra lyginant tiesos lenteles.

Nustato

Tos pačios išvados taisyklės ir logika, vartojamos pasiūlymams, taip pat gali būti plėtojamos atsižvelgiant į rinkinius. Tai yra žinoma kaip Būlio algebra, po matematiko George Boole.

Siekiant atskirti atvejus, būtina pakeisti žymėjimą ir perkėlimą į rinkinius, visas sąvokas, kurias jau matė pasiūlymo logika.

Rinkinys yra objektų rinkinys. Rinkiniai žymimi didžiosiomis raidėmis A, B, C, X, ir rinkinio elementai žymimi mažosiomis raidėmis a, b, c, x ir tt Kai elementas a priklauso X rinkiniui, jis žymimas:

Kai jis nepriklauso X, žymėjimas yra:

Kaip reprezentuoti rinkinius, jų elementai yra raktų viduje. Pavyzdžiui, natūralių skaičių rinkinį vaizduoja:

Rinkiniai taip pat gali būti reprezentuojami be raštiško jų elementų sąrašo. Jie gali būti išreikšti formoje :. Du taškai yra skaitomi „tokie, kad“. Kintamasis, vaizduojantis rinkinio elementus, yra išsidėstęs kairėje pusėje nuo dviejų taškų, o turtas ar būklė, kurią jie atitinka, yra išdėstyti dešinėje pusėje. Tai yra:

Pavyzdžiui, sveikųjų skaičių rinkinys, didesnis nei -4, gali būti išreikštas kaip:

Arba lygiai taip pat ir sutrumpintai:

Panašiai šie terminai reiškia lygių ir nelyginių skaičių rinkinius:

Sąjunga, sankirtos ir rinkinių papildymai

Toliau matysime loginių jungčių analogus rinkinių atveju, kurie yra pagrindinių operacijų tarp rinkinių dalis.

Sąjunga ir sankryža

Rinkimų sąjunga ir sankirtos yra atitinkamai apibrėžtos taip:

Pavyzdžiui, apsvarstykite rinkinius:

Tada turite:

Papildymas

Komplektą papildo elementai, kurie nepriklauso šiam rinkiniui (tokio paties tipo, kaip originalas). A rinkinio papildymas žymimas:

Pavyzdžiui, per natūralius skaičius lygių skaičių rinkinio papildymas yra nelyginių skaičių ir atvirkščiai.

Norint nustatyti rinkinio papildymą, nuo pat pradžių turi būti aišku, kokie universalūs arba pagrindiniai elementai yra svarstomi. Pavyzdžiui, nėra lygu apsvarstyti racionalių rinkinių rinkinio papildymą.

Toliau pateiktoje lentelėje parodyta ryšys ar analogija tarp operacijų anksčiau apibrėžtais rinkiniais ir jungiamieji iš siūlomos logikos:

Morgano įstatymai rinkiniams

Galiausiai Morgano įstatymai dėl rinkinių yra:

Žodžiu: sąjungos papildymas yra papildų susikirtimas, o sankirtos papildymas yra papildų sąjunga.

Matematinis pirmosios lygybės įrodymas būtų toks:

Antrojo demonstravimas yra analogiškas.

Nuorodos

  1. Almaguer, G. (2002). Matematika 1. Redakcija Limusa.
  2. Aylwin, C. U. (2011). Logika, rinkiniai ir numeriai. Mérida - Venesuela: Leidinių taryba, Universidad de Los Andes.
  3. Barrantes, H., Diaz, P., Murillo, M., ir Soto, A. (1998). Įvadas į skaičiaus teoriją. EUNED.
  4. Castañeda, S. (2016). Pagrindinis teorijos numeris. Šiaurės universitetas.
  5. Cofré, A., & Tapia, L. (1995). Kaip sukurti matematinį loginį pagrindimą. University Editorial.
  6. Guevara, M. H. (s.f.). Skaičių teorija. EUNED.
  7. Zaragoza, A.C.. Skaičių teorija. Redakcinės vizijos knygos.