Co je binární logika?

Binární logika, také označovaná jako dvou-hodnota nebo booleovská logika, je sada pravidel pro řešení návrhů, které musí být buď pravdivé nebo nepravdivé.Jeho primární aplikace jsou v počítačovém programování a matematice, ačkoli existují také rekreační hry a hádanky založené na formálnější logice.Alternativou k binární logice je logika „fuzzy“, která umožňuje prohlášení, která nejsou pravdivá, ani nepravdivá a/nebo prohlášení se stupněmi pravdivosti.

Propozice jsou hlavními operandy binární logiky stejným způsobem, že čísla jsou hlavními operandyaritmetiky.Obecně symbolicky označený jediným dopisem je návrh prohlášení, které musí být buď pravdivé nebo nepravdivé, například „Bill je nad šest stop vysoký“ nebo „dva plus dva rovné pět“.Subjektivní prohlášení, jako je „Suzi je hezká“, nelze obecně považovat za návrhy, protože jejich pravda závisí na perspektivě.Propozice by se také měly vyhýbat zájmeno, protože změna v referentu zájmena mění povahu návrhu.

Existují tři operace společné pro všechny binární logické systémy, nebo, a ne.Kromě toho mnoho logických systémů přidává operace, pokud...Pak, pokud a jen tehdy, a eor.Notace se velmi liší, takže je důležité zůstat konzistentní v tom, jak člověk vypíše binární logiku.Pro daný návrh A je ne a je nepravdivý, pokud je a ne-A je pravda, pokud A je nepravdivá.Operace AND vytváří nový složený návrh ze dvou jednodušších návrhů, jako je „Bill je přes šest stop vysoký a dva plus dva se rovná pěti“.Tento nový návrh je pravdivý, pokud jsou oba návrhy, které to vyrábějí, pravdivé;Jinak je to nepravdivé.Operace OR také vytváří nový návrh ze dvou jednodušších návrhů, například „Bill je přes šest stop vysoký nebo dva plus dva rovné pět“.A nebo B je skutečný návrh, pokud je A pravdivá, pokud je B pravdivá, nebo pokud jsou oba pravdivé.Je nepravdivé pouze tehdy, pokud jsou oba A a B nepravdivé.

Ostatní operace nejsou zahrnuty do všech binárních logických systémů.Podmíněná operace, je-li A pak B, je nepravdivá pouze tehdy, je-li A pravdivá a B je nepravdivá a pravdivá jinak, takže může být také vyjádřena jako ne-A nebo B., pouze pokud a pouze v případě operace, také nazývá se biconditional Operation,je pravda, pokud jsou A a B pravdivé a nepravdivé, pokud A a B mají odlišné hodnoty pravdy.Operace EOR je přísná alternativa, ať už A nebo B, ale ne obojí.Je to opak dvojkondiční, pravdivý, pokud A a B mají odlišné hodnoty a nepravdivé, pokud mají odpovídající hodnoty pravdy..Z tohoto důvodu má logika mnoho aplikací v teoretické matematice a informatice.Nevýhodou je, že tato pravidla pracují pouze s prohlášeními, která jsou absolutně pravdivá nebo naprosto nepravdivá, a mohou poskytnout nespolehlivé výsledky, pokud jsou použity s vágnějšími prohlášeními.