O que é lógica binária?
A lógica binária, também chamada de lógica de dois valores ou booleana, é um conjunto de regras para lidar com proposições que devem ser verdadeiras ou falsas. Suas aplicações principais estão em programação de computadores e matemática, embora também haja jogos de lazer e quebra -cabeças com base em lógica mais formal. A alternativa à lógica binária é a lógica "difusa", que permite declarações que não são verdadeiras nem falsas e/ou declarações com graus de veracidade.
As proposições são os principais operandos da lógica binária da mesma maneira que os números são os principais operandos da aritmética. Geralmente, simbolicamente indicado por uma única letra, uma proposição é uma declaração que deve ser verdadeira ou falsa, como "Bill tem mais de um metro e oitenta de altura" ou "dois mais dois iguais a cinco". Declarações subjetivas como "Suzi são bonitas" geralmente não podem ser tratadas como proposições, pois sua verdade depende da perspectiva. As proposições também devem evitar pronomes, pois uma mudança no referente do pronome muda a natureza of A proposição.
Existem três operações comuns a todos os sistemas lógicos binários e, ou, e não. Além disso, muitos sistemas lógicos adicionam as operações se. . . Então, se e somente se, e Eor. As notações variam muito, por isso é importante permanecer consistente na maneira como se escreve lógica binária.
A operação de negação, não, é uma operação unitária aplicada a uma única proposição. Para uma determinada Proposição A, não A é falsa se A for verdadeiro e não A for verdadeiro se A for falso. A operação e a operação cria uma nova proposta composta a partir de duas proposições mais simples, como "Bill tem mais de um metro e oitenta de altura e dois mais dois iguais cinco". Essa nova proposição é verdadeira se as duas proposições que a compõem forem verdadeiras; Caso contrário, é falso. A Operação também cria uma nova proposta de duas proposições mais simples, como "Bill tem mais de um metro e oitenta de altura ou dois mais dois iguais cinco". A ou B é uma verdadeira propostaition if A is true, if B is true, or if both are true. It is only false if both A and B are false.
The other operations are not included in all binary logic systems. A operação condicional, se A, então B, só for falsa quando a é verdadeira e B é falsa e verdadeira, de outra forma, por isso também pode ser expressa como não A ou B. O se e somente se operação, também chamado de operação bicondicional, for verdadeira se A e B forem verdadeiros e falsos se A e B tiverem diferentes valores da verdade. The EOR operation is a strict alternative, either A or B but not both. It is the opposite of the biconditional, true if A and B have differing values and false if they have matching truth values.
The advantage of binary logic is that it provides a set of formal rules that can be used to test propositions for contradictions. For this reason, the logic has many applications in theoretical math and computer science. The disadvantage is that those rules only work with statements that are absolutely true or absolutely false, and can provide unreliable results when used with vaguer statements.