De Morganove logične formule

Kazalo:

De Morganove logične formule
De Morganove logične formule
Anonim

Logika je znanost o umu, znana že od antičnih časov. Uporabljajo ga vsi ljudje, ne glede na kraj rojstva, ko razmišljajo in sklepajo o nečem. Logično razmišljanje je eden redkih dejavnikov, ki razlikujejo človeka od živali. Toda samo sklepanje ni dovolj. Včasih morate poznati določena pravila. Formula De Morgan je en tak zakon.

Kratko zgodovinsko ozadje

Augustus ali August de Morgan je živel sredi 19. stoletja na Škotskem. Bil je prvi predsednik Londonskega matematičnega društva, vendar je zaslovel predvsem po delu na področju logike.

August de Morgan
August de Morgan

Ima veliko znanstvenih člankov. Med njimi so dela na temo propozicijske logike in logike razredov. In seveda tudi formulacija svetovno znane formule De Morgan, poimenovane po njem. Poleg vsega tega je August de Morgan napisal številne članke in knjige, vključno z "Logika ni nič", ki pa žal ni prevedena v ruščino.

Bistvo logične znanosti

Na samem začetku morate razumeti, kako so zgrajene logične formule in na čem temeljijo. Šele potem lahko nadaljujemo s preučevanjem enega najbolj znanih postulatov. V najpreprostejših formulah obstajata dve spremenljivki in med njimi več znakov. Za razliko od tistega, kar je povprečnemu človeku znano in znano pri matematičnih in fizikalnih problemih, imajo spremenljivke v logiki najpogosteje črko in ne številčno oznako in predstavljajo nekakšen dogodek. Na primer, spremenljivka "a" bi lahko pomenila "jutri bo udaril grom" ali "deklica laže", medtem ko spremenljivka "b" pomeni "jutri bo sončno" ali "fan govori resnico".

Logične formule
Logične formule

Primer je ena najpreprostejših logičnih formul. Spremenljivka "a" pomeni, da "deklica govori laž", spremenljivka "b" pa pomeni, da "moški govori resnico".

In tu je formula sama: a=b. To pomeni, da je dejstvo, da dekle govori laž, enako dejstvu, da fant govori resnico. Lahko rečemo, da ona laže samo, če on govori resnico.

Bistvo De Morganovih formul

Pravzaprav je precej očitno. Formula za De Morganov zakon je zapisana takole:

Ne (a in b)=(ne a) ali (ne b)

Če to formulo prevedemo v besede, potem odsotnost obeh "a" in "b" pomeni odsotnost "a" ali odsotnost "b". Čeče govorim v preprostejšem jeziku, potem če nista tako "a" kot "b", potem "a" ni prisoten ali "b" ni prisoten.

Druga formula je videti nekoliko drugače, čeprav bistvo ostaja enako.

(ne a) ali (ne b)=ne (a in b)

Fotografija Augusta de Morgana
Fotografija Augusta de Morgana

Negacija konjunkcije je enaka disjunkciji negacij.

Konjunkcija je operacija, ki je na področju logike povezana z zvezo "in".

Disjunction je operacija, ki je na področju logike povezana z zvezo "ali". Na primer, "eno ali drugo, ali oboje hkrati."

Preprosti življenjski primeri

Primer tega je ta situacija: ne morete reči, da je učenje matematike nesmiselno in neumno le, če študij matematike ni nesmiseln ali neumen.

Drug primer je naslednja izjava: ne morete reči, da bo jutri toplo in sončno le, če jutri ne bo toplo ali jutri ne bo sončno.

Ne morete reči, da študent pozna fiziko in kemijo, če ne zna fizike ali ne zna kemije.

Ne morete reči, da moški govori resnico in ženska govori laž samo, če moški ne govori resnice ali če ženska ne govori laži.

Zakaj je bilo treba iskati dokaze in oblikovati zakone?

De Morganova formula v logiki je odprla novo dobo. Nove možnosti za izračun logičnih težav so postale možne.

Primeruporaba formul v matematiki
Primeruporaba formul v matematiki

Brez De Morganove formule je že postalo nemogoče narediti na področjih znanosti, kot sta fizika ali kemija. Obstaja tudi vrsta tehnologije, ki je specializirana za delo z električno energijo. Tudi tam v nekaterih primerih znanstveniki uporabljajo de Morganove zakone. In v računalništvu so de Morganove formule uspele odigrati svojo pomembno vlogo. Tudi področje matematike, ki je odgovorno za odnos z logičnimi vedami in postulati, skoraj v celoti temelji na teh zakonih.

In končno

Brez logike si je nemogoče predstavljati človeško družbo. Na njem temelji večina sodobnih tehničnih znanosti. In De Morganove formule so nesporno sestavni del logike.

Priporočena: