Logikk er vitenskapen om sinnet, kjent siden antikken. Det brukes av alle mennesker, uavhengig av fødested, når de reflekterer og trekker konklusjoner om noe. Logisk tenkning er en av få faktorer som skiller menneske fra dyr. Men det er ikke nok å bare trekke konklusjoner. Noen ganger må du kjenne til visse regler. De Morgan-formelen er en slik lov.
Kort historisk bakgrunn
Augustus, eller August de Morgan levde på midten av 1800-tallet i Skottland. Han var den første presidenten i London Mathematical Society, men ble berømt hovedsakelig for sitt arbeid innen logikk.
Han eier mange vitenskapelige artikler. Blant dem er arbeider om emnet proposisjonell logikk og logikken til klasser. Og også, selvfølgelig, formuleringen av den verdenskjente De Morgan-formelen, oppk alt etter ham. I tillegg til alt dette skrev August de Morgan mange artikler og bøker, inkludert "Logic is Nothing", som dessverre ikke er oversatt til russisk.
essensen av logisk vitenskap
Helt i begynnelsen må du forstå hvordan logiske formler er bygget opp og hva de er basert på. Først da kan man gå videre til studiet av et av de mest kjente postulatene. I de enkleste formlene er det to variabler, og mellom dem en rekke tegn. I motsetning til det som er kjent og kjent for den gjennomsnittlige personen i matematiske og fysiske problemer, i logikk har variabler oftest en bokstav, ikke en numerisk betegnelse og representerer en slags hendelse. For eksempel kan variabelen "a" bety "torden kommer i morgen" eller "jenta lyver", mens variabelen "b" vil bety "det blir sol i morgen" eller "fyren forteller sannheten".
Et eksempel er en av de enkleste logiske formlene. Variabel "a" betyr at "jenta lyver", og variabel "b" betyr at "fyren forteller sannheten".
Og her er selve formelen: a=b. Det betyr at det at jenta forteller en løgn er ensbetydende med at fyren snakker sant. Det kan sies at hun bare lyver hvis han snakker sant.
essensen av De Morgans formler
Det er ganske åpenbart faktisk. Formelen for De Morgans lov er skrevet slik:
Not (a og b)=(ikke a) eller (ikke b)
Hvis vi oversetter denne formelen til ord, betyr fraværet av både "a" og "b" enten fraværet av "a" eller fraværet av "b". Hvis enfor å snakke på et enklere språk, så hvis både "a" og "b" ikke er til stede, så er "a" ikke til stede eller "b" er ikke til stede.
Den andre formelen ser noe annerledes ut, selv om essensen forblir den samme.
(Ikke a) eller (ikke b)=Ikke (a og b)
Negeringen av konjunksjon er lik disjunksjonen av negasjoner.
Konjunksjon er en operasjon som innen logikk er assosiert med fagforeningen "og".
Disjunksjon er en operasjon som innen logikk er knyttet til fagforeningen "eller". For eksempel "enten den ene eller den andre, eller begge samtidig."
eksempler på det enkle livet
Et eksempel på dette er denne situasjonen: du kan ikke si at det å lære matematikk er både meningsløst og dumt bare hvis studiet av matematikk ikke er meningsløst eller dumt.
Et annet eksempel er følgende utsagn: du kan ikke si at i morgen vil det være varmt og sol bare hvis det i morgen ikke blir varmt eller i morgen ikke vil være sol.
Du kan ikke si at en student er kjent med fysikk og kjemi hvis han ikke kan fysikk eller ikke kan kjemi.
Du kan ikke si at en mann snakker sannheten og en kvinne forteller en løgn bare hvis mannen ikke snakker sant eller hvis kvinnen ikke forteller en løgn.
Hvorfor var det nødvendig å lete etter bevis og formulere lover?
De Morgans formel i logikk åpnet en ny æra. Nye alternativer for å beregne logiske problemer har blitt mulig.
Uten De Morgans formel har det allerede blitt umulig å gjøre på slike områder av vitenskap som fysikk eller kjemi. Det finnes også en type teknologi som spesialiserer seg på arbeid med elektrisitet. I noen tilfeller bruker forskere også de Morgans lover. Og innen informatikk klarte de Morgans formler å spille sin viktige rolle. Matematikkområdet, som er ansvarlig for forholdet til logiske vitenskaper og postulater, er også nesten utelukkende basert på disse lovene.
Og til slutt
Uten logikk er det umulig å forestille seg et menneskelig samfunn. De fleste moderne tekniske vitenskaper er basert på det. Og De Morgans formler er ubestridelig en integrert del av logikken.
