Obsah:
Definice - Co to znamená logická logika?
Booleovská logika je typ informatiky, který původně vyvinul matematik George Boole v polovině 18. století. Podporuje velké množství algoritmického programování a vznik počítačové funkce přibližující se k umělé inteligenci (AI).
Techopedia vysvětluje logickou logiku
Ve svém jádru se logická logika spoléhá na některé velmi základní operátory, jako AND, OR a NOT. Odborníci přidají operátory NAND a NOR, které kombinují jeden z těchto operátorů s negativním operátorem NOT.
Pomocí výše uvedených prvků mohou vývojáři konstruovat logické brány, které směrují tok výpočetní techniky k různým výsledkům. Booleovská logika a prvky jako tabulky pravdy používané k podpoře logických výsledků také odhalují rozdíl mezi tím, jak lidé myslí a jak si počítače „myslí“.
Použití logické logiky může pomoci překlenout sémantický rozdíl mezi strojovým jazykem, který je jednoduše kombinací jedniček a nul, a syntaktickým kódovým jazykem, který zahrnuje prvky lidských písemných jazyků.
Jinými slovy, lidé mohou použít booleovské logické formáty a operátory k tomu, aby zredukovali kód, který zapisují do konceptů, které se blíží strojovému jazyku. Například sémantický kódový řádek nebo model, který uvádí: „Pokud A je 1 a B je 1, pak se přidá 1“, lze redukovat na řadu logických operátorů a hodnot.
