LOGICA FORMAL,BIT Y VARIABLE

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal. Se acostumbra a definir la lógica formal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia). Dado el siguiente silogismo: Los insectos son artrópodos; los dípteros son insectos; por tanto, los dípteros son artrópodos; al lógico sólo le interesa su validez o corrección (que es formal) expresada en la estructura vacía de contenido Todo A es B; todo C es A; por tanto, todo C es B. El que los dípteros sean o no sean artrópodos es una cuestión empírica que interesará en cualquier caso al zoólogo, pero de ninguna manera al lógico. El fundador de la lógica formal fue Aristóteles. Esta disciplina se fue perfeccionando con la introducción, a lo largo del siglo XIX y XX, de todo un potente formalismo matemático (Jorge Boole, Gottlob Frege, Beltrán Russell, etc.). Resulta ya un lugar común equiparar la lógica formal a la lógica matemática, por lo que actualmente constituyen expresiones prácticamente sinónimas. El materialismo formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia "no material". La lógica formal posee referenciales fisicalistas y es tan material como cualquier otra disciplina científica, ya que toda ciencia es material. Por otra parte, no resulta aceptable la existencia de formas puras hipostasiadas exentas de contenidos materiales

BIT
Bit es el acrónimo de Binary digit. (dígito binario). Un bit es un dígito del sistema de numeración binario.
Mientras que en el sistema de numeración decimal se usan diez dígitos, en el binario se usan sólo dos dígitos, el 0 y el 1. Un bit o dígito binario puede representar uno de esos dos valores, 0 ó 1.
Se puede imaginar un bit, como una bombilla que puede estar en uno de los siguientes dos estados: apagado encendido.
Memoria de computadora de 1980 donde se pueden ver los bits físicos. Este conjunto de unos 4x4 cm. corresponden a 512 bytes.
El bit es la unidad mínima de información empleada en informática, en cualquier dispositivo digital, o en la teoría de la información. Con él, podemos representar dos valores cuales quiera, como verdadero o falso, abierto o cerrado, blanco o negro, norte o sur, masculino o femenino, rojo o azul, etc. Basta con asignar uno de esos valores al estado de "apagado" (0), y el otro al estado de "encendido" (1). Un bit es una señal electrónica que puede estar encendida (1) o apagada (0). Es la unidad más pequeña de información que utiliza un ordenador. Son necesarios 8 bits para crear un byte.



VARIABLE

Una variable es aquello que varía o puede variar. Se trata de algo inestable, inconstante y mudable. En otras palabras, una variable es un símbolo que representa un elemento no especificado de un conjunto dado. Este conjunto es denominado conjunto universal de la variable o universo de la variable, y cada elemento del conjunto es un valor de la variable.
Por ejemplo: x es una variable del universo {2, 4, 6, 8}. Por lo tanto, x puede tener cualquiera de dichos valores, es decir que puede ser reemplazada por cualquier número par menor a 9.
Una variable es un elemento de una fórmula, proposición o algoritmo, que puede ser sustituido o puede adquirir un valor cualquiera dentro de su universo. Los valores de una variable pueden definirse dentro de un rango o estar limitados por condiciones de pertenencia.
Puede hablarse de distintos tipos de variable: las variables dependientes, que son aquellas que dependen del valor que asuman otros fenómenos o variables; las variables independientes, cuyos cambios en los valores determinan cambios en los valores de otra; variables cualitativas, que expresan distintas cualidades, características o modalidades; y variables cuantitativas, que se enuncian mediante cantidades numéricas, entre otras.
En el ámbito de la programación (informática), las variables son estructuras de datos que pueden cambiar de contenido a lo largo de la ejecución de un programa. Estas estructuras corresponden a un área reservada en la memoria principal de la computadora .