Lógica

Filosofía. Ciencia del razonamiento. Lógica formal. Lógica simbólica. Lógica cuantificacional. Lógica de conmutación. Lógica de puertas. Deducciones. Proposiciones lógicas

  • Enviado por: Nemesis
  • Idioma: castellano
  • País: Bolivia Bolivia
  • 42 páginas

publicidad
cursos destacados
Iníciate en LOGIC PRO 9
Iníciate en LOGIC PRO 9
Vamos a ver de manera muy sencilla y en un breve paseo de poco más de una hora como funciona uno de los...
Ver más información

Curso de reparación de teléfonos móviles / celulares
Curso de reparación de teléfonos móviles / celulares
El curso de Reparación de Telefonía Celular o Móvil está orientado a todas aquellas...
Ver más información


LOGICA

INDICE DEL CONTENIDO PÁGINAS

4. Introducción 5

5. Marco Teórico

5.1 Capitulo 1 “Lógica Cuantificacional” 6-18

5.2 Capitulo 2 “Lógica de Conmutación” 19-34

5.3 Capitulo 3 “Lógica de Puertas” 35-43

6. Conclusión 44

7. Bibliografía 45

INTRODUCCION:

Lógica (del griego, logos, 'palabra', 'proposición', 'razón'), es una disciplina y rama de la filosofía que estudia los principios formales del conocimiento humano. Su principal análisis se centra en la validez de los razonamientos y argumentos, por lo que se esfuerza por determinar las condiciones que justifican que el individuo, a partir de proposiciones dadas, llamadas premisas, alcance una conclusión derivada de aquéllas. La validez lógica depende de la adecuada relación entre las premisas y la conclusión, de tal forma que si las premisas son verdaderas la conclusión también lo será. Por ello, la lógica se encarga de analizar la estructura y el valor de verdad de las proposiciones, y su clasificación.

La validez de una proposición se tomará de la veracidad de la conclusión. Si una de las premisas, o más, es falsa, la conclusión de una proposición válida será falsa. Por ejemplo: “Todos los mamíferos son animales de cuatro patas, todos los hombres son mamíferos, por lo tanto, todos los hombres son animales de cuatro patas” es una proposición válida que conduce a una conclusión falsa. Por otro lado, una proposición nula puede, por casualidad, llegar a una conclusión verdadera: “Algunos animales tienen dos patas; todos los hombres son animales, por lo tanto todos los hombres tienen dos patas” representa una conclusión verdadera, pero la proposición no lo es. Por lo tanto, la validez lógica depende de la forma que adopta la argumentación, no su contenido. Si la argumentación fuera válida, cualquier otro término podría sustituir a cualquiera de los casos utilizados y la validez no se vería afectada. Al sustituir “cuatro patas” por “dos patas” se comprueba que ambas premisas pueden ser verdaderas y la conclusión falsa. Por lo tanto, la proposición no es correcta aunque posea una conclusión verdadera.

El referente tema es principalmente una tema mucho mas avanzado y también para alimentar el conocimiento y la complejidad de la lógica en el presente se encuentran tres temas fundamentales: El primero la lógica cuantificacional, que es parte de la lógica simbólica, La lógica de conmutación que es perteneciente a la lógica electrónica y por ultimo la lógica de puertas perteneciente netamente a la Informática.

MARCO TEORICO.

CAPITULO 1

