G127401

UNIVERSIDAD TÉCNICA PARTICULAR DE LOJA
La Universidad Católica de Loja
MODALIDAD ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS DE LA EDUCACIÓN
Lógica Matemática
Guía Didáctica
4 27401
CICLO
DATOS DE IDENTIFICACIÓN:
MENCIÓN : Físico - Matemáticas
PROFESOR : Mat. Pablo Ancelmo Ramón Contento
TELÉFONO : (07) 2 570 275 Ext. 2505 / 2914
E-MAIL : paramon@utpl.edu.ec
TUTORÍA : Lunes y Martes de 16h00 a 18h00
Estimado Estudiante, dígnese confirmar la información aquí señalada llamando al Call Center 072588730, línea gratuita
1800 887588 o al mail callcenter@utpl.edu.ec
Reciba asesoría virtual en www.utpl.edu.ec
OCTUBRE 2007 - FEBRERO 2008

MATERIAL DE USO DIDÁCTICO PARA ESTUDIANTES DE LA UNIVERSIDAD TÉCNICA PARTICULAR DE LOJA,
PROHIBIDA SU REPRODUCCIÓN TOTAL O PARCIAL POR CUALQUIER MEDIO
LÓGICA MATEMÁTICA
Guía Didáctica
Pablo Ancelmo Ramón Contento
© 2006, UNIVERSIDAD TÉCNICA PARTICULAR DE LOJA
Diagramación, diseño e impresión:

EDITORIAL DE LA UNIVERSIDAD TÉCNICA PARTICULAR DE LOJA
Call Center: 593-7-2588730, Fax: 593-7-2585977
C.P: 11-01-608
www.utpl.edu.ec
San Cayetano Alto s/n
Loja - Ecuador
Primera edición
Segunda reimpresión
Reservados todos los derechos conforme a la ley. No está permitida la reproducción total o parcial de esta guía, ni su tratamiento informático, ni la
transmisión de ninguna forma o por cualquier medio, ya sea electrónico, mecánico, por fotocopia, por registro u otros métodos, sin el permiso previo
y por escrito de los titulares del Copyright.
Agosto, 2007
Índice
INTRODUCCIÓN ................................................................................................................. 5
OBJETIVOS GENERALES ..................................................................................................... 7
BIBLIOGRAFÍA ...................................................................................................................... 7
ORIENTACIONES GENERALES ......................................................................................... 9
PRIMER BIMESTRE................................................................................................................ 11
OBJETIVOS ESPECÍFICOS .................................................................................................... 11

CONTENIDOS ........................................................................................................................ 12
DESARROLLO DEL APRENDIZAJE .................................................................................. 13
CAPÍTULO 1. Aritmética Binaria ......................................................................................... 13
CAPÍTULO 2: Proposiciones ................................................................................................. 19
CAPÍTULO 3: Inferencia lógica ............................................................................................ 26
AUTOEVALUACIÓN ............................................................................................................ 34
SEGUNDO BIMESTRE .......................................................................................................... 37
OBJETIVOS ESPECÍFICOS ................................................................................................... 37

CONTENIDOS ........................................................................................................................ 38
DESARROLLO DEL APRENDIZAJE .................................................................................. 39
CAPÍTULO 1: Lógica de Predicados ................................................................................... 39
CAPITULO 2: Teorías matemáticas ..................................................................................... 51
AUTOEVALUACIÓN ........................................................................................................... 54
SOLUCIONARIO DE LAS AUTOEVALUACIONES ....................................................... 56

GLOSARIO DE SINÓNIMOS ............................................................................................... 58
ANEXOS ................................................................................................................................. 59
EVALUACIONES A DISTANCIA
Guía Didáctica: Lógica Matemática
Introducción
No puedes encontrar la verdad con la Lógica,
si no la has encontrado ya sin ella.
G. K. CHESTERTON
La lógica y su historia
La lógica es una disciplina tan antigua como el hombre, pues su

desarrollo está ligado al desarrollo intelectual del ser humano, por ello
se la conoce como ciencia del razonamiento. El objetivo de la lógica
matemática es cuestionar y sustentar los conceptos y reglas empleados
en matemáticas, por ello se la considera una “Metamatemática”,
donde la construcción de sistemas formales es su eje fundamental.
El período clásico de la lógica está considerado entre los años 600
aC hasta 300 aC, en esta etapa de su desarrollo, Aristóteles presenta el razonamiento
deductivo y sistematizado, además trata las reglas del razonamiento silogístico, y
Euclides es quien tuvo mayor influencia en los matemáticos, al establecer el método
axiomático, en su obra “Elementos”. Los lógicos de la edad moderna (Leibniz, Euler
y otros) procuraron simplificarla al máximo y su tratamiento matemático se completó
hasta principios del siglo XX (Boole, De Morgan, Fregué, Russell), donde surgen la
lógica simbólica, la lógica booleana, el cálculo proposicional, la teoría de cuantificación;
pero también aparecen los estudios de Russell y Godel que ponen en evidencia algunas
limitantes de la lógica y de la ciencia en general. Posteriormente, Turing une la lógica
y la computación demostrando que es posible construir una máquina universal simple
capaz de realizar operaciones matemáticas e incluso imitar cosas realizables por el
cerebro humano; estas contribuciones importantes para la computación dieron origen a
la revolución digital con la invención de la computadora y el acceso universal a redes de
alta velocidad. Se espera que la siguiente revolución lógica sea la asimilación práctica de
la matemática y la computación dentro de la lógica, es decir que las máquinas exploten la
información de forma inteligente pasando de bases de datos a bases de conocimientos.
Importancia de la lógica
Sin duda alguna, la lógica tiene impacto fundamental como ciencia de las ciencias en el
pensamiento contemporáneo y en el surgimiento de la tecnología computacional. En este
dominio, la inteligencia artificial, la programación lógica y la demostración automática
de teoremas han producido desarrollos que desafían la creencia tradicional de que el
razonamiento deductivo es patrimonio exclusivo del ser humano, al lograr su imitación
http://w3.mor.itesm.mx/~logica/
MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL

en el ámbito computacional. Las investigaciones lógicas en el ámbito de la matemática se

han desarrollado en los últimos 70 años básicamente en cuatro direcciones: la teoría de
la demostración, la aritmética recursiva, la teoría de modelos (o estudio de la relación de
los lenguajes formales y sus interpretaciones) y la teoría de conjuntos.
Por todo lo mencionado, es importante el estudio de la lógica en la formación de

los profesionales de la educación, porque esta proporciona técnicas sencillas que
permitirán determinar la validez de un argumento, realizar deducciones y plantear
demostraciones.
Empezamos el estudio de esta asignatura, en el primer bimestre, haciendo una breve

