Binarna logika, imenovana tudi dvovrednostna ali logična logika, je niz pravil za ravnanje s predlogi, ki morajo biti bodisi resnični bodisi napačni. Njegove glavne aplikacije so v računalniškem programiranju in matematiki, čeprav obstajajo tudi rekreativne igre in uganke, ki temeljijo na bolj formalni logiki. Alternativa binarni logiki je »mehka« logika, ki omogoča izjave, ki niso niti resnične niti napačne in/ali izjave s stopnjami resničnosti.
Propozicije so osrednji operandi binarne logike na enak način, kot so številke osrednji operandi aritmetike. Na splošno simbolično označena z eno črko, je predlog izjava, ki mora biti resnična ali napačna, na primer »Bill je visok več kot šest čevljev« ali »Dva plus dva je enaka pet«. Subjektivnih izjav, kot je “Suzi je lepa”, na splošno ni mogoče obravnavati kot predloge, saj je njihova resnica odvisna od perspektive. Predlogi naj se izogibajo tudi zaimkom, saj sprememba zaimkovnega referenta spremeni naravo predloga.
Vsem binarnim logičnim sistemom so skupne tri operacije, IN, ALI in NE. Poleg tega mnogi logični sistemi dodajo operacije IF. . . POTEM, ČE IN SAMO ČE in EOR. Zapisi se zelo razlikujejo, zato je pomembno, da ostanemo dosledni pri zapisovanju binarne logike.
Operacija negacije, NOT, je enotna operacija, ki se uporablja za en sam predlog. Za dano trditev A je NOT-A napačna, če je A resnična, in NOT-A je resnična, če je A napačna. Operacija IN ustvari nov sestavljen predlog iz dveh enostavnejših predlogov, kot je “Bill je visok več kot šest čevljev in dva plus dva je enaka pet.” Ta nova trditev je resnična, če sta resnični obe trditvi, ki jo sestavljata; drugače je napačna. Operacija ALI ustvari tudi nov predlog iz dveh enostavnejših predlogov, kot je »Bill je visok več kot šest čevljev ali dva plus dva je enaka pet«. ALI B je resničen predlog, če je A resničen, če je B resničen ali če sta oba resnična. Napačna je le, če sta A in B napačna.
Druge operacije niso vključene v vse binarne logične sisteme. Pogojna operacija ČE A THEN B je napačna le, če je A resnična, B pa napačna in resnična v nasprotnem primeru, zato jo lahko izrazimo tudi kot NE-A ALI B. Operacija ČE IN SAMO ČE, imenovana tudi dvopogojna operacija, je res, če sta A in B tako resnična kot napačna, če imata A in B različne vrednosti resnice. Operacija EOR je stroga alternativa, bodisi A bodisi B, vendar ne oboje. Je nasprotje dvopogojnega, resnična, če imata A in B različne vrednosti, in napačna, če imata enake vrednosti resnice.
Prednost binarne logike je v tem, da zagotavlja niz formalnih pravil, ki jih je mogoče uporabiti za preverjanje protislovij predlogov. Zaradi tega ima logika veliko aplikacij v teoretični matematiki in računalništvo. Pomanjkljivost je, da ta pravila delujejo samo z izjavami, ki so popolnoma resnične ali absolutno napačne, in lahko zagotovijo nezanesljive rezultate, če se uporabljajo z nejasnimi izjavami.