Logik är vetenskapen om sinnet, känd sedan urminnes tider. Det används av alla människor, oavsett födelseort, när de reflekterar och drar slutsatser om något. Logiskt tänkande är en av de få faktorer som skiljer människan från djur. Men att bara dra slutsatser räcker inte. Ibland behöver man känna till vissa regler. De Morgan-formeln är en sådan lag.
Kort historisk bakgrund
Augustus, eller August de Morgan levde i mitten av 1800-talet i Skottland. Han var den första presidenten för London Mathematical Society, men blev känd främst för sitt arbete inom logikområdet.
Han äger många vetenskapliga artiklar. Bland dem finns verk på ämnet propositionell logik och klassernas logik. Och även, naturligtvis, formuleringen av den världsberömda De Morgan-formeln, uppkallad efter honom. Utöver allt detta skrev August de Morgan många artiklar och böcker, inklusive "Logic is Nothing", som tyvärr inte har översatts till ryska.
The essens of logical science
I början måste du förstå hur logiska formler är uppbyggda och på vad de är baserade på. Först då kan man gå vidare till studiet av ett av de mest kända postulaten. I de enklaste formlerna finns två variabler, och mellan dem ett antal tecken. Till skillnad från vad som är bekant och bekant för den genomsnittliga personen i matematiska och fysiska problem, har variabler i logik oftast en bokstav, inte en numerisk beteckning och representerar någon form av händelse. Variabeln "a" kan till exempel betyda "åska slår i morgon" eller "tjejen ljuger", medan variabeln "b" kommer att betyda "det kommer att bli soligt imorgon" eller "killen talar sanning".
Ett exempel är en av de enklaste logiska formlerna. Variabel "a" betyder att "flickan ljuger", och variabel "b" betyder att "killen talar sanning".
Och här är själva formeln: a=b. Det betyder att det faktum att tjejen ljuger är liktydigt med att killen talar sanning. Man kan säga att hon bara ljuger om han talar sanning.
Kärnan i De Morgans formler
Det är ganska uppenbart faktiskt. Formeln för De Morgans lag är skriven så här:
Not (a och b)=(inte a) eller (inte b)
Om vi översätter den här formeln till ord, betyder frånvaron av både "a" och "b" antingen frånvaron av "a" eller frånvaron av "b". Om enför att tala på ett enklare språk, om både "a" och "b" inte är närvarande, så är "a" inte närvarande eller "b" inte närvarande.
Den andra formeln ser något annorlunda ut, även om essensen förblir densamma.
(Inte a) eller (inte b)=Inte (a och b)
Negationen av konjunktion är lika med disjunktionen av negationer.
Konjunktion är en operation som inom logikområdet förknippas med facket "och".
Disjunktion är en operation som inom logikområdet förknippas med facket "eller". Till exempel, "antingen den ena eller den andra, eller båda samtidigt."
exempel på det enkla livet
Ett exempel på detta är den här situationen: du kan inte säga att det är både meningslöst och dumt att lära sig matematik bara om matematikstudiet inte är meningslöst eller dumt.
Ett annat exempel är följande påstående: du kan inte säga att i morgon blir det varmt och soligt bara om det imorgon inte blir varmt eller imorgon inte kommer att vara soligt.
Du kan inte säga att en elev är bekant med fysik och kemi om han inte kan fysik eller inte kan kemi.
Du kan inte säga att en man talar sanning och en kvinna ljuger bara om mannen inte talar sanning eller om kvinnan inte talar en lögn.
Varför var det nödvändigt att leta efter bevis och formulera lagar?
De Morgans formel i logik öppnade en ny era. Nya alternativ för att beräkna logiska problem har blivit möjliga.
Utan De Morgans formel har det redan blivit omöjligt att göra inom sådana vetenskapsområden som fysik eller kemi. Det finns också en typ av teknik som är specialiserad på att arbeta med el. Det finns också i vissa fall forskare använder de Morgans lagar. Och inom datavetenskapen lyckades de Morgans formler spela sin viktiga roll. Området matematik, som är ansvarigt för förhållandet till de logiska vetenskaperna och postulaten, är också nästan helt baserat på dessa lagar.
Och slutligen
Utan logik är det omöjligt att föreställa sig det mänskliga samhället. De flesta av de moderna tekniska vetenskaperna är baserade på det. Och De Morgans formler är obestridligen en integrerad del av logiken.