revisión del sistema de numeración binario, las operaciones básicas de interconversión
con otros sistemas, y además porque es un lenguaje que ha empleado la lógica para el
desarrollo de la computación; luego revisaremos la teoría básica de las proposiciones y
la inferencia como unidad fundamental dentro de la lógica ya que en ésta se definen las
propiedades, operaciones y reglas que permiten realizar pruebas formales de validez
de razonamientos. Tomando como base lo aprendido en las unidades mencionadas, en
el segundo bimestre estudiamos la teoría de cuantificadores, el silogismo y métodos de
demostración con la ayuda de la teoría axiomática. Con estos temas básicos, se busca
desarrollar en el alumno un criterio de alto nivel en lo referente al razonamiento lógico
y que éste a su vez le permita hacer uso adecuando de las técnicas de comprobación
y demostración. No se exigen conocimientos previos para esta disciplina aparte de
nociones básicas de aritmética y conjuntos. Para abordar adecuadamente la temática
descrita, se ha seleccionado un texto actualizado que emplea un lenguaje sencillo y en el
cual consta un alto porcentaje de los contenidos previstos; sin embargo es fundamental la
revisión de la bibliografía complementaria a fin de ampliar y reforzar los conocimientos.
Al respecto de la bibliografía hablaremos en forma más detallada luego de los objetivos
generales que se han planteado para este curso.
UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

Ojetivos Generales
• Potenciar en el alumno la capacidad de razonar y formalizar correctamente.
• Dar a conocer conceptos básicos y herramientas de la lógica matemática y sus

aplicaciones.
Bibliografía
Texto Básico
PASCUAL JULIAN IRANZO, Lógica Simbólica para Informáticos, Editorial Alfaomega

Ra-Ma, Colombia 2006.
Este texto pone de relieve la relación entre la Lógica y la Informática, así como se
relacionan la Física y la Matemática; su estudio se centra principalmente en los sistemas
lógicos tradicionales (lógica de proposiciones y predicados) dando gran importancia a la
formalización y procesos deductivos. Se lo considera como fuente primaria de información
para el estudiante de modalidad abierta porque el desarrollo de sus contenidos busca
equilibrar sin caer en el estudio meramente descriptivo de la lógica, además cuenta con
suficientes ejercicios propuestos para la práctica de los estudiantes.
Textos Complementarios
ASTUDILLO Dolores, ENCISO Liliana, Lógica Matemática, Universidad Técnica

Particular de Loja, Loja, Ecuador 1998.
Se trata de un texto guía diseñado para estudiantes de Modalidad Abierta, ofrece un

curso completo de Lógica Matemática, tratando en forma muy didáctica los contenidos
y con una gran cantidad de ejercicios resueltos y propuestos.
BARCO GÓMEZ Carlos, BARCO GÓMEZ Germán y ARISTIZABAL BOTTERO William,

Matemática Digital, Editorial MacGraw-Hill Colombia 1998.
Propone un estudio de la lógica matemática orientado para informáticos, ingenieros y

tecnólogos, desarrolla los contenidos orientados a la tecnología por ello el uso puntual de
la sintaxis y los problemas de aplicación. Sin embargo, se lo considera importante para el
estudio de la lógica en el campo de la educación, puesto que no podemos desvincular a
la lógica y sus aplicaciones tecnológicas.

PROAÑO Ramiro, Lógica, Conjuntos y Estructuras, Editorial Escuela Politécnica

Nacional, Quito-Ecuador 1992.
Es un texto que presenta en forma puntual el desarrollo de los temas referentes a la lógica,
utilizando conceptos muy resumidos y una gran cantidad de ejemplos, lo que permite
que el estudio sea más interesante, y al final de cada unidad propone un test como un
indicador de la asimilación del conocimiento que se ha logrado. Además podemos
añadir que cumple las expectativas del estudiante de lógica y temas afines, porque ha
sido desarrollado en un ambiente propicio considerando la experiencia y fortalezas de
personas que se dedican a la educación universitaria.
SUPPES Patrick, HILL Shirley, Lógica Matemática, Editorial Revete SA, España 1982.
Aunque hayan pasado más de veinte años de su publicación, podemos decir que no ha
perdido vigencia debido a que los contenidos que desarrolla son relevantes dentro de
la lógica, además, propone una gran variedad de ejemplos prácticos al finalizar cada
unidad, y su lenguaje es muy sencillo de entender, sin perder el rigor de estudio.
UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

Orientaciones Generales
El curso de esta materia tiene una duración aproximada de 70 horas, esto implica que
usted debe distribuir su tiempo de forma adecuada, dedicar aproximadamente 4 horas
por semana para revisar los contenidos de la materia; tomando en cuenta que se trata de
una disciplina donde la teoría y la práctica deben ir de la mano.
Los materiales básicos para un estudio efectivo, son la guía didáctica y el texto básico,
además por tratarse de una materia que basa sus técnicas en la aplicación de leyes o reglas,
y manipula un conjunto de enunciados simbolizados, es conveniente que al momento de
realizar los ejercicios prácticos, tenga a su alcance un formulario con todas las equivalencias
y reglas. Sin embargo, tampoco es recomendable que sea dependiente de su formulario,
sino que sepa aplicar correctamente y con buen criterio todas las fórmulas y axiomas
que se requieren para realizar una prueba formal o demostración. Por otra parte, como
ya se indicó en la introducción de la guía, no se requieren conocimientos avanzados de
matemática o de otro tipo para iniciarse en el estudio de la lógica matemática; solamente
deberá escoger una metodología adecuada que le permita revisar el sustento teórico, los
ejemplos resueltos, las aplicaciones y emprender en el desarrollo de su trabajo a distancia.
No olvide que siempre hay una persona en la universidad que le puede asesorar ante
cualquier dificultad que se le presente en el transcurso de la materia, para ello debe
hacer uso efectivo de los medios que están a su alcance como son el Entorno Virtual de
Aprendizaje (EVA) y el teléfono o fax.
Con respecto al EVA debo manifestar que la universidad, a través de sus docentes
investigadores, preocupada porque el estudiante de la Modalidad Abierta y a Distancia
acceda a una educación de calidad, ha desarrollado una forma innovadora de asesoría
vía Internet, a la que podríamos llamar “aula virtual” donde usted encontrará los
anuncios o explicaciones que cada profesor escribe para sus alumnos semanalmente,
y esta asignatura no es la excepción; además de leer los anuncios puede encontrar
material complementario en digital con respecto a los temas de la materia, y participar
interactivamente con los demás compañeros a través del foro, el mismo que será
calificado según lo estime el profesor. Complementariamente, en la guía didáctica usted
dispone de una autoevaluación por cada bimestre, la misma que sirve como indicador
para “medir” el grado de comprensión de la materia, por ello es recomendable que la
desarrolle luego de culminado el estudio de cada bimestre, y compare su resultado con
la solución que se encuentra al final de la guía.

P rimer Bimestre
Objetivos Específicos
- Definir y caracterizar los principales sistemas de numeración utilizados en
computación.
- Comprender las técnicas de conversión de un número en diferentes bases.
- Realizar algunas operaciones básicas con números binarios.
- Introducir la terminología básica que se emplea en códigos de computador.
- Definir y distinguir una proposición lógica de cualquier enunciado, y sus clases.
- Utilizar tablas de verdad para demostrar que una proposición o esquema molecular
es una tautología, contradicción o contingencia.
- Introducir las nociones de argumento, lenguaje formal, estructura de un enunciado,

