INF 111 SISTEMAS DIGITALES Captulo 1. INTRODUCCIN A LA LGICA Introduccin Fundamentos de lgica Lgica y Sistemas Digitales. Captulo 2.

2. LOGICA PROPOSICIONAL Proposiciones Conexiones lgicas Tautologa y Contradicciones Equivalencias lgicas y su utilizacin Implicaciones y Derivaciones Lgicas. Captulo 3. LGICA DE PREDICADO Introduccin Predicados Cuantificadores Interpretacin y Validez Derivaciones Equivalencias Lgicas Lgica de las Ecuaciones.

Captulo 4. INDUCCIN Y RECURSIVIDAD Induccin Recursividad Funciones Recursivas

Captulo 5. CONJUNTOS Y RELACIONES Conjuntos Operaciones de Conjuntos Relaciones Propiedades de las Relaciones
Sist. Digitales Ing. M. Hbner 1

INF 111 SISTEMAS DIGITALES Captulo 6. Algebra de Boole

Minimizacin de funciones lgicas - Mtodos de Karnough y Veich Mtodo de Quine MacCluskey Captulo 7. Sistemas combinacionales

Codificadores Multiplexores - Flip Flops

Captulo 8. Sistemas secuenciales

Contadores Registros - Generadores de pulsos Captulo 9. Digitales Sistemas de Diseo y Simulacin de Circuitos

Diseo de circuitos digitales.- Tarjetas de circuitos.- Fabricacin de circuitos.- Simulacin de circuitos y Spice.
Sist. Digitales Ing. M. Hbner 2

Captulo 1.

INTRODUCCIN A LA LGICA

Introduccin Fundamentos de Lgica Lgica y Sistemas Digitales La lgica desempea un papel importante en muchos campos como matemticas y en los sistemas digitales.

Es esencial para construir y probar programas de computadora

El razonamiento lgico puede ser deficiente y dar lugar a errores. Para resolver esto es fundamental trabajar mediante las leyes

fundamentales de las derivaciones lgicas.

Lo bsico para las derivaciones lgicas son las proposiciones.

 Las proposiciones son afirmaciones que pueden ser verdaderas o

falsas.

Las proposiciones pueden combinarse y manipularse de varias maneras El clculo proposicional manipulaciones. estudia dichas combinaciones y

Los sistemas digitales basan su funcionamiento en la lgica y la electrnica.

Captulos 2 al 5 LGICA PROPOSICIONAL - LGICA DE PREDICADO INDUCCIN Y RECURSIVIDAD - CONJUNTOS Y RELACIONES Proposiciones Las proposiciones son afirmaciones que pueden ser verdaderas o falsas. Los argumentos lgicos involucran proposiciones atmicas que no pueden subdividirse. Estas proposiciones se mantienen unidas mediante conexiones lgicas. Ejemplos de argumentos lgicos

Si la demanda crece, entonces las compaas se expanden. Si las compaas se expanden, entonces contratan trabajadores Si la demanda crece, entonces las compaas contratan trabajadores.

Captulo 2.

LGICA PROPOSICIONAL (Continuacin)

Proposiciones (Continuacin) El argumento anterior tiene tres lneas donde cada lnea contiene una afirmacin.

Las afirmaciones de las lneas 1 y 2 proporcionan las premisas del argumento. La lnea 3 contiene la conclusin.
Si las premisas son aceptadas tambin la conclusin. Son afirmaciones compuestas Si la demanda crece entonces las compaas contratan trabajadores.

 Aristteles desarroll patrones de argumentos correctos y falsos. Los abrevi mediante letras. P = la demanda crece Q = las compaas se expanden R = las compaas contratan trabajadores 1. Si P entonces Q 2. Si Q entonces R 3. Si P entonces R Aristteles le llamo silogismo hipottico En el silogismo hipottico P, Q y R pueden representar a cualquier afirmacin

 Veamos otro caso: 1. Este programa de computadora tiene un error o la entrada es errnea. 2. La entrada no es errnea 3. Este programa de computadora tiene un error.

1. P o Q 2. No Q 3. P

4. Este argumento se llama silogismo disyuntivo.

Las premisas pueden ser verdaderas o falsas , pero si son consideradas verdaderas, la conclusin es inevitable.

 Veamos otro caso: Otro argumento lgico es el modus ponens 1. Si P, entonces Q 2. P 3. Q

1. Si P es el semforo se pone en rojo. 2. Y Q es los coches paran

Entonces las premisas: Si el semforo se pone en rojo entonces los coches paran y: El semforo se pone en rojo, permiten concluir: Los coches paran. ES PARTE ESENCIAL DE LA LGICA EL DETERMINAR CUALES PATRONES DE RAZONAMIENTO LGICO SON VLIDOS y CULES NO.

PROPOSICIONES Cualquier afirmacin ya sea verdadera o falsa se denomina proposicin. Ejemplo: El programa tiene un error es una proposicin que puede ser verdadera o falsa. Slo hay dos opciones, en trmino tcnico se llama dicotoma. Muchas afirmaciones no son completamente verdaderas, en la lgica estas no son aceptadas, es blanco o negro. Las proposiciones pueden ser simples (algunos les llaman atmicas) y compuestas. Las palabras o, y y no se usan para combinar proposiciones y se denominan conexiones lgicas. Todas las proposiciones compuestas tienen al menos una conexin lgica. A cualquier variable proposicional se le puede asignar el valor V o F. (P, Q, R, pueden ser V o F) Una tabla de verdad de una proposicin da los valores verdaderos de la proposicin para todas las asignaciones posibles.