Vad är binär logik?
binär logik, även kallad tvåvärde 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 baserat 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.
propositioner är kärnoperatörerna för binär logik på samma sätt som siffror är kärnoperander av 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 lång" 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 uttalets referens förändrar naturen of Förslaget.
Det finns tre operationer som är gemensamma för alla binära logiksystem och, eller, och 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.
Negationoperationen, 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 riktigt förslagItion 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 ingår inte 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å det kan också uttryckas som inte-a eller B. IF och endast om operationen, även kallad den bikonditionella 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 det tvåbundna, 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 bara fungerar med uttalanden som är helt sanna eller absolutEly False, och kan ge opålitliga resultat när de används med vaguer -uttalanden.