consecuencia lógica, en base a la exposición del sistema formal.
- Caracterizar un argumento desde el punto de vista de la lógica formal y

simbólica.
- Utilizar adecuadamente la simbología de proposiciones, conectores, signos de

puntuación o agrupación, en el planteamiento de un argumento.
- Utilizar correctamente las reglas de inferencia para realizar la prueba formal de

validez de un argumento.
- Determinar si un conjunto de premisas es consistente o no, mediante el uso de

reglas de inferencia.
- Representar circuitos lógicos a partir de esquemas moleculares.
MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL 11

Contenidos
1. ARITMÉTICA BINARIA Y CÓDIGOS DE COMPUTADOR
1.1 Sistema binario

1.2 Conversiones
1.3 Operaciones con binarios
1.4 Códigos de computador
2. PROPOSICIONES
2.1 Proposiciones.- Definiciones básicas

2.2 Conectivos lógicos
2.3 Tablas de verdad
2.4 Equivalencias lógicas
2.5 Tautologías, contradicciones
3. INFERENCIA LÓGICA
3.1 Reglas de inferencia

3.2 Prueba formal de validez
3.3 Consistencia e inconsistencia
3.4 Circuitos lógicos
12 UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

Desarrollo del Aprendizaje

ARITMÉTICA
CAPÍTULO 1:
BINARIA
El sistema de numeración utilizado universalmente para representar cantidades fuera

de un sistema digital es el decimal (base 10), el mismo que consta de 10 dígitos (0-9) que
podemos colocar en grupos, ordenados de izquierda a derecha y de mayor a menor; nos
valemos de este sistema para representar cualquier cantidad en el conjunto de los reales.
Cada posición tiene un valor o peso de 10n donde n representa el lugar contado por la
derecha, por ejemplo:
2135 = 2 x 103 + 1 x 102 + 3 x 101 + 5 x 100
Explícitamente, se indica la base de numeración como 123510.
Sin embargo habrá situaciones en las que los valores decimales tengan que convertirse
en valores binarios antes de ser introducidos en un sistema digital, esto implica que los
valores binarios de la salida tengan nuevamente que convertirse en decimales para ser
presentados al mundo exterior.
Situación Real Sistema Digital Mundo Exterior

DECIMAL BINARIO DECIMAL
Sistema Binario
En un ordenador el sistema de numeración es binario (en base 2), utilizando el 0 y el

1, debido precisamente al número de estados estables en los dispositivos digitales que
componen una computadora. Adoptando la notación de la lógica positiva tenemos: 1
(verdadero, activo), 0 (falso, inactivo).
Análogamente a la base 10, cada posición tiene un valor de 2n donde n es la posición

contando desde la derecha y empezando por 0:
1012 = 1 x 22 + 0 x 21 + 1 x 20
Además, por su importancia y utilidad, es necesario conocer otros sistemas de numeración

como son el octal (base 8) y el hexadecimal (base 16), utilizados para representar números
binarios grandes, además de su amplia aplicación en los sistemas digitales. En la tabla
siguiente se muestra las equivalencias de los cuatro sistemas mencionados.

Decimal Binario Octal* Hexadecimal

0 0000 0 0
1 0001 1 1
2 0010 2 2
3 0011 3 3
4 0100 4 4
5 0101 5 5
6 0110 6 6
7 0111 7 7
8 1000 - 8
9 1001 - 9
10 1010 - A
11 1011 - B
12 1100 - C
13 1101 - D
14 1110 - E
15 1111 - F
* Para el octal se agrupan en cifras de 3.
Con el uso de esta tabla, es muy sencillo convertir un binario ya sea a octal o hexadecimal,
si agrupamos las cifras binarias de 3 en 3 (octal) o de 4 en 4 (hexadecimal):
Base 2 a base 8: 111 0102 = 728
Base 2 a base 16: 0100 11002 = 4C16
A la inversa, basta convertir cada dígito octal o hexadecimal en binario:
Base 8 a base 2: 328 = 011 0102
Base 16 a base 2: 3216 = 0011 00102
Estructura elemental de la memoria de la computadora
Toda la memoria del ordenador se compone de dispositivos electrónicos que

pueden adoptar únicamente dos estados, que representamos matemáticamente por
0 y 1. Cualquiera de estas unidades de información se denomina BIT, contracción
de «binary digit» en inglés. Cada grupo de 8 bits se conoce como byte u octeto. Es la
unidad de almacenamiento en memoria, la cual está constituida por un elevado
número de posiciones que almacenan bytes. La cantidad de memoria de que dispone
un sistema se mide en kilobytes (1 Kb = 1024 bytes), en megabytes (1 Mb = 1024 Kb),
gigabytes (1 Gb = 1024 Mb), terabytes (1 Tb = 1024 Gb) o petabytes (1 Pb = 1024 Tb).
Los bits en un byte se numeran de derecha a izquierda y de 0 a 7, correspondiendo con

los exponentes de las potencias de 2 que reflejan el valor de cada posición. Un byte nos
permite, por tanto, representar 256 estados (de 0 a 255) según la combinación de bits
que tomemos. Cada grupo de cuatro bits de un byte constituye un nibble, de forma que
los dos nibbles de un byte se llaman nibble superior (el compuesto por los bits 4 a 7) e
inferior (el compuesto por los bits 0 a 3). El nibble tiene gran utilidad debido a que cada
uno almacena un dígito hexadecimal.

CONVERSIONES
Conversión de binario a decimal.- El sistema de numeración binario es un sistema de

posición donde cada dígito binario (bit) tiene un valor basado en su posición, donde el
número binario puede convenirse a su equivalente decimal, simplemente sumando en el
número binario las diversas posiciones que contenga un 1. Por ejemplo:
1 1 1 0 1 12 de binario a decimal
1 x 25 + 1 x 24 + 1 x 23 + 0 x 22 + 1 x 2 + 1 = 6910
Conversión de decimal a binario.- Existen dos maneras de convertir un número decimal

entero a su representación equivalente en el sistema binario. El primer método es inverso
al proceso descrito anteriormente. El número decimal se expresa simplemente como
una suma de potencias de 2 y luego los unos y los ceros se escriben en las posiciones
adecuadas de los bits. Por ejemplo:
45 = 32 + 8 + 4 + l = 25 + 0 + 23 +2 2 + 0 + 20 entonces es igual a 1 0 1 1 0 12

Pasar a decimal el binario 101011102
1 0 1 0 1 1 1 0
0 * 20 = 0
1 * 21 = 2
1 * 22 = 4
1 * 23 = 8
0 * 24 = 0
1 * 25 = 32
0 * 26 = 0
1 * 27 = 128
174
101011102 = 17410
El segundo método consiste en dividir repetidas veces el número entre 2 hasta que su
cociente sea menor que él. Por ejemplo:
174 2
0 87 2
1 43 2
1 21 2
1 10 2
0 5 2
1 2 2
0 1
www.monografías.com

