SISTEMA BINARIO

1. Sistema Binario: el lenguaje de las computadoras.
En el interior del gabinete del sistema de una computadora, se ven principalmente circuitos electrónicos. En una computadora los datos son reducidos a interruptores eléctricos. Los interruptores pueden tener sólo uno de dos estados posibles: encendido o apagado. Así que sólo se cuenta con dos símbolos numéricos, 1 para �encendido� y O para�apagado�. 

Al contar con tan sólo dos símbolos numéricos, las computadoras funcionan internamente con el sistema binario que se compone de dos dígitos (0 y 1) para la representación de datos e instrucciones. Estos dos dígitos se implementan de forma electrónica mediante dos estados (apagado o encendido). Toda la información que entra a una computadora es convertida en estos números binarios. Bit: Al referirse a datos de computadoras, cada interruptor que esté apagado (valor 0) o encendido (valor 1) es un bit. La palabra bit es la forma abreviada de binary digit (dígito binario) y constituye la unidad de datos más pequeña posible. 












 Bytes: Para representar cualquier cosa significativa es necesario usar grupos de bits. El byte es una agrupación de ocho bits. Enuna computadora los bytes se utilizan para representar números, letras y caracteres especiales. Con un byte se tienen 256 combinaciones diferentes de ocho bits (combinaciones de ceros y unos). Esto permite representar todos los caracteres del teclado, incluyendo letras (mayúsculas y minúsculas), números, signos de puntuación y otros símbolos mediante alguna de estas combinaciones.




Lalógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades.En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro deeste tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.2
Introducción[editar]
Considérese el siguiente argumento:

Mañana es miércoles o mañana es jueves.
Mañana no es jueves.
Por lo tanto, mañana es miércoles.
Es un argumento válido. Quiere decir que es imposibleque las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y «mañana es jueves», porque éstas podríancambiarse por otras y el argumento permanecer válido. Por ejemplo:

Está soleado o está nublado.
No está nublado.
Por lo tanto, está soleado.
En cambio, la validez de estos dos argumentos depende del significado de las expresiones «o» y «no». Si alguna de estas expresiones se cambiara por otra, entonces podría ser que los argumentos dejaran de ser válidos. Por ejemplo:

Ni está soleado ni estánublado.
No está nublado.
Por lo tanto, está soleado.
Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas. La lógica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lógicas. En cuanto a las expresiones como "está nublado" o "mañana es jueves", lo único que importa de ellas es que tengan un valor de...