Vad är binär logik?

Binär logik, även kallad tvåvärdes- eller booleska logik, är en uppsättning regler för att hantera förslag som måste vara antingen sanna eller falska.Dess primära applikationer finns i datorprogrammering och matematik, även om det också finns fritidsspel och pussel baserade på mer formell logik.Alternativet till binär logik är "fuzzy" -logik, som möjliggör uttalanden som varken är sanna eller falska och/eller uttalanden med grader av sanning.

Förslag är kärnoperander av binär logik på samma sätt som siffrorna är kärnoperanderav aritmetik.Generellt symboliskt betecknat med en enda bokstav är ett förslag ett uttalande som måste vara antingen sant eller falskt, till exempel "Bill är över sex meter hög" eller "två plus två är lika med fem."Subjektiva uttalanden som "Suzi är vackra", kan i allmänhet inte behandlas som förslag, eftersom deras sanning beror på perspektiv.Förslag bör också undvika pronomen, eftersom en förändring av pronomenens referens förändrar förslagets karaktär.

Det finns tre operationer som är gemensamma för alla binära logiksystem och, eller inte.Dessutom lägger många logiksystem till verksamheten om...Sedan, om och bara om, och eor.Notationerna varierar mycket, så det är viktigt att förbli konsekvent i hur man skriver ut binär logik.

Neksionsoperationen, inte, är en enhetlig operation som tillämpas på ett enda förslag.För ett givet förslag A är inte-A är falskt om A är sant och inte är sant om A är falskt.Operationen skapar ett nytt sammansatt förslag från två enklare förslag, till exempel "Bill är över sex meter hög och två plus två är lika med fem."Detta nya förslag är sant om båda förslagen som utgör det är sant;Annars är det falskt.OR -operationen skapar också ett nytt förslag från två enklare förslag, till exempel "Bill är över sex meter hög eller två plus två är lika med fem."A eller B är ett sant förslag om A är sant, om B är sant, eller om båda är sanna.Det är bara falskt om både A och B är falska.

De andra operationerna inte ingår i alla binära logiksystem.Den villkorade operationen, om en då B, endast är falsk när A är sant och B är falskt och sant på annat sätt, så den kan också uttryckas som inte-a eller B. if och bara om operationen, även kallad den biconditionella operationen,är sant om A och B är både sanna och falska om A och B har olika sanningsvärden.EOR -operationen är ett strikt alternativ, antingen A eller B men inte båda.Det är motsatsen till den bikonditionella, sant om A och B har olika värden och falska om de har matchande sanningsvärden.

Fördelen med binär logik är att den ger en uppsättning formella regler som kan användas för att testa förslag för motsägelser.Av denna anledning har logiken många tillämpningar inom teoretisk matematik och datavetenskap.Nackdelen är att dessa regler endast fungerar med uttalanden som är helt sanna eller absolut falska och kan ge opålitliga resultat när de används med vaguer -uttalanden.