Observemos que el número se forma tomando los residuos pero en forma inversa, es
decir el primer digito será el último residuo y así sucesivamente. El número quedaría
como sigue:
1 0 1 0 1 1 1 02
OPERACIONES CON BINARIOS
Hay cinco operaciones binarias básicas: AND, OR, NOT, XOR y ADD. La resta,
multiplicación y división se derivan de estas cinco anteriores. Cualquiera sea la longitud
de la palabra o palabras objeto de la operación, siempre se hace de a un bit por vez de
derecha a izquierda (tal como si fuera una suma o resta con números decimales). Esto
permite una definición de cada operación que es independiente de la longitud de los
operandos. La operación NOT es la única que se realiza sobre un sólo operando, y las
otras cuatro sobre dos operandos.
- La operación AND (Y) tiene resultado 1 si sus dos operandos son 1
- La operación OR (O) tiene resultado 1 si cualquiera de sus operandos es 1
- La operación XOR (O EXCLUSIVO) tiene resultado 1 si los operandos son distintos

(uno en 0 y el otro en 1)
- La operación NOT (NO) tiene resultado 1 si el operando es 0 y viceversa
- La operación ADD (SUMA) se define igual que con los números decimales.
AND OR XOR NOT ADD

0*0=0 0+0=0 0X0=0 NOT 1 = 0 0+0=0
0*1=0 0+1=1 0X1=1 NOT 0 = 1 0+1=1
1*0=0 1+0=1 1X0=1 --- 1+0=1
1*1=1 1+1=1 1X1=0 --- 1 + 1 = 10
Observación: Estas operaciones tienen relación directa con las tablas de verdad de los operadores
lógicos que se desarrollan en el siguiente capítulo, y que las puede revisar en las páginas 25-27del
texto básico.
Para sumar números, tanto en base 2 como hexadecimal, se sigue el mismo proceso
que en base 10, es decir, la operación se desarrolla en forma tradicional, salvo el caso de
1+1=10 como se indica en la tabla anterior.
Ejemplos de suma
1 1 1 1 1 Acarreo
1 1 0 0 1 25
+ 1 0 1 0 1 1 + 43
1 0 0 0 1 0 0 68

1 1 Acarreo
1 1 0. 1 0 6.50
+ 1 1 0 1. 0 1 + 13.25
1 0 0 1 1. 1 1 19.75
Ejemplo de producto
1 1 0 0 1 25
* 1 0 0 1 1 * 19
1 1 0 0 1
1 1 0 0 1
1 1 0 0 1 0 0
1 1 1 0 1 1 0 1 1 475
Es lo que hacemos en la suma decimal 5+5=10 (nos llevamos “1” para la operación del
dígito siguiente). Este llevarse “1” es bastamente usado entre los procesadores digitales
y tiene un nombre especial: carry (lo verá abreviado como CY, C o CF-por carry flag), lo
que en castellano se traduce como “acarreo” (que suena muy mal, asi que le seguiremos
llamando carry). Estas operaciones también se llaman “booleanas” ya que se basan en el
álgebra de Boole.
Complemento a dos.- Se define como el valor negativo de un número el que necesitamos

sumarlo para obtener 0. En general, para hallar el complemento a dos de un número
cualquiera basta con calcular primero su complemento a uno, que consiste en cambiar
los unos por ceros y los ceros por unos en su notación binaria, luego se le suma una
unidad para calcular el complemento a dos. Con una calculadora, la operación es más
sencilla: el complemento a dos de un número A de n bits es 2n-A.
CÓDIGOS DEL COMPUTADOR
Agrupaciones de bytes
Tipo Definición
Palabra 2 bytes contiguos
Doble palabra 2 palabras contiguas (4 bytes)
Cuádruple palabra 4 palabras contiguas (8 bytes)
Párrafo 16 bytes
Página 256 bytes, 16 Kb, etc.
Segmento 64 Kbytes
Números binarios codificados en decimal (BCD)
Consiste en emplear cuatro bits para codificar los dígitos del 0 al 9 (desperdiciando
las seis combinaciones que van de la 1010 a la 1111). La ventaja es la simplicidad de
conversión a/de base 10, que resulta inmediata. Los números BCD pueden almacenarse
desempaquetados, en cuyo caso cada byte contiene un dígito BCD (Binary-Coded

Decimal); o empaquetados, almacenando dos dígitos por byte (para construir los
números que van del 00 al 99). La notación BCD ocupa cuatro bits -un nibble- por cifra,
de forma que en el formato desempaquetado el nibble superior siempre es 0.
Números en punto flotante
Son grupos de bytes en los que una parte se emplea para guardar las cifras del número
(mantisa) y otra para indicar la posición del punto flotante (exponente), de modo
equivalente a la notación científica. Esto permite trabajar con números de muy elevado
tamaño -según el exponente- y con una mayor o menor precisión en función de los bits
empleados para codificar la mantisa.
Código ASCII
El código A.S.C.I.I. (American Standard Code for Information Interchange) es un

convenio adoptado para asignar a cada carácter un valor numérico; su origen está en los
comienzos de la Informática tomando como muestra algunos códigos de la transmisión
de información de radioteletipo. Se trata de un código de 7 bits con capacidad para 128
símbolos que incluyen todos los caracteres alfanuméricos del inglés, con símbolos de
puntuación y algunos caracteres de control de la transmisión. Por ejemplo si usted pulsa
en el teclado de una computadora, la combinación de teclas: Alt-94 (en una portátil: alt
gr 2), observa que se genera el símbolo @; estos símbolos son generados por el código
ASCII.
Espero que con estas cortas definiciones y ejemplos que se han desarrollado, usted
haya asimilado la teoría fundamental de los números binarios. No es el objetivo de esta
guía desarrollar a detalle toda la teoría de la Aritmética Binaria, pero con lo expuesto
seguro que usted estará en capacidad de entender cualquier texto que se escriba en este
lenguaje.
Ahora continuamos con la revisión de un tema básico para el desarrollo de la Lógica

Simbólica, como es la teoría proposicional.

PROPOSICIONES
CAPÍTULO 1I:
(Capítulo 2 del texto básico)
La palabra lógica proviene del término griego “logos” que significa razonamiento o
discurso, y se trata de una disciplina que estudia las formas y leyes del pensamiento
basada en un lenguaje exacto y un conjunto de reglas que permite obtener una conclusión.
También se concibe a la Lógica como ciencia que enseña a razonar con exactitud ya sea
de forma verbal o matemática mediante un lenguaje simbólico.
Como ya se lo manifiesta en la introducción de esta guía, es una disciplina tan antigua

que formalmente empezó a ser estudiada por Aristóteles (siglo IV aC), y siglos más
tarde, toda esta teoría fue utilizada por George Boole (1847) para desarrollar la lógica
Matemática o Simbólica, que ahora es motivo de nuestro estudio.
Proposición.- Sentencia declarativa que puede ser verdadera o falsa pero no ambas.
Las proposiciones serán expresadas a través de letras del alfabeto español denominadas
variables: P, Q, R, … (a veces se emplean letras minúsculas: p, q, r, …).
Cabe destacarse que no toda oración gramatical representa una proposición, es así
que, tratando de resumir podemos decir que representan proposiciones las oraciones
declarativas (informativas, descriptivas, explicativas), las leyes científicas, las fórmulas
matemáticas (teoremas), enunciados cerrados o definidos, entre otros.
Clases de proposiciones
Se definen dos clases: proposiciones simples (atómicas) y compuestas (moleculares). Las