LÓGICA CUANTIFICACIONAL

  • Razonamientos con proposiciones simples

  • Anteriormente hemos utilizado razonamientos formados por proposiciones compuestas y hemos estudiado diversos métodos para demostrar su validez. Hay otro tipo de razonamientos formados por proposiciones simples:

    Todos los hombres son mortales

    Sócrates es hombre

    Luego Sócrates es mortal

    Este silogismo clasico es válido, porque la conclusión es una consecuencia lógica de las premisas, donde el termino medio: “hombre”, se ha relacionado con el termino menor: “Sócrates” y con el término mayor: “mortales”. Este razonamiento en la lógica proposicional no es válido, porque si lo simbolizamos y aplicamos, por ejemplo, el método de la implicación tautológica, el cual consiste en conjuncionar las premisas e implicarlas con la conclusión, para luego aplicar las tablas de verdad, veremos que es una proposición contingente, luego el razonamiento sería inválido.

    Tampoco se pueden aplicar otros métodos demostrativos. No existe ninguna regla en la lógica proposicional que justifique la deducción de la conclusión. La validez de este tipo de razonamiento depende de ña estructura interna de las proposiciones simples que la componen.

    La lógica cuantificacional estudia la composición íntima de las proposiciones, utiliza nuevos símbolos, leyes y métodos para establecer la validez de los razonamientos.

    En el anterior ejemplo, la primera proposición es general, el sujeto se refiere a un conjunto de individuos. Esta proposición lleva antepuesto el termino: “todos”, llamado cuantificador.

    La segunda proposición es singular, el sujeto se refiere a un solo individuo y la propiedad atribuida conviene a dicho individuo.

  • Proposiciones singulares

  • La proposición singular se compone de: argumento y predicado.

    Argumento.- Es el nombre propio o frase que designa objetos individuales:

    Dinka es estudiosa

    Juan escribe

    Este libro es bueno

    Cuatro es mayor que tres

    María es menor que Guillermo

    Predicado.- Es la parte de la proposición que expresa propiedades o relaciones entre términos. El predicado está formado por el verbo con sin complementos:

    Sócrates es mortal

    Luís canta

    Carlos está alegre

    La Luna es un satélite

    Cinco es mayor que uno

  • Simbolización de las proposiciones singulares

  • Los argumentos se simbolizan mediante las letras minúsculas: “a”, “b”, “c”, “d”… Se llaman constantes de individuo.

    Los predicados se simbolizan mediante las letras mayúculas: “A”, “B”, “C”,… “F”, “G”, “H”,… Se llaman letras de predicado.

    Para simbolizar proposiciones singulares, primero se escribe la letra de predicado y luego la constante individual:

    Juan estudia Ej

    j E

    Luis canta Cl

    l C

    Marte es un planeta Pm

    m P

    Las proposiciones singulares pueden ser negadas y se simbolizan anteponiendo la negación a la fórmula:

    Daniel no tragaja - Td

    Kant no es matemático - Mk

    Las proposiciones que tienen un predicado y dos o más argumentos se simbolizan escribiendo, primero la letra del predicado, seguida de las constantes individuales en el orden en que se presentan:

    Ramiro ama a Carmen Arc

    r A c

    Jorge viaja con Robeto Vjr

    j V r

    El novio era mayor que Rosa Mnr

    Aristóteles nació en Estagira Nae

    Estas proposiciones pueden ser negadas y se simbolizan anteponiendo la negación a la fórmula:

    La Tierra no ilumina al Sol - Its

    Ramiro no ama a Carmen - Arc

    Las proposiciones singulares pueden formar proposiciones compuestas, en este caso se simbolizan mediante conectivos lógicos:

    Juan lee y Pedro escribe Lj  Ep

    j L p E

    Eistein fue matematico o Kant fue filósofo Me v Fk

    e m K f

    Si Jorge canta entonces Lizy baila Cj ! Bl

    Si Carlos es primero, entonces Gabriel es segundo y Daniel es tercero

    Pc! Sg  Td

    Patricia es alegre y Jovial Ap  Jp

    Lorena canta y baila Cl  Bl

    Para argumentos y predicados diferentes se usan letras diferentes, para los mismos argumentos las mismas letras y para los mismos predicados las mismas letras:

    Juan estudia y Carlos trabaja Ej  Tc

    María estudia y trabaja Em  Rm

    Carmen y Hugo son músicos Mc  Mh

  • Funciones proposicionales

  • Sean las proposiciones singulares:

    Sócrates es filósofo… Fs

    Liszt es músico… Ml

    Si sustituimos los nombres propios y las constantes de individuos por la variable individual “x”, tendremos las siguientes expresiones:

    x es filósofo… Fx

    x es músico… Mx

    Estas expresiones no son proposiciones, ya que no son cerdaderas ni falsas, por estar indeterminado el argumento o individuo del cual se predica, son funciones proposicionales.

    Las funciones proposicionales son formas que tiene una o más variables libres.

    Las funciones proposicionales se convierten en proposiciones, sustituyendo la variable por nombres propios o por constantes de individuo:

    x es filósofo… Fx se convierte en:

    Sócrates es filósofo Fs

    x no es matemático (f. prop.) se convierte en:

    Kant no es matemático (prop.)

    Su simbolización:

    - Mx (f. prop.) - Mk (prop.)

    x viajo a y (f. prop.) Lizy viajó a París (prop.)

    Su simbolización:

    Vxy (f. prop.) Vlp (prop.)

    X nació es China (f. prop.) se convierte en:

    Mao nació en China (prop.)

    Su simbolizacion

    Chx (f. prop.) Chm (prop.)

    x toca el piano y z canta (f. prop.) se convierte en:

    Jorge toca el piano y Robert canta (prop.)

    Su simbolización:

    Tx  Cz (f. prop.) Tj ^ Cr (prop.)

    Ax  By función proposicional

    Ab  Bc función proposicional

    Cx v Ha función proposicional

    Cd v Ha función proposicional

    Fx ! Gz función proposicional

    Fa ! Gb función proposicional

    Fx  Gy ! Hz función proposicional

    Fa  Gb ! Hc función proposicional

  • Cuantificación

  • Otra forma de convertir las funciones proposicionales en proposiciones es mediante la cuantificación, especificando cuantitativamente el dominio de la variable.

    Si decimos:

    x es filósofo

    Tenemos una función proposicional que no es verdadera ni falsa, pero si le anteponemos el cuantificador: “para todo x”

    Para todo x, x es filósofo

    Tendremos una proposición falsa, equivale a decir:

    Todos los individuos son filósofos.

    Si le anteponemos el cuantificador: “para algún x”

    Para algún x, x es filósofo

    Tendremos una proposición verdadera, equivale a decir:

    Algún individuo es filósofo

    La frase “para todo x” recibe el nombre de cuantificador universal, la predicación abarca a todos los individuos. Su símbolo es:

    (x) o (vx)

    La frase “para algún x” recibe el nombre de cuantificador existencial, la predicación abarca por lo menos a un individuo. Su símbolo es:

    ('Lógica'
    x)

    La simbolización cuantificacional de las anteriores proposiciones será:

    Todos son filósofos = (x) Fx

    Algunos son filósofos = ('Lógica'
    x) Fx

  • Alcance del cuantificador

  • x es mutable

    “x” es variable libre, porque no aparece en ningún cuantificador.

    (x) x es mutable

    “x” es variable ligada, porque aparece en el cuantificador “(x)”.

    En la formula

    (x) (Ax ! Ex)

    El cuantificador “(x)” abarca a toda la formula es decir, a la dos “x” restantes. Esta fórmula cuantificacional se llama “cerrada” y todas las variables “x” se llaman “ligadas” y están encerradas entre paréntesis.

    En la formula:

    (x) Fx  Gx

    El cuantificador “(x)” abarca solamente a una parte de la fórmula, a “Fx”, esta “x” es ligada y siguiente “x” es libre. Esta fórmula cuantificacional se llama “abierta”, porque hay por lo menos una variable que no se halla dentro del alcance del cuantificador “x”. Las variables que no se hallan dentro del alcance del cuantificador se llaman “libres”.

    Si el cuantificador no esta delante de una formula con paréntesis, el alcance del mismo llega hasta la primera variable de la misma letra; pero si el cuantificador está delante de una fórmula encerrada entre paréntesis, su alñcance llega a todas las variables de la misma letra. Las constantes de individuo se consideran ligadas.

    Las fórmulas cerradas constituyen proposiciones y las abiertas, funciones proposicionales.

    Ejemplos:

  • Leyes de intercambio de cuantificadores

  • (x) Fx " -('Lógica'
    x) -Fx

    ('Lógica'
    x) Fx " -(x) -Fx

    -(x) Fx " ('Lógica'
    x) -Fx

    -('Lógica'
    x) Fx (x) - Fx

    Establecen equivalencia entre cuantificadores universales y parciales

    Ejemplos:

    Todo es mutable " No es cierto que algo sea mutable

    Algo es bueno " No es cierto que nada sea bueno

    No es cierto que todo sea malo " Algo no es malo

    No es cierto que algo sea eterno " Nada es enterno

  • Leyes de oposición aristotélica

  • (x) (Fx ! Gx) " -('Lógica'
    x) (Fx  -Gx)

    (x) (Fx ! -Gx) " -('Lógica'
    x) (Fx  Gx)

    ('Lógica'
    x) (Fx  Gx) " -(x) (Fx ! -Gx)

    ('Lógica'
    x) (Fx  -Gx) " -(x) (Fx ! Gx)

    Un cuantificador es equivalente a la negación de su contradictorio.

    Ejemplos:

    Todos los cuerpos son pesados " No es cierto que algunos cuerpos no sean pesados

    Ningún cuerpo es pesado " No es cierto que algunos cuerpos sean pesados

    Algunos cuerpos son pesados " no es cierto que ningún cuerpo sea pesado

    Algunos cuerpos no son pesados " No es cierto que todos los cuerpos sean pesados

  • Leyes del silogismo categórico

  • Existen diecinueve modos válidos, distribuidos en cuatro figuras, cada figura tiene su propia ley o fórmula cuantificacional. Citaremos dos modos de cada figura.

    Primera figura: MP + SM = SP

    Barbara: Ma P + Sa M = Sa P

    (x) (Gx ! Hx)..(x) (Fx ! Gx). !.(x) (Fx ! Hx)

    A Todos los hombres son falibles

    A Todos los gobernantes son hombres

    A Luego todos los gobernantes son falibles

    Celarent: Me P + Sa M = Se P

    (x) (Gx ! -Hx)  (x) (Fx ! Gx). !.(x) (Fx ! -Hx)

    E Ningún pez es mamífero

    A Todos los salmones son peces

    E Luego ningún salmón es mamífero

    Segunda figura: PM + SM = SP

    Cesare: Me P + Sa M = Se P

    (x) (Hx ! -Gx)  (x) (Fx ! Gx). !.(x) (Fx ! -Hx)

    E Ningún molusco es vertebrado

    A Todos los peces son vertebrados

    E Luego ningún pez es molusco

    Festino: Pe M + Si M = So P

    (x) (Hx ! -Gx)  ('Lógica'
    x) (Fx ! Gx). !.('Lógica'
    x) (Fx  -Hx)

    E Ningún italiano es español

    I Algunos europeos son españoles

    E Luego algunos europeos no son italianos

    Tercera figura: MP + MS = SP

    Datisi: Pa M + Si M = Si P

    (x) (Gx ! Hx)  ('Lógica'
    x) (Gx ! Fx). !.('Lógica'
    x) (Fx  Hx)

    A Todos los rumiantes son mamíferos

    I Algunos rumiantes son animales domésticos

    I Luego algunos animales domésticos son mamíferos

    Ferison: Me P + Mi S = So P

    (x) (Gx ! -Hx)  ('Lógica'
    x) (Gx ! Fx). !.('Lógica'
    x) (Fx  -Hx)

    E Ningún chino es japonés

    I Algunos chinos son asiáticos

    O Luego algunos asiáticos no son japoneses

    Cuarta figura: PM + MS = SP

    Cameles: Pa M + MeS = Se P

    (x) (Hx ! Gx)  (x) (Gx ! -Fx). !.(x) (Fx  -Hx)

    A Todos los caballos son solípedos

    E Ningún solípedo es carnívoro

    E Luego ningún carnívoro es caballo

    Dimatis: Pi M + MaS = Si P

    ('Lógica'
    x) (Hx  Gx)  (x) (Gx ! Fx). !.('Lógica'
    x) (Fx  Hx)

    I Algunos católicos son sacerdotes

    A Todos los sacerdotes son religiosos

    I Luego algunos religiosos son católicos

    Los modos Darapti y Felapton de la tercera figura, Fesapo y Bamalip de la cuarta figura se desarrollan, agregándoles una cláusula existencial al antecedente del silogismo, veamos algunos ejemplos:

    Darapti: Ma P + Ma S = Si P

    (x) (Gx ! Hx)  (x) (Gx ! Fx)..('Lógica'
    x) Gx: ! :('Lógica'
    x) (Fx  Hx)

    A Todos los hombres son racionales

    A Todos los hombres son mortales

    Hay hombres

    I Luego algunos mortales son racionales

    Felapton: Me P + Ma S = So P

    (x) (Gx ! -Hx)  (x) (Gx ! Fx)..('Lógica'
    x) Gx: ! :('Lógica'
    x) (Fx  -Hx)

    E Ningún boliviano es asiático

    A Todos los bolivianos son americanos

    Hay bolivianos

    O Luego algunos americanos no son asiáticos

    Fesapo: Pe M + MaS = So P

    (x) (Hx ! -Gx)  (x) (Gx ! Fx)..('Lógica'
    x) Gx: ! :('Lógica'
    x) (Fx  Hx)

    E Ningún argentino es español

    A Todos los españoles son europeos

    Hay españoles

    O Luego algunos europeos no son argentinos

  • Ley de especificación

  • (x) Fx ! Fy

    Si un predicado es verdadero de todo, lo es también de un elemento dado. Esta ley permite obtener proposiciones singulares de proposiciones universales:

    Si todo es mutable, entonces la Tierra es mutable

    Si todos son mortales, entonces Sócrates es mortal

  • Ley de particularización

  • Fy ! ('Lógica'
    x) Fx

    Si un predicado es verdadero de un elemento dado, entonces es verdadero de algo. Esta ley permite obtener proposiciones particulares de proposiciones singulares:

    Si Sócrates es filósofo, entonces alguien es filósofo

    Si Carlos es artista, entonces algunos son artistas

  • Leyes de distribución de cuantificadores

  • (x) (Fx  Gx) " (x) Fx  (x) Gx

    ('Lógica'
    x) (Fx v Gx) " ('Lógica'
    x) Fx v ('Lógica'
    x) Gx

    El cuantificador universal es distribuido con respecto a la conjunción y el cuantificador existencial es distributivo con respecto a la disyunción.

    Todo es grandioso y admirable " Todo es grandioso y todo es admirable

    Algo es bueno o malo " Algo es bueno o algo es malo

    La primera ley indica que todos los individuos del universo tienen dos propiedades, si y sólo si, todos tienen la primera y todos tienen la segunda.

    La segunda ley indica que existe al menos un individuo que tiene una propiedad u otra, si y sólo si, alguno tiene la primera propiedad o alguno tiene la segunda.

    (x) (Fx v Gx) ! (x) Fx v (x) Gx

    ('Lógica'
    x) (Fx  Gx) ! ('Lógica'
    x) Fx  ('Lógica'
    x) Gx

    El cuantificador universal no es distributivo con respecto a la disyunción y el cuantificador existencial no es distributivo con respecto a la conjunción, pero se cumplen las respectivas implicaciones.

    Si todo, es eterno o todo es perecedero, entonces todo es eterno o perecedero

    Si algo es inmortal y eterno, entonces algo es inmortal y algo es eterno

    Si todos los individuos tienen una propiedad o todos tienen otra propiedad, entonces todos tienen una u otra propiedad, expresa la tercera ley.

    La cuarta ley expresa, que si algún individuo tiene a la vez dos propiedades, entonces algún individuo tiene la primera propiedad y alguno, la segunda propiedad.

    Capitulo 2

    LÓGICA DE CONMUTACIÓN

    En electricidad y electrónica, las leyes del álgebra de Boole y de la lógica binaria, pueden estudiarse mediante la lógica de conmutación. Un circuito de conmutación estará compuesto por una serie de contactos que representarán las variables lógicas de entrada y una o varias cargas que representarán las variables lógicas o funciones de salida. Los contactos pueden ser normalmente abiertos (NA) o normalmente cerrados (NC). Los primeros permanecerán abiertos mientras no se actúe sobre ellos (por ejemplo al pulsar sobre interruptor, saturar un transistor, etc.). Los contactos NC funcionarán justamente al contrario. Esto significa que si se actúa sobre un contacto NA se cerrará y si se hace sobre uno NC se abrirá.

    Dominio Lógico

    El funcionamiento del computador se basa en el dominio de las señales que se describieron en el ejemplo anterior, pero también un computador es mucho más complejo que aquellas señales, el sólo hecho de mirar la pantalla y ver la metáfora del mundo que aquella representa, hace surgir preguntas tales: ¿cómo funciona esto? O sí algo ya se sabe ¿cómo de un dominio tan pequeño, el de las señales, es posible obtener otro tan complejo como lo que se observa en la pantalla?

    Para responder aquellas preguntas se debe partir desde el mismo dominio simple de los dos estado originales, el cual es posible representar por un conjunto de símbolos como { 0, 1 } o { V, F }, símbolos que describen a { -1.5 volts, +4.0 volts } respectivamente.

    Pero se está frente a la misma situación anterior, sólo se ha cambiado la forma, pero ese conjunto de símbolos no tiene ninguna potencialidad, de ninguna forma es posible construir algo con aquellos símbolos.

    Existe, en las matemáticas, un álgebra llamada Algebra de Boole. Fue desarrollada originalmente por George Boole, alrededor de 1850. La importancia de esta álgebra deriva de los trabajos de Claude Shannon en 1937, quién la utiliza para describir los circuitos digitales.

    Un álgebra es posible definirla, muy simplificadamente, como un dominio en que además de un conjunto de elementos existe un conjunto de operadores u operaciones que permiten operar con aquellos elementos, generando elementos del propio dominio o de otros.

    Así, el Algebra de Boole se describe como el siguiente dominio = ( { 0, 1 }, { And, Or, Not } ), donde el conjunto { And, Or, Not } corresponde al conjunto de operadores. Los símbolos con qué se representan estas operaciones son propios de esta visión simplificada del álgebra, ya que en el original son { ^, v, ~ } o desde el punto de vista del diseño de circuitos en ingeniería los símbolos que se utilizan son { ·, +, - }.

    Otra propiedad de un Algebra es la utilización de variables que permiten representar, en general, cualquiera de los elementos del conjunto. Esta característica permite definir nuevas operaciones a partir de las originales o primitivas del álgebra. Así, una variable X definida sobre le Algebra de Boole puede tomar valores { 0, 1 }, por ejemplo X = 1, o X = 0. Para que sea más simple de entender se recomienda considerar 0 = falso y 1 = verdadero.

    Operaciones Básicas

    And. La operación And requiere que todas las señales sean simultáneamente verdaderas para que la salida sea verdadera. Así, el circuito de la figura necesita que ambos interruptores estén cerrados para que la luz encienda.

    'Lógica'

    Figura No. 5. Operación And.

    Los estados posibles del circuito se pueden modelar en la Tabla de Verdad que tiene asociada. Sabemos que los interruptores sólo pueden tener dos estados, abiertos o cerrados, si el interruptor abierto se representa mediante el cero (0 o falso) y el cerrado mediante el valor uno (1 o verdadero) entonces en la tabla de verdad asociada se puede ver la situación que se describía en el párrafo anterior, cuando se decía que la luz sólo prende cuando ambos interruptores están cerrados, es decir, si A = 1 y B = 1 entonces L = 1.

    La compuerta lógica es una forma de representar la operación And pero en el ámbito de los circuitos electrónicos, para ese caso A y B son las señales de entrada (con valores = 0 1) y L es la señal de salida.

    Para efectos de este curso, la operación And la representaremos como la función And( A, B ), donde A y B serían los parámetros de entrada (los mismos valores de A y B en el circuito) y L = And( A, B ), correspondería a la forma de asignación de valor a L. En este caso el parámetro de salida es la misma función And.

    Or. La operación Or tiene similares características a la operación And, con la diferencia que basta que una señal sea verdadera para que la señal resultante sea verdadera. En la figura se puede ver tal situación.

    'Lógica'

    Figura No. 6. Operación Or.

    Note que en el circuito los interruptores están en paralelo, por lo cual basta que uno de ellos esté cerrado para que el circuito se cierre y encienda la luz.
     
     

    La operación Or también tiene una representación funcional como Or( A, B ) donde A y B serían los parámetros de entrada (los mismos valores de A y B en el circuito) y L = Or( A, B ), correspondería a la forma de asignación de valor a L. En este caso, el parámetro de salida es la misma función Or.

    Not: La última de la tres operaciones fundamentales, la cual también se conoce como negación, complemento o inversión, es mucho más simple que las anteriores. En la figura se puede observar el circuito, que en este caso tiene la particularidad de que al estar el interruptor abierto la luz enciende, cuando él está en posición de cerrado la luz permanecería apagada.
     
     

    'Lógica'

    Figura No. 7. Operación Not.

    La notación funcional para esta operación será Not( A ), donde A corresponde a la señal de entrada y Not( A ) corresponde al valor complementario de A.

    Con las operaciones básicas ya definidas es posible redefinir el Algebra de una manera más formal, por ejemplo, dándole el nombre de Dominio Lógico y caracterizandolo de la siguiente manera:

    Dominio Lógico ( l ð Dominio Lógico ) = ( { 0, 1 }, { l: And( l, l ), l:Or( l, l ), l:Not( l ) } )

    Note que cada una de las operaciones o funciones de este dominio se ha explicitado claramente la cantidad y el tipo de parámetros con los cuales ellas operan (operandos) y el tipo de valor que la operación devuelve, en este caso todos los parámetros son del tipo lógico ( l ).

    Así, cuando se habla del dominio del computador al resolver un problema, este dominio tiene como base el dominio recién descrito. Los circuitos electrónicos que dan vida al computador pueden ser representados todos mediante este Dominio Lógico.

    Operaciones compuestas

    El conjunto de las operaciones del dominio básico se puede extender mediante un mecanismo de composición de operaciones, por ejemplo, se quiere agregar la operación XOR, que corresponde a un OR Exclusivo mediante el cual: si ambas entradas son iguales el resultado es cero (0 o falso) y si ambas son distintas, entonces el resultado es uno (1 o verdadero). Graficamente se puede ver la implementación de la compuesta XOR en la figura No. 8.

    'Lógica'

    Figura No. 8. Implementación de la Compuesta XOR.

    Es claro, en la figura, la forma de composición de la operación XOR a partir de las operaciones básicas and, or y not en el formalismo gráfico de las compuertas lógicas. También es posible usar el formalismo funcional, que se consideró en la definición el Domino Lógico, para componer la operación XOr:

    Or( And( Not( A ), B ), And( A, Not( B ))); donde A, B ð Dominio Lógico

    De hecho, si se quiere extender el conjunto de las operaciones del Dominio Lógico sería necesario expresar, la operación XOr, en el mismo formato que las operaciones primitivas; sin ser muy rigurosos bastaría con una asignación para que con ello se tenga una forma de definir nuevas operaciones en base a las ya existentes:

    XOr( A, B ) ð Or( And( Not( A ), B ), And( A, Not( B ))) ; donde A, B, XOr ð Dominio Lógico

    El símbolo ð permitiría trasladar toda la funcionalidad de la expresión a la nueva operación, incluidos los parámetros de entrada y salida (A, B como parámetros de entrada y el nombre de la operación XOr como parámetro de salida). Con la operación XOr ya definida es posible, entonces, ampliar la definición del Dominio Lógico:

    Dominio Lógico ( l ð Dominio Lógico ) = ( { 0, 1 }, { l: And( l, l ), l:Or( l, l ), l:Not( l ) l:XOr( l, l ), } )

    Por lo cual XOr podría ser utilizado para componer nuevas operaciones de este mismo dominio o, eventualmente, de otros.

    Construcción de nuevos dominios

    Pese a que se ha formalizado un dominio básico y, además, se ha creado nuevas operaciones dentro de ese dominio, aún no se cumple el objetivo de poder aproximar el mundo de señales del computador a nivel de complejidad actual observado.

    En los puntos anteriores se revisó la forma de representación de los números enteros, la cual se basaba en una memoria organizada en palabras de 8 bits. Es decir, si se considera que cada una de las señales básicas puede ser utilizada para componer un bit, entonces sería necesario 8 señales para poder componer un número, donde cada una de estas señales podría tomar los dos estados posibles y, dependiendo de la posición en que ella esté -recuerden lo hablado sobre sistemas numéricos posicionales- tendría más o menos incidencia en el valor del número a representar, por ejemplo, el siguiente número binario, representa al 165 decimal -según la transformación estudiada:

    xb = 10100101
    X10 = V(xb) = 1× 27+0× 26+1× 25+0× 24+0× 23+1× 22+0× 21+1× 20 = 165

    Con esta forma de representación es posible entonces sintetizar un conjunto de números enteros a partir de las señales originales, combinándolas. En este caso el conjunto de enteros puede ser uno que vaya desde 0 a 255, pero si se amplia el número de señales paralelas consideradas, este espectro se puede aumentar o, considerando el signo, se pueden incluir números negativos.
    Así, para crear el conjunto de los números enteros a partir del conjunto de las señales se debe organizar éstas en cadenas paralelas -la forma usual de los buses dentro del computador- donde la posición de cada una tiene un peso específico en la síntesis del número que se está representando. En la notación que se está propugnando, un conjunto de estas cadenas puede ser visto de la siguiente forma:

    Dominio Enteros Binarios ( nb Î Dominio Enteros Binarios) = ( { Ln...L7L6L5L4L3L2L1L0 / Li Î Dominio Lógico} )

    Ahora, si bien existe una representación factible de números enteros a partir de las señales primitivas, un dominio de los enteros (que en este caso se ha denominado enteros binarios por no estar expresados en base decimal) no está completo si es que no existen operaciones que permitan manejarlos, por lo cual es necesario componer tales operaciones a partir de del dominio lógico o de las mismas operaciones ya desarrolladas para este dominio.

    Suma en los enteros binarios

    La suma de dos números binarios se realiza de la misma manera que la suma en los números decimales. Por ejemplo, la siguiente es una suma decimal:

      3 7 6 los números en negrillas corresponden a los dígitos menos significativos
    + 4 6 1
      8 3 1

    Los dígitos en las posiciones menos significativos son operados primero, produciendo la suma 7. Luego, los dígitos en la segunda posición son sumados para dar el resultado 13, que produce un acarreo de 1 hacia la tercera posición, lo que produce la suma 8.

    Los mismos pasos generales son seguidos en la suma binaria. Sin embargo, aquí sólo hay que considerar cuatro casos al sumar dos dígitos binarios:

    0 + 0 = 0
    1 + 0 = 1
    1 + 1 = 0 + acarreo de 1 (uno) a la siguiente posición
    1 + 1 + 1 = 1 + acarreo de 1 (uno) a la siguiente posición

    El último caso ocurre cuando dos bit de una cierta posición tienen 1 (uno) y además hay un acarreo desde la posición previa. Los siguientes son varios ejemplos de sumas de dos números binarios:

     011 (3)          1001 (9)               11,011 (3,375)
    +110 (6)        +1111 (15)            +10,110 (2,750)
    1001 (9)         11000 (24)             110,001 (6.125)

    No es necesario considerar la suma de más de dos números binarios al mismo tiempo, ya que todos los sistemas de circuitos digitales que actualmente ejecutan la suma sólo pueden manejar dos números a la vez. La suma es una de las operaciones aritméticas más importantes en los sistemas digitales, de hecho, las operaciones de resta, multiplicación y división pueden ser definidas en base a la suma.

    Si se quiere entonces sumar dos números enteros binarios en un computador, es necesario para ello que exista la operación suma de enteros binarios. De manera análoga a como se definió la operación XOr, es posible definir ahora una operación de suma.

    La unidad aritmética

    Todas las operaciones aritméticas se realizan en la unidad aritmética, también conocida como unidad aritmético-lógica -ver punto 1.2 de este apunte-, de un computador. La Figura No. 9 es un diagrama de bloques que describe los principales elementos incluidos en una unidad aritmética típica. El principal propósito de una unidad aritmética es aceptar datos binarios que están almacenados en memoria y ejecutar las operaciones aritméticas sobre aquellos datos de acuerdo a las instrucciones dadas desde la unidad de control.

    La unidad aritmética tiene al menos dos registros de flip-flops: el registro B y el registro acumulador. Además contiene los circuitos lógicos que permiten ejecutar las operaciones sobre los números binarios almacenados en ambos registros. La típica secuencia de ejecución para una suma (ADD) puede ser la siguiente:

    'Lógica'

    Figura No. 9. Unidad Aritmética

    • La unidad de control recibe una instrucción (desde la unidad de memoria) indicando que un número almacenado en una ubicación particular de memoria (dirección) deberá ser sumado a el número actualmente almacenado en el acumulador.

    • El número a ser sumado es transferido desde la memoria al registro B.

    • El número en el registro B y el número en el acumulador son sumados en los circuitos lógicos (comandados desde la unidad de control). La suma resultante en enviada al acumulador para ser almacenada.

    • Al nuevo número en el acumulador se le puede sumar otro, o si el proceso aritmético en particular ha terminado, el número puede ser transferido a memoria para almacenarlo.

    Estos pasos demuestran de donde el registro acumulador deriva su nombre. Este registro "acumula" los valores que resultan de ejecutar sucesivas sumas entre nuevos números extraídos desde memoria y el resultado de las sumas anteriores almacenado en el acumulador. Para cualquier problema aritmético que contienen varios pasos, el acumulador siempre contiene el resultado de los pasos intermedios, así como el resultado final cuando la ejecución ha terminado.

    Un sumador binario en paralelo

    Los computadores y calculadoras implementan la operación de suma sobre dos números binarios al mismo tiempo, donde cada numero binario puede tener varios dígitos binarios. En la tabla se muestra la suma de dos números binarios de cinco bits. Uno de los operandos es almacenado en el acumulador; esto es, el acumulador contienen cinco Flip-Flops, almacenando, en cada uno, los dígitos 10101. De la misma forma el otro de los operandos, el que será sumado al primero, es almacenado en el registro B (en este caso, 00111).

    El proceso de suma comienza por la suma de los bit menos significativos de ambos operandos. Así, 1+1 = 10, que significa que la suma para esa posición es 0 y el acarreo es1.
     

    1º Operando, almacenado en el acumulador

    1

    0

    1

    0

    1

    2º Operando, almacenado en el Registro B

    0

    0

    1

    1

    1

    Suma

    1

    1

    1

    0

    0

    Acarreo (para ser agregado a la siguiente posición)

    0

    0

    1

    1

    1

    Este acarreo (o bit de carry) será sumado a la siguiente posición, junto a los bit correspondientes de los operandos. Así, en la segunda posición 1+0+1 = 10, que corresponde nuevamente a la suma 0 y el carry 1. Este carry será sumado a la siguiente posición junto a los correspondientes bits de los operandos y así sucesivamente hasta las últimas posiciones.

    A cada paso en el proceso de suma se realiza la adición de tres bits; los dos de los operandos y el de carry que viene de la posición previa. El resultado de la suma de estos 3 bits produce 2 bits: un bit de suma y otro de carry que deberá ser sumado a la siguiente posición. Este mismo proceso es usado para cada posición. Ahora, si se quiere diseñar un circuito lógico que permita implementar este proceso, entonces simplemente se deberá usar el mismo circuito para cada una de las posiciones. Esto se ilustra en la Figura No. 10.

    En este diagrama las variables Ai representan los bits del operando almacenados en el acumulador (que también puede ser llamado el registro A). Las variables Bi representan los bits del segundo operando almacenados en el registro B. Las variables Ci representan los bits de carry entre las correspondientes posiciones. Las variables Si son los bits de la suma para cada posición.

    Los circuitos Full-Adder usados en cada posición tienen tres entradas: un bit A, un bit B y un bit C; y producen dos salidas: un bit de suma (S) y un bit de carry (C). Por ejemplo, el Full-Adder No. 0 tienen como entradas A0, B0 y C0, y produce las salidas S0 y C1. Lo anterior se repite para todos los bits de los operandos. Actualmente los computadores usan palabras de 32 y 64 bits, al contrario del de la figura que sólo es un sumador de 5 bits.

    'Lógica'

    Figura No. 10. Diagrama de Bloques de un sumador paralelo de 5-bits usando full-adders.

    El arreglo de la figura No. 10 se llama sumador paralelo (parallel adder) por que todos los bits de los operandos se usan simultáneamente en todos los circuitos. Esto significa que la suma en cada posición ocurre al mismo tiempo. Que es distinto de las sumas que se hacen en papel. Ya que se toma cada posición una a la vez, comenzando desde las posiciones menos significativas.

    El diseño de un Full-Adder

    El diseño de un Full-Adder es un típico problema de ingeniería -en este caso de electrónica- y resulta muy interesante y didáctico seguirlo paso a paso, se recomienda para ello consultar el libro "Digital Systems: Principles and Applications" de Ronald J. Tocci en las páginas 146 y 147.

    Lo primero que se hará es construir una Tabla de Verdad que muestre los valores de entrada y salida para todos los casos (recuerde que sólo se intenta diseñar un Full-Adder). En la siguiente tabla se puede ver aquello, con tres entradas (A, B y Cin) y dos salidas (S y Cout). Existen ocho posibles casos para las tres entradas, y para cada caso se desea la salida listada en los valores de salida. Por ejemplo, considere el caso A = 1, B = 0, y Cin = 1. Un Full-Adder (que abreviaremos FA) puede sumar estos bits para obtener las salidas S = 0 y Cout=1.

    A

    B

    Cin

    S

    Cout

    0

    0

    0

    0

    0

    0

    0

    1

    1

    0

    0

    1

    0

    1

    0

    0

    1

    1

    0

    1

    1

    0

    0

    1

    0

    1

    0

    1

    0

    1

    1

    1

    0

    0

    1

    1

    1

    1

    1

    1

    Como existen dos salidas, se puede diseñar el circuito por cada salida individualmente, comenzando con la salida de la suma S. Por la tabla de verdad se ve que hay cuatro casos donde S tiene valor 1. Si se compone una expresión para ello, usando el Dominio Lógico, y luego de refinarla, según un método que no es el caso desarrollar acá, se obtienen la siguiente expresión final:

    S = Xor( A, Xor( B, Cin )) (a)

    Si se considera ahora la salida Cout, también se puede componer una operación, en el dominio lógico, que permita realizarla:

    Cout = Or( And( B, Cin ), Or( And( A, Cin ), And( A, B ))) (b)

    Las expresiones a y b pueden ser implementadas como se muestra en la Figura No. 11, cada Full-Adder de la Figura No. 10 puede ser implementado según el circuito lógico que aparece en esta figura.

    Para desarrollar este circuito en términos del formato que se ha estado propugnando para los dominios, es necesario ampliar a la capacidad de definición de operaciones. Para ello es necesario que las nuevas operaciones, además de permitir combinaciones directas de las ya definidas, permitan otro tipo de combinaciones con más poder de cómputo. Ese es el objetivo de los lenguajes de Programación, permitir ampliar la capacidad de definición de nuevos dominios y operaciones, de manera que esta ampliación permita ampliar a su vez el espectro de los problemas posibles de abordar mediante el uso de un computador.

    Figura No. 11. Circuito Completo para Full-Adders.

    El PseudoLenguaje que se describe en el siguiente punto tiene la cualidad de permitir a quien lo ocupa ampliar su capacidad de resolver problemas mediante el uso de computador.

    CAPITULO 3

    LÓGICA DE PUERTAS

    Una puerta lógica, o lógica de puerta, es un dispositivo electrónico que es la expresión física de un operador booleano en la lógica de conmutación. Cada puerta lógica consiste en una red de dispositivos interruptores que cumple las condiciones booleanas para el operador particular. Son esencialmente circuitos de conmutación integrados en un chip.

    Claude Elwood Shannon experimentaba con relés o interruptores electromagnéticos para conseguir las condiciones de cada compuerta lógica, por ejemplo, para la función booleana Y (AND) colocaba interruptores en circuito serie, ya que con uno solo de éstos que tuviera la condición «abierto», la salida de la compuerta Y sería = 0, mientras que para la implementación de una compuerta O (OR), la conexión de los interruptores tiene una configuración en circuito paralelo.

    La tecnología microelectrónica actual permite la elevada integración de transistores actuando como conmutadores en redes lógicas dentro de un pequeño circuito integrado. El chip de la CPU es una de las máximas expresiones de este avance tecnológico.

    1. Lógica directa

    1.1 Puerta SI o Buffer

    'Lógica'

    Símbolo de la función lógica SI a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica SI, realiza la función booleana igualdad. En la práctica se suele utilizar como amplificador de corriente (buffer en inglés).

    La ecuación característica que describe el comportamiento de la puerta SI es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta SI

    Entrada A

    Salida A

    0

    0

    1

    1

    1.2 Puerta Y (AND)

    Símbolo de la función lógica Y a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica Y, más conocida por su nombre en inglés AND, realiza la función booleana de producto lógico. Su símbolo es un punto (·), aunque se suele omitir. Así, el producto lógico de las variables A y B se indica como AB, y se lee A y B o simplemente A por B.

    La ecuación característica que describe el comportamiento de la puerta AND es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta AND

    Entrada A

    Entrada B

    Salida AB

    0

    0

    0

    0

    1

    0

    1

    0

    0

    1

    1

    1

    Se puede definir la puerta AND, como aquella compuerta que entrega un 1 lógico sólo si todas las entradas están a nivel alto 1.

    1.3 Puerta O (OR)

    Símbolo de la función lógica O a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica O, más conocida por su nombre en inglés OR, realiza la operación de suma lógica.

    La ecuación característica que describe el comportamiento de la puerta OR es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta OR

    Entrada A

    Entrada B

    Salida A + B

    0

    0

    0

    0

    1

    1

    1

    0

    1

    1

    1

    1

    Podemos definir la puerta O como aquella que proporciona a su salida un 1 lógico si al menos una de sus entradas está a 1.

    1.4 Puerta OR-exclusiva (XOR)

    'Lógica'

    Símbolo de la función lógica O-exclusiva. a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica O-exclusiva, más conocida por su nombre en inglés XOR, realiza la función booleana A'B+AB'. Su símbolo es el más (+) inscrito en un círculo. En la figura de la derecha pueden observarse sus símbolos en electrónica.

    La ecuación característica que describe el comportamiento de la puerta XOR es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta XOR

    Entrada A

    Entrada B

    Salida A 'Lógica'
    B

    0

    0

    0

    0

    1

    1

    1

    0

    1

    1

    1

    0

    Se puede definir esta puerta como aquella que da por resultado uno, cuando los valores en las entradas son distintos. ej: 1 y 0, 0 y 1 (en una compuerta de dos entradas).

    Si la puerta tuviese tres o más entradas, la XOR tomaría la función de suma de paridad, cuenta el número de unos a la entrada y si son un número impar, pone un 1 a la salida, para que el número de unos pase a ser par. Esto es así porque la operación XOR es asociativa, para tres entradas escribiríamos: a'Lógica'
    (b'Lógica'
    c) o bien (a'Lógica'
    b)'Lógica'
    c. Su tabla de verdad sería:

    XOR de tres entradas

    Entrada A

    Entrada B

    Entrada C

    Salida A 'Lógica'
    B 'Lógica'
    C

    0

    0

    0

    0

    0

    0

    1

    1

    0

    1

    0

    1

    0

    1

    1

    0

    1

    0

    0

    1

    1

    0

    1

    0

    1

    1

    0

    0

    1

    1

    1

    1

    2 Lógica negada

    2.1 Puerta NO (NOT)

    'Lógica'

    Símbolo de la función lógica NO a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica NO (NOT en inglés) realiza la función booleana de inversión o negación de una variable lógica.

    La ecuación característica que describe el comportamiento de la puerta NOT es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta NOT

    Entrada A

    Salida 'Lógica'

    0

    1

    1

    0

    Se puede definir como una puerta que proporciona el estado inverso del que esté en su entrada.

    2.2 Puerta NO-Y (NAND)

    Símbolo de la función lógica NO-Y. a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica NO-Y, más conocida por su nombre en inglés NAND, realiza la operación de producto lógico negado. En la figura de la derecha pueden observarse sus símbolos en electrónica.

    La ecuación característica que describe el comportamiento de la puerta NAND es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta NAND

    Entrada A

    Entrada B

    Salida 'Lógica'

    0

    0

    1

    0

    1

    1

    1

    0

    1

    1

    1

    0

    Podemos definir la puerta NO-Y como aquella que proporciona a su salida un 0 lógico únicamente cuando todas sus entradas están a 1.

    2.3 Puerta NO-O (NOR)

    Símbolo de la función lógica NO-O. a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica NO-O, más conocida por su nombre en inglés NOR, realiza la operación de suma lógica negada. En la figura de la derecha pueden observarse sus símbolos en electrónica.

    La ecuación característica que describe el comportamiento de la puerta NOR es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta NOR

    Entrada A

    Entrada B

    Salida 'Lógica'

    0

    0

    1

    0

    1

    0

    1

    0

    0

    1

    1

    0

    Podemos definir la puerta NO-O como aquella que proporciona a su salida un 1 lógico sólo cuando todas sus entradas están a 0. La puerta lógica NOR constituye un conjunto completo de operadores.

    2.4 Puerta equivalencia (XNOR)

    Símbolo de la función lógica equivalencia. a) Contactos, b) Normalizado y c) No normalizado

    La puerta lógica equivalencia, más conocida por su nombre en inglés XNOR, realiza la función booleana AB+A'B'. Su símbolo es un punto (·) inscrito en un círculo. En la figura de la derecha pueden observarse sus símbolos en electrónica. La ecuación característica que describe el comportamiento de la puerta XNOR es:

    'Lógica'

    Su tabla de verdad es la siguiente:

    Tabla de verdad puerta XNOR

    Entrada A

    Entrada B

    Salida 'Lógica'

    0

    0

    1

    0

    1

    0

    1

    0

    0

    1

    1

    1

    Se puede definir esta puerta como aquella que proporciona un 1 lógico, sólo si las dos entradas son iguales, esto es, 0 y 0 ó 1 y 1.

    CONCLUSION.

    La lógica es la ciencia del razonamiento que nos permite hacer deducciones. En la electrónica los circuitos encargados de hacer deducciones lógicas son los circuitos lógicos.

    "Si usted se encuentra en un de los pasillos de un edificio y acciona el pulsor de llamada de los ascensores, en este momen­to aparecer el que se encuentre más cerca; ya dentro de la cabina cada pasajero pulsa el botón del piso deseado; el ascen­sor se detiene en los pisos en un orden lógico, sin tener en­cuenta el orden en que fueron accionados los pulsadores ante­riormente. Esa inteligencia se habilita a la máquina a tomar decisiones en el resultado de un pequeño número de circuitos elementales denominados circuitos lógicos.

    De acuerdo con la definición anterior que hemos dado a los circuitos lógicos podemos decir que estos circuitos encuentran aplicación en muchos campos como: La telegrafía, la telefonía, los procesos industriales, etc. en estos campos normalmente encontramos un computador digital (máquina hecha a base de circuitos lógicos) que se programan de manera tal que en cada circunstancia esté capacitada para tomar las decisiones lógicas correspondientes. En un proceso industrial, por ejemplo, el computador se programa para manejar todo un ciclo de producción y poder sacar en el menor tiempo posible la mayor cantidad de productos y al menor costo.

    En general podemos decir que la aplicación de la lógica en los computadores es casi infinita en nuestra vida moderna. En un ferrocarril, por ejemplo, el movimiento y el uso de los trenes debe estarse controlando permanentemente para transportar la máxima cantidad de mercancía en un tiempo aceptable y con el mínimo costo.

    BIBLIOGRAFÍA

    • Lógica formal y simbólica de Juvenal Canedo Chavez PRODUCCIONES “Cima” Vigésima octava edición aumentada.

    • Biblioteca Premium Microsoft Encarta 2006

    • www.electronicafacil.net/tutoriales/tutorial218.html

    • es.wikipedia.org/wiki/Circuito_de_conmutación

    • descartes.cnice.mecd.es/materiales_didacticos/logica_digital/LogicaDigital

    • Diccionario de Filosofía. José Ferrater Mora. Sudamericana. Buenos Arires.

    • Introducción de la lógica Simbólica. Gerold Stal. Ediciones Universidad de Chile

    • http://es.wikipedia.org/wiki/Circuito_de_conmutaci%C3%B3n"

    • www.lawebdelprogramador.com/temas/enlace.php?idp=1500&id=67&texto=Otros

    10

    p

    q

    r p ^ q ! r