Logik er videnskaben om sindet, kendt siden oldtiden. Det bruges af alle mennesker, uanset fødested, når de reflekterer og drager konklusioner om noget. Logisk tænkning er en af de få faktorer, der adskiller mennesket fra dyret. Men blot at drage konklusioner er ikke nok. Nogle gange har du brug for at kende visse regler. De Morgan-formlen er en sådan lov.
Kort historisk baggrund
Augustus eller August de Morgan levede i midten af det 19. århundrede i Skotland. Han var den første præsident for London Mathematical Society, men blev hovedsageligt berømt for sit arbejde inden for logik.
Han ejer en masse videnskabelige artikler. Blandt dem er værker om emnet propositionel logik og klassernes logik. Og selvfølgelig også formuleringen af den verdensberømte De Morgan-formel, opkaldt efter ham. Ud over alt dette skrev August de Morgan mange artikler og bøger, herunder "Logic is Nothing", som desværre ikke er oversat til russisk.
essensen af logisk videnskab
I begyndelsen skal du forstå, hvordan logiske formler er bygget op, og hvad de er baseret på. Først da kan man gå videre til studiet af et af de mest berømte postulater. I de simpleste formler er der to variable, og imellem dem en række tegn. I modsætning til hvad der er velkendt og bekendt for den gennemsnitlige person i matematiske og fysiske problemer, har variabler i logik oftest et bogstav, ikke en numerisk betegnelse og repræsenterer en slags begivenhed. For eksempel kan variablen "a" betyde "torden slår i morgen" eller "pigen lyver", mens variablen "b" vil betyde "det bliver solskin i morgen" eller "fyren taler sandt".
Et eksempel er en af de enkleste logiske formler. Variabel "a" betyder, at "pigen lyver", og variabel "b" betyder, at "fyren taler sandt".
Og her er selve formlen: a=b. Det betyder, at det, at pigen lyver, er ensbetydende med, at fyren taler sandt. Det kan siges, at hun kun lyver, hvis han taler sandt.
essensen af De Morgans formler
Det er faktisk ret indlysende. Formlen for De Morgans lov er skrevet således:
Not (a og b)=(ikke a) eller (ikke b)
Hvis vi oversætter denne formel til ord, betyder fraværet af både "a" og "b" enten fraværet af "a" eller fraværet af "b". Hvis enat tale i et enklere sprog, så hvis både "a" og "b" ikke er til stede, så er "a" ikke til stede, eller "b" er ikke til stede.
Den anden formel ser noget anderledes ud, selvom essensen forbliver den samme.
(Ikke a) eller (ikke b)=Ikke (a og b)
Negationen af konjunktion er lig med disjunktionen af negationer.
Konjunktion er en operation, der på det logiske område er forbundet med fagforeningen "og".
Disjunction er en operation, der inden for logikken er forbundet med fagforeningen "eller". For eksempel "enten den ene eller den anden eller begge på én gang."
eksempler på det enkle liv
Et eksempel på dette er denne situation: du kan ikke sige, at det kun er meningsløst og dumt at lære matematik, hvis matematikstudiet ikke er meningsløst eller dumt.
Et andet eksempel er følgende udsagn: du kan ikke sige, at i morgen vil det kun være varmt og solrigt, hvis det i morgen ikke bliver varmt, eller i morgen ikke vil være solrigt.
Du kan ikke sige, at en studerende er fortrolig med fysik og kemi, hvis han ikke kan fysik eller ikke kan kemi.
Du kan ikke sige, at en mand taler sandt, og at en kvinde kun fortæller en løgn, hvis manden ikke taler sandt, eller hvis kvinden ikke taler en løgn.
Hvorfor var det nødvendigt at lede efter beviser og formulere love?
De Morgans formel i logik åbnede en ny æra. Nye muligheder for at beregne logiske problemer er blevet mulige.
Uden De Morgans formel er det allerede blevet umuligt at gøre det inden for områder af videnskab som fysik eller kemi. Der er også en type teknologi, der har specialiseret sig i at arbejde med elektricitet. I nogle tilfælde bruger videnskabsmænd også de Morgans love. Og inden for datalogi formåede de Morgans formler at spille deres vigtige rolle. Matematikområdet, som er ansvarligt for forholdet til de logiske videnskaber og postulater, er også næsten udelukkende baseret på disse love.
Og til sidst
Uden logik er det umuligt at forestille sig et menneskeligt samfund. De fleste af de moderne tekniske videnskaber er baseret på det. Og De Morgans formler er ubestrideligt en integreret del af logikken.