primeras representan la unidad mínima de un razonamiento y no constan de conectores
lógicos, y las segundas están conformadas por la unión de dos o más proposiciones
simples, salvo el caso de proposiciones negativas donde el operador negación afecta sólo
a una proposición. Esto lo veremos un poco más adelante.
Ejemplos de proposiciones
P. simples: - Einstein fue un prestigioso físico alemán.

- El cuadrado de la hipotenusa es igual a la suma de los
cuadrados de los catetos en un triángulo rectángulo.
P. compuestas: - Newton realizó contribuciones a la Física y a la

Matemática.
- No es cierto que, si Juan estudia Matemática no pueda
estudiar derecho.
http://www.itq.edu.mx/vidatec/espacio/Discretas/Mates.html (revisado en Junio de 2006)

También es importante hablar de un alfabeto proposicional, el mismo que está

conformado por:
- Un conjunto de variables denominadas átomos: P, Q, R, …

- Un conjunto de conectivos lógicos (negación, conjunción, disyunción, implicación
y equivalencia)
- Los símbolos de agrupación (paréntesis, corchetes)
Conectivos Lógicos (operadores o conectores).- son términos de enlace que sirven

para formar nuevas proposiciones mediante las operaciones lógicas, dando lugar a
representaciones simbólicas de fórmulas o esquemas moleculares complejos donde es
necesario el uso de signos de agrupación para definir la jerarquía de cada conectivo. Son
básicamente cinco: negación, conjunción, disyunción, condicional, bicondicional. En la
tabla siguiente se muestra cada uno con la respectiva simbología y representación.
OPERADOR SIMBOLO LÓGICA BINARIA REPRESENTACIÓN

no, es falso que, no
Negación ¬, ~ NOT es verdad que, es
imposible que, etc.
Y, pero, incluso, sin
Conjunción ∧, &, • AND embargo, aunque,
también, etc.
Disyunción O, a menos que, salvo
∨, + OR
Inclusiva que, excepto que, etc.
Disyunción
∨, ∆ XOR O bien A o bien B
Exclusiva
Entonces, por
consiguiente, en
Condicional →, ⇒ -
conclusión, por tanto,
etc.
Si y sólo si, es idéntico,
Bicondicional ↔, ⇔ -
etc.
Complementariamente, cada operador tiene su propia tabla de verdad, las mismas

que sirven para determinar el valor de verdad de proposiciones complejas (fórmulas),
la limitante es que a medida que aumenta el número de proposiciones simples que
componen la fórmula, el número de filas de la tabla crece geométricamente. La relación
es la siguiente: “Para una fórmula que consta de n proposiciones simples, la tabla tendrá
2n filas”; por ello si n es igual a 2, 3 o 4 es manejable, para valores mayores, el uso de la
tabla se vuelve complicado, y en este caso es preferible aplicar leyes de las proposiciones
o reglas de inferencia que veremos más adelante.

Nota: La combinación de las variables (P, Q, …) y los conectores lógicos por medio de signos
de agrupación se denomina esquema molecular.
Fórmula Bien Formada (fbf).- Se define como:
- Una fórmula atómica es una fórmula

- P es una fórmula, también lo es ¬P.
- Si P y Q son fórmulas, entonces la conjunción, disyunción, implicación y equivalencia
de P y Q también lo serán.
- Una expresión es una fórmula sí y sólo si se puede demostrar por las condiciones
anteriores.
La jerarquía de los conectivos se aplica de la siguiente forma: Negación, conjunción,

disyunción, condicional y bicondicional.
Valor de Verdad.- Es una condición de verdad (V o F) asignada a una fórmula.
Tabla de Verdad.- Es el resultado de aplicar valores de verdad en cada expresión atómica

que conforma la proposición compuesta; de esta forma, cualquier renglón de la tabla
para una fórmula dada P se le denomina interpretación de P.
Tautología (V).- Una fórmula P es una tautología si su valor es V para toda interpretación
de P. El ejemplo más sencillo es: P ∨ ¬P. En general, es una fórmula que siempre es
verdadera, independientemente del valor lógico de las proposiciones simples que la
componen.
Un esquema molecular (proposición compuesta) es una tautología cuando en la tabla de

verdad, los valores del operador principal, son todos verdaderos.
Ejemplo: Demostrar que el esquema molecular: [(P∨Q) ∧ ¬P] → Q, es tautológico.
P ¬Q ¬P PvQ (P∨Q) ∧ ¬P [(P∨Q) ∧ ¬P] → Q

V V F V F V
V F F V F V
F V V V V V
F F V F F V
Se puede concluir que la proposición: [(P∨Q) ∧ ¬P] → Q representa una tautología; nótese
que bajo el operador principal (→) todos los valores son V. Si observa en el texto básico,
pág. 95, este esquema se refiere a la regla de inferencia básica denominada silogismo
disyuntivo (o también Tollendo Ponens).
La tabla anterior, escrita en binario sería:

P Q ¬P PvQ (P∨Q) ∧ ¬P [(P∨Q) ∧ ¬P] → Q

1 1 0 1 0 1
1 0 0 1 0 1
0 1 1 1 1 1
0 0 1 0 0 1
Contradicción (F).- Una fórmula P es una contradicción o inconsistencia si su valor es F

bajo cualquier posible interpretación de P. Ejemplo: P ∧ ¬P. Al contrario que tautología,
todos los valores de la columna principal son falsos; es decir, la negación de una tautología
será una contradicción.
Ejemplo: Demostrar que el esquema siguiente es una contradicción:
[ [P → (Q ∨ R)] ∧ (Q→R) ] → (P → R) (Queda como ejercicio)
Contingencia.- Un esquema molecular es contingente o representa una contingencia

cuando en la columna principal de su tabla de verdad, existe por lo menos un valor
verdadero y un falso.
Equivalencia Proposicional.- Dos fórmulas P y Q se dice que son equivalentes si y sólo

si P ≡ Q es una tautología.
Ejemplo: Probar que la proposición ¬P ∨ Q es equivalente a P → Q
Para esto utilizamos la siguiente tabla:
1 2 3 4 5 6
P ¬P Q ¬P v Q P →Q (¬P v Q)↔ (P→Q)
V F V V V V
V F F F F V
F V V V V V
F V F V V V
Se observa en la columna 6 que todos los valores son verdaderos, lo que implica que se
trata de una tautología; quizá sea suficiente desarrollar solamente hasta las columnas 4
y 5, y de su resultado se observa que son columnas iguales, luego la columna 7 sería la
comprobación de esto.
Los ejemplos más sencillos de equivalencias lógicas se resumen en la tabla de las Leyes
del Álgebra Proposicional (Leyes de las proposiciones) que se puede apreciar en el Anexo
No. 1de la Guía o en el Apéndice C literal C1 del texto básico.

Nota: La diferencia básica entre bicondicional y equivalencia, es que el primero representa

