¿Qué es la lógica binaria?

Significado | Concepto | Definición:

La lógica binaria , también conocida como lógica de dos valores o lógica booleana, es un conjunto de reglas para tratar con proposiciones que deben ser verdaderas o falsas. Sus aplicaciones principales son la programación de computadoras y las matemáticas, aunque también existen juegos recreativos y acertijos basados ??en una lógica más formal. La alternativa a la lógica binaria es la lógica "difusa", que permite declaraciones que no son verdaderas ni falsas y / o declaraciones con grados de veracidad.

La lógica binaria es una operación básica con dos números enteros.

Las proposiciones son los operandos centrales de la lógica binaria de la misma manera que los números son los operandos centrales de la aritmética . Generalmente denotado simbólicamente por una sola letra, una proposición es una declaración que debe ser verdadera o falsa, como "Bill mide más de seis pies de altura" o "Dos más dos son cinco". Las declaraciones subjetivas como "Suzi es bonita", por lo general, no pueden tratarse como proposiciones, ya que su verdad depende de la perspectiva. Las proposiciones también deben evitar los pronombres, ya que un cambio en el referente del pronombre cambia la naturaleza de la proposición.

Hay tres operaciones comunes a todos los sistemas lógicos binarios: Y, O y NO. Además, muchos sistemas lógicos añaden las operaciones SI. . . ENTONCES, SI Y SOLO SI, y EOR. Las notaciones varían mucho, por lo que es importante mantener la coherencia en la forma en que se escribe la lógica binaria.

La operación de negación, NOT, es una operación unitaria que se aplica a una sola proposición. Para una proposición A dada, NOT-A es falso si A es verdadero y NOT-A es verdadero si A es falso. La operación AND crea una nueva proposición compuesta a partir de dos proposiciones más simples, como "Bill mide más de seis pies de altura y dos más dos son cinco". Esta nueva proposición es verdadera si las dos proposiciones que la componen son verdaderas; de lo contrario, es falso. La operación OR también crea una nueva propuesta a partir de dos proposiciones más simples, como "Bill mide más de seis pies de altura o dos más dos son cinco". A OR B es una proposición verdadera si A es verdadera, si B es verdadera o si ambos son verdaderos. Solo es falso si tanto A como B son falsos.

Las otras operaciones no están incluidas en todos los sistemas lógicos binarios. La operación condicional, SI A ENTONCES B, solo es falsa cuando A es verdadera y B es falsa y verdadera en caso contrario, por lo que también se puede expresar como NO-A O B. La operación SI Y SOLO SI, también llamada operación bicondicional, es verdadero si A y B son verdaderos y falsos si A y B tienen valores de verdad diferentes. La operación EOR es una alternativa estricta, ya sea A o B, pero no ambas. Es lo opuesto al bicondicional, verdadero si A y B tienen valores diferentes y falso si tienen valores de verdad coincidentes.

La ventaja de la lógica binaria es que proporciona un conjunto de reglas formales que pueden usarse para probar proposiciones en busca de contradicciones. Por esta razón, la lógica tiene muchas aplicaciones en matemáticas teóricas e informática . La desventaja es que esas reglas solo funcionan con declaraciones que son absolutamente verdaderas o absolutamente falsas, y pueden proporcionar resultados poco confiables cuando se usan con declaraciones más vagas.