una operación entre proposiciones, mientras que la equivalencia es una relación entre fórmulas
proposicionales.
Como se habrá dado cuenta, para construir una tabla de verdad, se requiere que el
esquema molecular, fórmula o argumento esté simbolizado. A continuación se presenta
un ejemplo de proposiciones textuales, de las cuales se busca probar su equivalencia.
Ejemplo: Pruebe mediante tablas si las proposiciones A y B son equivalentes o no.

A = No es el caso que, Juan apruebe el examen de admisión y no ingrese a la
Universidad.
B = Juan no aprobó los exámenes de admisión si él no ingresó a la Universidad.
Paso 1: simbolizar cada proposición
Sean: P : Juan aprueba el examen de admisión

Q : Juan ingresa a la Universidad
Proposición A: ¬ (P∧¬Q)
Proposición B: ¬Q → ¬P
Las letras A y B representan a las proposiciones compuestas, mientras que las variables
P y Q representan a las proposiciones simples.
Paso 2: Plantear la tabla para cada proposición, esto se puede hacer de dos formas:
escribir una tabla para la proposición A y otra para la B por separado, o utilizar la misma
tabla para ambas proposiciones; probablemente la segunda opción es más adecuada,
pero usted es libre de elegir cualquier alternativa. Utilizaré la segunda opción en este
ejemplo.
1 2 3 4 5 6 7
P Q ¬P ¬Q P ∧ ¬Q ¬ (P ∧ ¬Q) ¬Q → ¬P
V V F F F V V
V F F V V F F
F V V F F V V
F F V V F V V
Por la igualdad de las columnas (6) y (7) se concluye que las proposiciones A y B son
equivalentes.

Observaciones:
- La forma del verbo (ser) que constituye la proposición, no cambia la forma lógica de la
proposición. Ejm: Juan aprueba … o Juan aprobó.
- Tener presente que la forma de un condicional es: Si P entonces Q (P→Q), sin embargo
hay argumentos que expresan lo mismo pero en forma inversa: Q si P, como ocurre en la
proposición B del ejemplo anterior; esto no cambia la simbología.
Algunas Propiedades Básicas de los operadores
Conmutativa
Tanto la conjunción como la disyunción tienen la propiedad conmutativa, es decir el

orden de los enunciados de las conjunciones o de las disyunciones no altera su valor de
verdad: es lo mismo P ∧ Q que Q ∧ P, y también es lo mismo P ∨ Q que Q ∨ P. Lo mismo
podemos decir del operador bicondicional: P↔Q es lo mismo que Q↔P.
Pero, ¿Ocurre lo mismo con el condicional? ¿Es lo mismo P → Q que Q → P? La respuesta

es que no. Veámoslo con cierto detenimiento.
Se dice que Q → P es el recíproco de P → Q. El implicador no tiene la propiedad

conmutativa, como se aprecia en la comparación de las tablas de verdad de P → Q y de
su recíproco Q → P:
P Q P→Q Q→ P
V V V V
V F F V
F V V F
F F V V
El enunciado Q → P es el recíproco de P→Q. De la tabla concluimos que un enunciado

condicional y su recíproco no son equivalentes lógicamente.
Veámoslo con un ejemplo:
Sea P el enunciado “Llueve”, y Q: “El suelo está mojado”, siendo, por consiguiente P→
Q “Si llueve, entonces el suelo está mojado”. Veamos el recíproco de este enunciado: Q
→P: “Si el suelo está mojado, entonces llueve”. Vemos que los dos enunciados no son
lógicamente equivalentes, pues si P es verdadero, y Q falso:
• P→Q ("Si llueve, entonces el suelo está mojado") es necesariamente falso

• Q→P ("Si el suelo está mojado, entonces llueve") es verdadero, pues una falsedad
implica cualquier cosa manteniendo la verdad del condicional.

Una variante del condicional es el contrarrecíproco, aunque un enunciado condicional y

su recíproco no son equivalentes, sí lo son un enunciado condicional y su contrarrecíproco.
El contrarrecíproco del enunciado P→Q es ¬Q →¬P (es decir, la negación de cada uno de
los enunciados del recíproco). Observemos la tabla:
P Q P → Q ¬Q ¬P ¬Q → ¬P
V V V F F V
V F F V F F
F V V F V V
F F V V V V
Observando la tercera y la sexta columna (ordenándolas desde el extremo izquierdo)

se tienen iguales valores lo que permite concluir que un enunciado condicional y su
contrarrecíproco son equivalentes lógicamente.

INFERENCIA LÓGICA
CAPÍTULO III:
CONSISTENCIA E INCONSISTENCIA
Para que una deducción sea correcta, es decir, la conclusión sea efectivamente una
consecuencia lógica de un conjunto de premisas, se requiere que dicho conjunto sea
consistente; de lo contrario, cuando no existe consistencia en las premisas, no se podrá
obtener conclusión alguna, solamente contradicciones. En otras palabras, las premisas
son inconsistentes siempre que la proposición que está formada por la conjunción de
dichas premisas es equivalente a una contradicción. De lo manifestado podemos destacar
las siguientes observaciones:
Observaciones4
- Un razonamiento es válido si y sólo si la conclusión es consecuencia lógica de premisas
consistentes.
- Un razonamiento es válido si y sólo si de premisas consistentes ciertas, solo se puede
obtener conclusiones ciertas.
Ejemplo: Determinar si el argumento simbolizado es válido.
Premisa 1: P→Q
Premisa 2: ¬Q
Premisa 3: P∧R
Conclusión: ¬P
Primera Forma:: Utilizando tablas de verdad
P Q R P → Q ¬Q P∧R (P→Q)∧¬Q [(P→Q)∧¬Q]� ∧ (P∧R)

V V V V F V F F
V V F V F F F F
V F V F V V F F
V F F F V F F F
F V V V F F F F
F V F V F F F F
F F V V V F V F
F F F V V F V F
La última columna de la tabla muestra la conjunción de todas las premisas del argumento,
y sus valores son todos falsos; de esto se concluye que las premisas son inconsistentes y
no es posible deducir ¬P. Como ya mencionó en páginas anteriores, la conjunción posee
la propiedad conmutativa, lo que permite cambiar el orden de las premisas en la última
columna, sin variar el resultado.
4 PROAÑO Ramiro, Lógica Conjuntos y Estructuras, pág. 45

Segunda Forma: (Se desarrolla en el ejemplo 1 de la siguiente unidad)
PRUEBA FORMAL DE VALIDEZ
Para iniciar con este importante tema dentro de la lógica proposicional, es importante
que paralelamente vayan revisando el Capítulo 4 del texto básico.
La prueba formal de validez, también llamada en el texto básico deducción natural (pág.
85), permite verificar si la conclusión en un razonamiento es consecuencia lógica de
las premisas o proposiciones de partida. Para efectuar esta prueba, se requiere que el
argumento esté correctamente simbolizado, con los conectivos y signos de agrupación
en el lugar adecuado. Se puede proceder de dos formas, la primera sería utilizando
tablas de verdad (como se indica en la pág. 43 del texto básico) y la segunda mediante
la aplicación de reglas de inferencia.
Reglas de Inferencia.- Son razonamientos válidos simbolizados, que permiten realizar

una deducción lógica y probar que un conjunto de premisas es consistente o no. Es
importante distinguir entre reglas de inferencia y leyes de las proposiciones, las primeras
son implicaciones lógicas y las segundas, equivalencias lógicas; aunque pueden ser
usadas ambas en una prueba formal de validez. Un resumen de las reglas de inferencia
más utilizadas, usted puede observar en el Anexo 2 de esta Guía.
El hecho de emplear tablas de verdad para probar la validez de un argumento conlleva la

manipulación de un número demasiado alto de variables, lo que aumenta el tamaño de
la tabla; como lo manifesté anteriormente, las tablas son adecuadas cuando el número de
proposiciones simples no es mayor que tres; para superar esta situación es conveniente
utilizar leyes de inferencia. Usted puede consultar acerca de estas leyes, en el texto
básico, págs. 89-97.
Un argumento se dice válido (no necesariamente verdadero) si la conjunción de las

premisas que lo conforman, implican lógicamente la conclusión. Simbólicamente:
P1 ∧ P2 ∧ … ∧ Pn ⇒ C es tautología
Donde, P1, P2, …, Pn: premisas

C: conclusión
En el texto básico, a un argumento el autor hace referencia como forma argumentativa

(pág. 43).
Para realizar la prueba formal de validez de un argumento se sugiere seguir los siguientes
pasos:

Paso 1: Simbolizar cada premisa, empleando variables para cada proposición atómica.
Las premisas son las proposiciones (simples o compuestas) que anteceden a
la conclusión, y en un argumento están separadas por un punto (en algunos
casos ;).
Paso 2: Frente a cada premisa se justifica con una P (o Pr. Para evitar ambigüedad)
Paso 3: Enumerar cada renglón empezando desde las premisas.
Paso 4: Justificar cada paso de acuerdo a la regla de inferencia empleada, con la
abreviatura respectiva, indicando el número de las líneas de las cuales se ha
hecho la inferencia.
Observaciones
- Cuando se realiza una demostración directa, el objetivo es obtener la conclusión del
argumento, como consecuencia de aplicar las leyes de inferencia sobre las premisas.
- En el caso de la demostración indirecta, la meta es obtener una contradicción (Ejm: P
∧ ¬P) luego de haber agregado como premisa adicional, la negación de la conclusión.
- La demostración indirecta también es conocida como demostración por contradicción o
reducción al absurdo.
Ahora revisemos una segunda forma para verificar la incosistencia de las premisas del
argumento planteado en la unidad anterior; y además algunos ejemplos con cada tipo
de demostración.
Ejemplo 1: Utilizando el razonamiento anterior verifiquemos que las premisas son

inconsistentes, mediante reglas de Inferencia.
1) P→Q Pr
2) ¬Q Pr
3) P∧R Pr
4) P S3
5) Q PP 1,4
6) ¬Q ∧ Q AD 2,5
En el paso (6) se ha llegado a una contradicción, lo que implica una inconsistencia en el

conjunto de premisas.
Ejemplo 2: Verificar mediante demostración directa, si el argumento siguiente es

valido.
Estudiaré Inf��
ormática si y sólo si no repruebo el Nivel Común. No realizaré el viaje si y sólo si,
estudio Informática y no repruebo el Nivel Común. Estudiaré Informática. En consecuencia, no
realizaré el viaje.
Simbolizando las proposiciones simples tenemos:

A: Estudiaré Informática
B: Repruebo el Nivel Común
C: Realizaré el viaje
Identificación y simbolización de las premisas:
Premisa 1: Estudiaré Informática si y sólo si no repruebo el Nivel Común.

A ↔ ¬B
Premisa 2: No realizaré el viaje si y sólo si, estudio Informática y no repruebo el Nivel
Común
¬C ↔ (A ∧ ¬B)
Premisa 3: Estudiaré Informática.
A
Conclusión: No realizaré el viaje
¬C
Planteamiento del argumento:

Demostrar: ¬C
Conociendo:
1) A ↔ ¬B P
2) ��C ↔ (A ∧ ��
¬�� ¬��
B) P
3) A P
4) (A→¬B ) ∧ (��B →A)
¬�� LB 1
C → (A ∧ ��
5) [��
¬�� B)] ∧ [(A ∧ ��
¬�� ¬��
B)→¬��
C] LB 2
6) (A→¬B ) S1
7) ¬B PP 3,5
8) (A ∧ ¬B) → ¬C S5
9) A ∧ ¬B AD 3,7
10) ¬C PP 8,9
En la fila (10) hemos llegado a la conclusión buscada. Las abreviaturas de las reglas de
inferencia se muestran en el Anexo 2.
Ejemplo 3: Determinar la validez del argumento, aplicando demostración indirecta.

Si la ballena es un mamífero, entonces toma oxigeno del aire. Si toma su oxigeno del aire
entonces no necesita branquias. La ballena es un mamífero y vive en el océano. Por tanto
no necesita branquias.
Proposiciones simples:
P = La ballena es un mamífero
Q = La ballena toma oxígeno del aire
R = La ballena necesita branquias
S = La ballena vive en el océano

Representación del argumento simbolizado
Demostrar: ¬R
A Partir de:
1) P→Q Pr.
2) Q→ ¬R Pr.
3) P ∧ S Pr.
4) R PA (premisa adicional la
negación de la conclusión)
5) ¬Q TT 2,4
6) ¬P TT 1,5
7) P S3
8) ¬P ∧ P AD 6,7
9) ¬R Puesto que 4 implica 8, queda
demostrada la conclusión.
CIRCUITOS LÓGICOS
Este tema no consta en el texto básico, sin embargo en el texto complementario de Lógica
Matemática (Astudillo y Enciso) usted puede revisar algunas explicaciones adicionales y
ejemplos prácticos. En la presente guía trataré de referirme a los circuitos lógicos de forma
muy resumida y haciendo énfasis a la relación directa con la Lógica de proposiciones;
además para esta unidad se requiere tener a la mano la tabla de las leyes proposicionales,
porque estas servirán para simplificar circuitos.
Analizar circuitos lógicos es de mucha importancia en esta materia porque permite observar
la materialización del cálculo proposicional, considerando que aquellas proposiciones
que involucran la presencia de los operadores conjunción o disyunción pueden ser
traducidas en dos circuitos lógicos elementales: en serie y en paralelo, respectivamente; los
mismos que han sido a su vez el origen para que por composición sucesiva se construyan
circuitos cada vez mas complejos hasta llegar a los modernos microprocesadores y otros
dispositivos electrónicos componentes de los actuales ordenadores materializados en los
microchips que contienen o integran millones de componentes biestables (conectores).
Haciendo un poco de historia, fue el matemático inglés George Boole el iniciador de la
lógica, o cálculo de proposiciones, pero fue el matemático americano Claude Shannon,
quien aplicó el álgebra de Boole al diseño de circuitos de conmutacion utilizados en las
centrales telefónicas automáticas. Al matemático húngaro John von Neumann, se debe
la actual estructura de los ordenadores.5
Un circuito es un sistema físico compuesto de cables conductores conectados entre sí

por conectores de diferentes formas. Los circuitos lógicos elementales son de dos tipos:
circuitos en serie y circuitos en paralelo.
5 http://biblioweb.sindominio.net/telematica/conf-ernesto/node9.html (revisado en junio del 2006)

Circuito en serie.- Está representado por el conector conjunción (∧); es decir, una
proposición de la forma P ∧ Q, se representa de la forma:
Circuito en paralelo.- Está representado por el operador disyunción incluyente; así, una
proposición de la forma P v Q es representada en la forma:
De manera análoga a como se forman proposiciones compuestas a partir de otras

proposiciones, se pueden construir los circuitos lógicos compuestos correspondientes a
proposiciones compuestas, a partir de los circuitos lógicos elementales. Por ejemplo:
Que representa a la proposición: (¬P ∧ ¬Q) ∨ (P ∨ Q).
Simplificación de circuitos
La simplificación de circuitos radica en aplicar las leyes proposicionales a la proposición

que representa el circuito y deducir una proposición equivalente más sencilla.
Ejemplo 1: Graficar el circuito que corresponde a la proposición:
{ [ P∧ ( Q v P ) ] v ¬P } ∧ Q
El circuito es el siguiente:

Simplificación:
{ [ P∧ ( Q v P ) ] v ¬P } ∧ Q ≡ { P v ¬P } ∧ Q Ley de Absorción
≡ V ∧ Q Ley de Complemento
≡ Q Ley de Identidad
El circuito equivalente es:
Ejemplo 2: Dado el circuito, escribir la proposición y simplificarla mediante leyes de las

proposiciones.
La proposición es:
[(¬P∧ ¬Q) v (P v Q)] ∧ {(P∧ Q) v [(¬P v ¬Q) v P]} ∧ ¬P
Aplicando leyes para simplificar el esquema se tiene:
[(¬P∧ ¬Q) v (P v Q)] ∧ {(P∧ Q) v [(¬P v ¬Q) v P]} ∧ ¬P

≡ [¬(P v Q) v (P v Q)] ∧ {(P∧ Q) v (¬P v P v ¬Q)} ∧ ¬P Leyes de Morgan y Asociat.
≡ V ∧ {(P∧ Q) v ( V v ¬Q)} ∧ ¬P Ley de Complemento
≡ {(P∧ Q) v ( V )} ∧ ¬P Ley de Identidad
≡ V ∧ ¬P Ley de Identidad
≡ ¬P Ley de Identidad
Se observa que el proceso de representación de circuitos lógicos a partir de proposiciones

y viceversa es muy fácil, y para la reducción de circuitos, es decir, para obtener un
circuito equivalente más sencillo, basta con aplicar algunas leyes de las proposiciones.
A continuación propongo algunos ejercicios referentes a circuitos para que usted los
resuelva y adquiera mayor comprensión y destreza en el tema.

G127401

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

G127401

Încărcat de

Drepturi de autor:

Formate disponibile

UNIVERSIDAD TÉCNICA PARTICULAR DE LOJA

La Universidad Católica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS DE LA EDUCACIÓN

Reciba asesoría virtual en www.utpl.edu.ec

OCTUBRE 2007 - FEBRERO 2008

© 2006, UNIVERSIDAD TÉCNICA PARTICULAR DE LOJA

Diagramación, diseño e impresión:

OBJETIVOS ESPECÍFICOS .................................................................................................... 11

SEGUNDO BIMESTRE .......................................................................................................... 37

OBJETIVOS ESPECÍFICOS ................................................................................................... 37

SOLUCIONARIO DE LAS AUTOEVALUACIONES ....................................................... 56

La lógica es una disciplina tan antigua como el hombre, pues su

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL 

en el ámbito computacional. Las investigaciones lógicas en el ámbito de la matemática se

Por todo lo mencionado, es importante el estudio de la lógica en la formación de

Empezamos el estudio de esta asignatura, en el primer bimestre, haciendo una breve

 UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

• Dar a conocer conceptos básicos y herramientas de la lógica matemática y sus

PASCUAL JULIAN IRANZO, Lógica Simbólica para Informáticos, Editorial Alfaomega

ASTUDILLO Dolores, ENCISO Liliana, Lógica Matemática, Universidad Técnica

Se trata de un texto guía diseñado para estudiantes de Modalidad Abierta, ofrece un

BARCO GÓMEZ Carlos, BARCO GÓMEZ Germán y ARISTIZABAL BOTTERO William,

Propone un estudio de la lógica matemática orientado para informáticos, ingenieros y

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL 

PROAÑO Ramiro, Lógica, Conjuntos y Estructuras, Editorial Escuela Politécnica

 UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL 

- Comprender las técnicas de conversión de un número en diferentes bases.

- Realizar algunas operaciones básicas con números binarios.

- Introducir la terminología básica que se emplea en códigos de computador.

- Definir y distinguir una proposición lógica de cualquier enunciado, y sus clases.

- Introducir las nociones de argumento, lenguaje formal, estructura de un enunciado,

- Caracterizar un argumento desde el punto de vista de la lógica formal y

- Utilizar adecuadamente la simbología de proposiciones, conectores, signos de

- Utilizar correctamente las reglas de inferencia para realizar la prueba formal de

- Determinar si un conjunto de premisas es consistente o no, mediante el uso de

- Representar circuitos lógicos a partir de esquemas moleculares.

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL 11

1.1 Sistema binario

2.1 Proposiciones.- Definiciones básicas

3.1 Reglas de inferencia

12 UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

Desarrollo del Aprendizaje

El sistema de numeración utilizado universalmente para representar cantidades fuera

2135 = 2 x 103 + 1 x 102 + 3 x 101 + 5 x 100

Explícitamente, se indica la base de numeración como 123510.

Situación Real Sistema Digital Mundo Exterior

En un ordenador el sistema de numeración es binario (en base 2), utilizando el 0 y el

Análogamente a la base 10, cada posición tiene un valor de 2n donde n es la posición

Además, por su importancia y utilidad, es necesario conocer otros sistemas de numeración

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL 13

Decimal Binario Octal* Hexadecimal

Base 2 a base 8: 111 0102 = 728

Base 2 a base 16: 0100 11002 = 4C16

A la inversa, basta convertir cada dígito octal o hexadecimal en binario:

Base 8 a base 2: 328 = 011 0102

Base 16 a base 2: 3216 = 0011 00102

Estructura elemental de la memoria de la computadora

Toda la memoria del ordenador se compone de dispositivos electrónicos que

Los bits en un byte se numeran de derecha a izquierda y de 0 a 7, correspondiendo con

14 UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

Conversión de binario a decimal.- El sistema de numeración binario es un sistema de

Conversión de decimal a binario.- Existen dos maneras de convertir un número decimal

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL

UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL

UTPL La Universidad Católica de Loja MODALIDAD ABIERTA Y A DISTANCIA

MODALIDAD ABIERTA Y A DISTANCIA La Universidad Católica de Loja UTPL