Logica Matemática

UNIVERSIDAD TCNICA PARTICULAR DE LOJA
La Universidad Catlica de Loja
MODALIDAD ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS DE LA COMPUTACIN
Gua Didctica
L GICA MATEMTICA
1
CICLO
DATOS DE IDENTIFICACIN:
CARRERA
Ingeniera en Informtica
ELABORADA POR :
Ing. Priscila Valdivieso Daz; Ing. Ruth Mara Retegui Rojas
PROFESORA
Ing. Ruth Mara Retegui Rojas
TELFONO
(07) 2 570 275 Ext. 2929
E-MAIL
rmreategui@utpl.edu.ec
TUTORA
Martes y mircoles de 15h30 a 17h30
Estimado Estudiante, dgnese confirmar la informacin aqui sealada llamando al Call Center 072588730, lnea gratuita 1800 887588
o al mail callcenter@utpl.edu.ec
Reciba asesora virtual en: www.utpl.edu.ec
ABRIL - AGOSTO 2009

MATERIAL DE USO DIDCTICO PARA ESTUDIANTES DE LA UNIVERSIDAD TCNICA PARTICULAR DE LOJA,
PROHIBIDA SU REPRODUCCIN TOTAL O PARCIAL POR CUALQUIER MEDIO
LGICA MATEMTICA
Gua Didctica
Priscila Valdivieso Daz

Ruth Mara Retegui Rojas
2007, UNIVERSIDAD TCNICA PARTICULAR DE LOJA
CC Ecuador 3.0 By NC ND
Diagramacin, diseo e impresin:
EDITORIAL DE LA UNIVERSIDAD TCNICA 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 edicin
Tercera reimpresin
ISBN-978-9942-00-147-4
Julio, 2008
Esta versin impresa, ha sido licenciada bajo las licencias Creative Commons Ecuador 3.0 de Reconocimiento - No comercial - Sin Obras
Derivadas; la cual permite copiar, distribuir y comunicar pblicamente la obra, mientras se reconozca la autora original, no se utilice con
fines comerciales ni se realicen obras derivadas. http://www.creativecommons.org/licences/by-nc-nd/3.0/ec/
NDICE
INTRODUCCIN.....................................................................................................................
OBJETIVO GENERAL..............................................................................................................
BIBLIOGRAFA.........................................................................................................................
ORIENTACIONES GENERALES PARA EL ESTUDIO.......................................................
5
6
6
7
PRIMER BIMESTRE
OBJETIVOS ESPECFICOS.................................................................................................... 9
CONTENIDOS......................................................................................................................... 10
DESARROLLO DEL APRENDIZAJE................................................................................... 11
CAPTULO 1
INTRODUCCIN A LA LGICA........................................................................................ 11
CAPTULO 2
LA LGICA PROPORCIONAL............................................................................................ 14
CAPTULO 3
TEORA DE COJNUNTOS..................................................................................................... 21
SEGUNDO BIMESTRE
OBJETIVOS ESPECFICOS..................................................................................................... 25
CONTENIDOS........................................................................................................................ 26
DESARROLLO DEL APRENDIZAJE................................................................................... 27
CAPTULO 4
SISTEMA DE NUMERACIN BINARIO........................................................................... 27
CAPTULO 5
ALGEBRA BOOLEANA........................................................................................................ 32
CAPTULO 6
LGICA DE PREDICADOS.................................................................................................... 36
SOLUCIONARIO................................................................................................................... 45
EVALUACIONES A DISTANCIA
Gua Didctica: Lgica Matemtica
INTRODUCCIN
La asignatura de Lgica Matemtica forma parte del primer ciclo de la carrera de
Ingeniera en Informtica de la modalidad Abierta y a Distancia de la Universidad
Tcnica Particular de Loja.
La lgica es una disciplina que se ocupa de los mtodos de razonamiento, proporciona
reglas y tcnicas para determinar si un argumento es vlido o no. El razonamiento lgico
se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para
verificar si son o no correctos los programas; en las ciencias fsica y naturales, para
sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana,
para resolver una multitud de problemas. Ciertamente se usa en forma constante el
razonamiento lgico para realizar cualquier actividad. De acuerdo a lo manifestado esta
disciplina reviste de una singular importancia dado que es la base fundamental en la
adquisicin de conocimientos y en la aplicacin de stos en otras disciplinas.
El objetivo de la asignatura es proporcionar al alumno instrumentos que le permitan
definir, expresar, describir y elaborar conceptos lgico matemticos, de tal forma que
desarrolle su capacidad de poder representar problemas o fenmenos reales aplicados a
la carrera y a su diario vivir.
Los estudiantes con la ayuda de la lgica matemtica, sern capaces de relacionar
los conocimientos (leyes, teoremas, frmulas, etc) que se proporcionan en la carrera de
informtica, con los problemas que se le presentan en la vida real.
La programacin de la asignatura est organizada de la siguiente forma: en el primer
bimestre conoceremos acerca de la importancia de la Lgica, los fundamentos de la
Lgica proposicional y la Teora de conjuntos. En el segundo bimestre abarcaremos el
Sistema de numeracin binario, el lgebra booleana; y la Lgica de predicados.
Le doy la bienvenida al estudio de esta asignatura y desde ya me comprometo a apoyarlo
para la consecucin de los objetivos propuestos. xitos y Adelante compaero!
UTPL
OBJETIVO GENERAL

Comprender los principios bsicos y utilizar las herramientas fundamentales de la

lgica y la matemtica, que le permitan conocer a esta disciplina como parte de la
formacin profesional.
BIBLIOGRAFA
Texto Base
Iranzo, P. (2004), Lgica simblica para informticos, Ra Ma, Madrid - Espaa.
Bibliografa complementaria
Seymour, L.(1992), Matemticas para computador, McGraw Hill, Mxico.
Hortal, M., Leach, Javier., Rodrguez, Mario., (2001). Matemtica discreta y lgica
matemtica, Segunda edicin, Complutense, Madrid Espaa
UTPL
ORIENTACIONES GENERALES
Estudiar a distancia es un reto que requiere esfuerzo, dedicacin y sobre
todo de organizacin, por ello debe hacer de esta actividad un trabajo
continuo y sistemtico, organice su tiempo de manera que pueda
verdaderamente aprovechar los contenidos que se le estn ofreciendo.
Le sugiero hacer vida esta frase, que aunque le puede parecer trillada,
es la que ms se adapta a la realidad de las personas que estudian a
distancia:
No deje para maana lo que puede y debe hacer hoy
Le propongo algunas orientaciones que le servirn en su proceso de aprendizaje:
1. Materiales
Para su estudio usted dispondr del texto bsico, mencionado en la bibliografa y la gua
didctica.
La gua didctica ser el documento que le ir orientando en los temas que deben ser
estudiados y las actividades que se sugieren realizar para una mayor comprensin y
desarrollo de habilidades a lo largo de los dos bimestres.
2. Cmo estudiar?
Para ayudarse en el proceso de aprendizaje utilice las tcnicas de estudio que ms se
adapten a su manera de aprender: subrayado, resmenes, cuadros sinpticos y trate, en
lo posible, de estudiar en un horario y ambiente adecuado.
3. Apoyo tecnolgico e Interactividad
Para usted ya es familiar, que cuenta con el apoyo tecnolgico de una plataforma o entorno
virtual de aprendizaje (EVA) www.utplonline.edu.ec, este entorno, accesible nicamente
para los estudiantes de la UTPL, le permite interactuar con docentes y compaeros.
Consulte con frecuencia el espacio ANUNCIOS donde encontrar informacin y
orientaciones sobre el desarrollo de esta asignatura. Desde este semestre se empieza a
calificar su participacin a travs del Campus Virtual, interacte a travs de los foros.
UTPL
Plan de desarrollo de contenidos

La materia consta de dos bimestres, los contenidos en funcin del texto
base son:
PRIMER BIMESTRE
Captulos de Texto Base
Pginas
Horas
Captulo 1. Introduccin a la Lgica
Captulo 2. Lgica Proporsicional
24
Captulo 3. Teora de Conjuntos
Total

33
SEGUNDO BIMESTRE
Captulo 4. Sistema de Numeracin Binario
12
Captulo 5. Algebra Booleana
12
Captulo 6. Lgica de Predicados
12
36
UTPL
P RIMER
BIMESTRE
OBJETIVOS ESPECFICOS
Identificar las nociones bsicas de la lgica matemtica y entender la

utilidad de la lgica en las ciencias de la computacin.
Formalizar enunciados del lenguaje natural o comn, aplicar los

operadores lgicos para la simbolizacin de nuevas proposiciones,
aplicar las tablas de verdad en la clasificacin de esquemas moleculares
y demostracin de identidades lgicas, utilizar las principales leyes
proposicionales para la reduccin de proposiciones a expresiones
equivalentes, representar grficamente una proposicin mediante
circuitos lgicos, aplicar las reglas de inferencia en la demostracin de
la validez de argumentos.
Conocer los fundamentos bsicos sobre la teora de conjuntos y
comprender la relacin entre la lgica y los conjuntos
UTPL
CONTENIDOS
CAPTULO 1. INTRODUCCIN A LA LGICA
Datos Generales:
Propsito
Conceptos Clave
Esquema de estudio
Cuestiones de repaso captulo 1
Interactividad a travs de los Foros de Campus Virtual
CAPTULO 2. LGICA PROPORCIONAL

Datos Generales:
Propsito
Conceptos Clave
Esquema de estudio
Documentacin adicional
CAPTULO 3. TEORA DE CONJUNTOS

Datos Generales:
Propsito
Conceptos Clave
Esquema de estudio
10
UTPL
DESARROLLO DEL APRENDIZAJE

Capitulo 1. Introduccin a la Lgica
Datos Generales:
Texto base
Iranzo, P. (2004), Lgica simblica para informticos, Ra Ma, Madrid

Espaa.
Captulo
1. Introduccin a la Lgica
Pginas
1 5, 9 -12
Horas de estudio empleadas para el desarrollo del contenido
5
horas
Propsito
El propsito de este captulo es introducirlo en los conceptos

fundamentales de la lgica matemtica e identificar las representaciones
de los sistemas lgicos.
Conceptos Clave
De qu trata la lgica matemtica?
La lgica investiga la relacin de consecuencia que se da entre una serie
de premisas y la conclusin de un argumento correcto.
Lgica Proposicional
Se ocupa de enunciados declarativos simples o proposiciones que
se contemplan como un todo indivisible y pueden ser combinados
mediante conectores.
Lgica de Predicados
Las proposiciones ya no son elementos indivisibles. Se realiza un anlisis
ms detallado que toma como base los componentes de una proposicin:
trminos, frmulas atmicas, cuantificadores y conectores.
UTPL
11
12
UTPL
Descripcin del contenido a

revisar
1.2.
Presentacin
de los Sistemas
Lgicos
En este apartado introduce

brevemente la definicin de los
dos niveles de formalizacin
de los sistemas lgicos: Lgica
proposicional y Lgica de
predicados.
1.1
Este tema le resultar interesante,
Definicin
e porque conocer de que trata la
Importancia de lgica y porque es importante
la Lgica
su estudio.
Tema a revisar
Leer las pginas 9 a 1 2 del

texto base.
Dar una definicin de la lgica
proposicional y lgica de
predicados.
Leer las pginas 1 a 5 del texto

base.
Defina en tus propias palabras
Qu es la Lgica?, De qu
trata?
Actividades recomendadas
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
De la lectura
realizada
se
podr
dar
cuenta que la
lgica se ocupa
de las formas o
estructura de los
razonamientos,
ms
no
del
contenido
de
verdad de las
proposiciones
particulares.
E s t a s
definiciones
sern abarcadas
en
detalle
en
unidades
posteriores.
Anotaciones
A continuacin se detallan los temas que se deben desarrollar, una descripcin general del mismo, y un conjunto de
actividades que se recomienda sean desarrolladas para una mejor asimilacin de los conceptos.
Esquema de estudio

Como medidor de asimilacin de los contenidos, desarrollaremos las
siguientes cuestiones de repaso; le recomendamos que responda las
preguntas de auto evaluacin y para su informacin registre el nivel
de desempeo que observo, esto le permitir saber los temas que
debe volver a revisar si su desempeo lo considera medio, y en caso
de observar un desempeo malo recuerde que puede solicitar tutora
mediante el campus virtual o telefnicamente.
No.
Despus de responder, el
desempeo ha sido:
Cuestin
Malo
1.
2.
3.
4.
Medio
Muy bien
Cul es la clasificacin de los enunciados?

Qu tipo de enunciado es utilizado en la
lgica matemtica?
Proponer tres ejemplos de enunciados que
son proposiciones y tres enunciados que no
son proposiciones.
Como se simbolizara el enunciado Juan
es alto utilizando la lgica proposicional y
lgica de predicados.

Ingrese peridicamente al campus virtual que se encuentra en la
siguiente direccin: http://www.utplonline.edu.ec y enve al correo
del tutor ejemplos de enunciados interrogativos, imperativos y
declarativos.
UTPL
13
Capitulo 2. La Lgica Proposicional

Datos Generales:
Texto base

Espaa.
Captulo
1. Lgica de Proposiciones
4. Clculo Deduccin Natural
Pginas
17 a 29, 31 a 39, 82 Horas de estudio empleadas para el 24

a 99.
desarrollo del contenido
horas
Propsito
En este captulo conoceremos la parte de la lgica simblica que estudia
los enunciados como un todo y sus relaciones con otros enunciados,
aprenderemos a simbolizarlos y demostrar la validez de argumentos.
Conceptos Clave
Proposicin
Es aquel enunciado que afirma o niega algo y que puede ser verdadero
(V) o falso (F). Por esto es que a la lgica de proposiciones tambin
se la conoce como lgica binaria, porque slo tiene dos categoras de
clasificacin: las proposiciones verdaderas y las proposiciones falsas.
Enunciados Simples o Atmicos
Expresan una sola idea en su forma ms simple. Aquellas proposiciones
que no contienen dentro de s ms proposiciones que s misma.
Enunciados Compuestos o Moleculares
Se construyen a partir de los enunciados simples, por medio de diversas
partculas de enlace (y, o, si.. entonces.., ..si y slo si.. ) llamadas
conectivas.
Circuito Lgico
Segn Boole George, un circuito lgico es: La disposicin de conductores
e interruptores que conecta dos terminales. Donde un interruptor
cerrado permite que fluya corriente y uno abierto impide su flujo.
Inferencia Lgica
Es una operacin lgica que consiste en concluir una cierta proposicin
en forma inmediata sobre la base de una o dos proposiciones
previamente asumidas llamadas premisas.
14
UTPL

revisar
Dar lectura a las pginas 17

a 23 del texto base, poner
mayor nfasis en la pgina
19 que muestra las frases que
en nuestro lenguaje natural
representan las conectivas.
Otro tema de inters es la
precedencia entre conectivas
explicada en las pginas 22 y
23.
2.2.
Pautas para la formalizacin de Con las pginas 23 y 24 del
T r a d u c c i n enunciados
texto base se tendr una mayor
del
lenguaje
destreza para la traduccin de
natural
al
enunciados.
lenguaje formal
Traducir al lenguaje formal los
enunciados:
a. Mara juega y canta.
b. 4 6
c. No es cierto que, Pablo no
canta pero baila.
2.1.
Trata de la formalizacin de los
L e n g u a j e enunciados y su representacin
Formal
de utilizando conectivas.
la lgica de
proposiciones
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Anotaciones
Esquema de estudio
UTPL
15

revisar
2.3.
Se estudia el significado de Para conocer cul es el
C o n e c t i v a s , cada conectiva y sus tablas de significado de las conectivas,
Tablas
de verdad.
revisar con atencin las pginas
Verdad
y
25 a la 29 del texto base, as
Funciones de
mismo podr observar que por
Verdad
cada conectiva se presenta su
tabla de verdad.
Con la lectura de las pginas
31 a la 34 del texto base, hallar
los pasos en los cuales se puede
basar para la construccin de
tablas de verdad.
Construir las tablas de verdad
de:
a. ((P ^ Q) P) v (P Q)
b. (P ^ Q) (R v P)
16
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Anotaciones
UTPL

revisar
En este apartado se aprender

a reconocer la equivalencia
entre enunciados y algunas
equivalencias notables.
Tema a revisar
2.4.
Valoracin
y
Equivalencia
Lgica
Dar lectura a las pginas 34 a

38, detngase a repasar las
equivalencias de la tabla 2.3 del
texto base, si desea demostrar si
son equivalentes puede hallar
las tablas de verdad.
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Otras formulas que

necesita dominar
son:
Elemento neutro
A^ V A
Av FA
Complemento
(Contradiccin)
A^AF
AvAV
Implicacin
M a t e r i a l
(Condicional)
ABAvB
Contraposicin
A B B A
Bicondicional
A B (A B) ^
(B A)
Anotaciones
UTPL
17

revisar
UTPL
2.6. Circuitos Se estudia la representacin Dar lectura al documento

Lgicos
grfica de enunciados mediante capitulo2
mencionado
circuitos lgicos.
anteriormente.
Representar
utilizando
circuitos lgicos los siguientes
enunciados:
[(P ^ Q) v R] v [P ^ (Q v
R)]
(P v Q) ^ ( P ^ Q )
2.5.
Se trabaja con las formulas Aplicando
las
frmulas
Reduccin de de equivalencia para reducir de equivalencia o leyes de
Proposiciones
proposiciones.
equivalencia se puede lograr
reducir
una
proposicin
bastante compleja, para esto es
necesario descargar del rea de
materiales del campus virtual
el documento capitulo2
y
encontrar
los
pasos
necesarios.
Reducir o Simplificar los
siguientes esquemas lgicos:
[(P Q) P ] Q
[(P ^ Q) R] v [P (Q
R)]
18
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Es importante ir
anotando
paso
por paso en el
lado derecho de
los
enunciados
el nombre de
la frmula de
equivalencia
utilizada para la
simplificacin.
Anotaciones

revisar
2.7.Inferencia Trata de los mtodos de Dar lectura al texto base pginas

Lgica
demostracin para la validacin 82 a 84 y 85 a 97, luego en las
de argumentos.
pginas 97 a 99 encontrar
algunos consejos para la
resolucin de argumentos.
Para aclarar las ideas y
obtener una mayor explicacin
mediante ejercicios puede leer
el documento capitulo2.
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Es
importante
recalcar que el
nombre dado a las
reglas de inferencia
suele
variar
dependiendo del
autor,
nosotros
trabajaremos con
los nombres y
abreviaturas dadas
en el documento
Captulo 2
De lo ledo es
necesario que sepa
que es una regla de
inferencia y cules
existen,
como
trabaja el mtodo
directo e indirecto
(reduccin
al
absurdo) para las
demostraciones de
argumentos.
Anotaciones
UTPL
19

No.
Cuestin
1.
Traducir al lenguaje formal los enunciados:

a. No es cierto que si voy al cine entonces tengo
que caminar.
b. Si 10 + 5 = 15 entonces 10+4 < 15
c. El tres no es par pero es nmero primo.
d. Si llueve me mojo.
2.
Qu es una regla de inferencia?
3.
Cmo trabaja el mtodo indirecto o de reduccin

al absurdo?
4.
Dadas las premisas, demostrar F utilizando el

mtodo directo y el indirecto.
(1)
GH
(2)
F
(3)
H
Despus de responder,
el desempeo ha sido:
Muy
Malo Medio
bien

siguiente direccin: http://www.utplonline.edu.ec y participe del foro
referente al primer bimestre, su aporte es importante.

Dirjase al rea de materiales y descargue ejercicios resueltos o

propuestos por el profesor.
En el rea de materiales multimedia puede ejecutar un objeto
multimedia que explica como graficar un enunciado proposicional
utilizando circuitos lgicos.
Para ampliar la informacin del texto base se dispone de bibliografa
adicional, que estar disponible en el rea de materiales del campus
virtual especficamente el documento capitulo2 .
20
UTPL
Capitulo 3. Teora de Conjuntos
Datos Generales:
Texto base

Espaa.
Apndice
Pginas
271 a 273
Horas de estudio empleadas para el 4

horas
Propsito
Conocer los conceptos fundamentales de teora de conjuntos y
comprender su relacin con la lgica matemtica.
Conceptos Clave
Qu es un conjunto?
Es una coleccin de objetos que se denominan elementos.
Relacin entre los operadores de teora de conjuntos y la lgica
matemtica.
La unin es la disyuncin, la interseccin es la conjuncin, el
complemento es la negacin y la inclusin es la implicacin, adems que
el conjunto vaco es la falsedad y el conjunto universo es la verdad.
UTPL
21
22
UTPL

revisar
3.1
En este apartado se conocer
Revisin de los conceptos fundamentales de
c o n c e p t o s teora de conjuntos.
bsicos de
conjuntos.
Tema a
revisar
1. Indicar cuales de las afirmaciones

son correctas o no, si se conocen los
conjuntos:
A= {a,b,c,d,e,f,g}
B={b,c,e}
C={e,d,b}
A B, A B,
B = C , d C
2. Determinar el conjunto potencia
de los conjuntos:
A= {2,4, 8}
B={ i , u }
Adems de leer las pginas 271 a 273

del texto base es necesario dar una
lectura al anexo 1 del documento
anexos disponible en el campus
virtual, luego podr responder:
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Anotaciones
Esquema de estudio
3.2.
Relacin
entre
la
Lgica y los
conjuntos.
Tema a
revisar
Se estudia la relacin entre la Dar

lectura
al
documento
lgica y los conjuntos, como capitulo3 disponible en el rea
tambin
la
representacin de materiales del campus virtual.
en trminos de lgica de los
operadores de conjuntos.

revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Anotaciones
UTPL
23

No.
desempeo ha sido:
Muy
Malo
Medio
bien
Cuestin
1.
La unin de conjuntos de (A U B ) se representa

por:
a. A - B
b. (p v q)
c. (p v q)
2.
La interseccin de conjuntos de A B
representa por:
a. (p v q)
b. p q
c. p q
3.
La inclusin de conjuntos B A se representa

por:
a. (p q)
b. (p q)
c. (q p)
4.
Considerando las operaciones siguientes

entre conjuntos, determinar el equivalente en
trminos de lgica matemtica
a. A B
b. A U B
c. (A B)
d. A U (B C)
se

siguiente direccin: http://www.utplonline.edu.ec y enve al correo
del tutor el resultado de la pregunta 4 del cuestionario del captulo 3.
adicional, que estar disponible en el campus virtual en el rea
de materiales, es necesario descargar el documento anexos y
capitulo3.
24
UTPL
S EGUNDO
BIMESTRE
OBJETIVOS ESPECFICOS

Convertir nmeros de un sistema de numeracin a otro, realizar

operaciones aritmticas en el sistema de numeracin binario
Describir la operacin de las compuertas lgicas, mediante sus tablas

de verdad, simplificar expresiones booleanas con la aplicacin de leyes
y mediante el uso de mapas de karnaugh, emplear compuertas para
la construccin de circuitos lgicos representados por expresiones
booleanas.
Identificar la diferencia entre la lgica de predicados y la lgica de

proposiciones, identificar los diferentes tipos de predicados que
puede contener un enunciado, formalizar enunciados del lenguaje
natural en el lenguaje de la lgica de predicados, comprender las
reglas de cuantificadores para su aplicacin en la demostracin de los
argumentos.
No olvide que debe acceder al campus virtual para

interactuar con el tutor y sus compaeros, adems
podr descargar informacin de la materia.
UTPL
25
CONTENIDOS
CAPTULO 4. SISTEMA DE NUMERACIN BINARIO
Datos Generales:
Propsito
Conceptos Clave
Esquema de estudio
CAPTULO 5. ALGEBRA BOOLEANA

Datos Generales:
Propsito
Conceptos Clave
Esquema de estudio
CAPTULO 6. LGICA DE PREDICADOS

Datos Generales:
Propsito
Conceptos Clave
Esquema de estudio
26
UTPL
DESARROLLO DEL APRENDIZAJE

Capitulo 4.
Sistema de Numeracin
Binario
Datos Generales:
Texto base
Documento capitulo4 disponible en el rea de materiales del campus

virtual.
Captulo
4. Sistema de Numeracin Binario
Pginas
1a8

horas
Propsito
El propsito de este captulo es conocer como trabaja el sistema de
numeracin binario, como realizar transformaciones a otros sistemas y
operaciones aritmticas bsicas.
Conceptos Clave
Sistema Binario
Utiliza los dgitos 0 y 1, cada uno representa un bit de informacin.
Complentos Binarios
Son utilizados para representar el signo de un nmero mediante la
reserva de un bit, el nmero 0 para nmeros positivos (+) y 1 para
nmeros negativos (-).
UTPL
27
28
UTPL

revisar
1.1
Este apartado da una
S i s t e m a descripcin
de
la
Decimal.
representacin expandida
de los nmeros decimales.
Tema a revisar
Dar lectura a la pgina 1 del

documento capitulo4 del
rea de materiales del campus
virtual.
Escriba en notacin expandida
los nmeros:
2468 y 146.723
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Anotaciones
Esquema de estudio

revisar
1.2
Detalla la forma en que
S i s t e m a se trabaja en el sistema de
Binario
numeracin binaria y como
realizar las conversiones a
otros sistemas.
Tema a revisar
Dar lectura a las pginas 1 a 3

del documento capitulo4 del
virtual.
Convierta
los
siguientes
nmeros decimales a sus
equivalentes en base .
219 y 1298.210
Encontrar
el
equivalente
decimal de los siguientes
nmeros binarios.
110011001
1001110.110
Convertir a sistema octal y
hexadecimal los siguientes
nmeros binario 101110 y
1001.101.
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Revisar el anexo 2 para

conocer como realizar
las
conversiones
hacia
los
sistemas
octal y hexadecimal,
es necesario acceder
al campus virtual y
descargar
del
rea
de
materiales
el
documentos anexos.
Anotaciones
UTPL
29
30
UTPL

revisar
Realizar
las
siguientes
operaciones
utilizando
complementos binarios:
15 13
13 15
1.4
Como
hallar
los Dar lectura a las pginas 6 a 8
Complementos complementos binarios.
Binarios
virtual.
1.3
Revisin de las operaciones Dar lectura a las pginas 3 a 6
O p e r a c i o n e s aritmticas binarias.
Binarias
virtual.
Realizar
las operaciones
siguientes:
11101 + 100.10
10011 1001
101.11 * 11.1
101.10 / 1101.101
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Anotaciones

No.
1.
2.
3.
desempeo ha sido:
Cuestin
Malo
Medio
Muy
bien
Cules son los dgitos con los que trabajan los

sistemas binario, octal y hexadecimal?
Para que se utiliza los complementos binarios?
Cul es el procedimientos que se utiliza para
transformar al sistema binario, la parte fraccionaria
de un nmero decimal?
Interactividad a travs del Campus Virtual

siguiente direccin: http://www.utplonline.edu.ec y enve al tutor un
correo indicando sus respuestas al ejercicio planteado a continuacin,
si es necesario mayor explicacin comunquese con el tutor a travs del
mail o descargando algunos ejemplos en el rea de materiales.

Transformar al sistema octal y hexadecimal los nmeros

binarios:
1101.1001
11101.11
11.11
adicional, que estar disponible en el anexo 2 del documento anexos
y del documento capitulo4 en el rea de materiales de campus
virtual.
UTPL
31
Capitulo 5.
Algebra Booleana
Datos Generales:
Texto base
Documento capitulo5 disponible en el rea de materiales del campus

virtual.
Captulo
5. Algebra Booleana
Pginas
1a9

horas
Propsito
En este captulo estudiaremos principalmente las compuertas lgicas
que son los circuitos lgicos cuyo funcionamiento puede describirse
mediante el uso del lgebra booleana.
Conceptos Clave
Forma Normal Disyuntiva
La funcin booleana adopta esta forma cuando la funcin est escrita
como una suma de trminos, donde cada trmino es un producto que
involucra todas las n variables con negacin o sin ella. Cada trmino
se llama trmino minimal o minterm. La funcin recibe el nombre de
funcin polinomial de trminos minimales.
Forma Normal Conjuntiva
La funcin booleana adopta esta forma si est escrita como un producto
de trminos, en la cual cada trmino es una suma que involucra todas
las n variables, con complementacin o sin ella. Cada trmino se
denomina trmino maximal o maxterm.
32
UTPL
de
las
Dar lectura a las pginas 30 a la 32

del texto base, ah el autor da una
breve introduccin al lgebra de
Boole, adems completar dando
lectura a las pginas 1 a 3 del texto
capitulo5 disponible en el rea
de materiales del campus virtual.
formas Dar lectura a las pginas 3 a 5 del

texto capitulo5 disponible en
el rea de materiales del campus
virtual.
Conceptos de algebra de
boole, operaciones booleanas,
propiedades del algebra de
boole.

revisar
5.2.
Descripcin
Funciones
o normales
Expresiones
Booleanas
5.1.
A l g e b r a
de Boole y
Operadores
Bolanos
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Completar
los
conceptos
con
el
documento
capiulo5
disponible en el
rea de materiales
del
campus
virtual.
Anotaciones
Esquema de estudio
UTPL
33

revisar
5.3.
Simplificacin de expresiones Dar lectura a las pginas 5 a 9 del
Simplificacin mediante teoremas y mapas de texto capitulo5 disponible en
de Expresiones karnaugh.
el rea de materiales del campus
Booleanas
virtual.
Simplificar la funcin booleana
xyz + xyz + xyz. + xyz,
utilizando los dos mtodos de
simplificacin.
34
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Anotaciones
UTPL

No.
Cuestin
1.
Si cada una de las entradas x , y de una compuerta

OR tienen las siguientes sucesiones de bits:
x = 0011100111001110
y = 1010101010101010
Cul es la salida de dicha compuerta?
2.
Escriba (V) o (F) segn corresponda.

a.(
b.(
c.(
d.(
e.(
Despus de responder,
el desempeo ha sido:
Muy
Malo Medio
bien
) Una variable booleana puede representare

mediante bits.
) Las operaciones lgicas son la base para el
funcionamiento de un computador.
) La operacin + suele dominarse habitualmente
operacin AND.
) Una variable booleana puede tener tres estados
posibles.
) La Forma normal disyuntiva se representa por
un producto de trminos, donde cada trmino
es la suma de todas las variables involucradas
en la expresin.

siguiente direccin: http://www.utplonline.edu.ec, en el rea de
materiales multimedia encontrar un objeto multimedia que simplifica
expresiones booleanas mediante mapas de karnugh.
Recuerde es necesario descargar del rea de materiales del campus
virtual los documentos anexos y capitulo5.
UTPL
35
Capitulo 6.
Lgica de Predicados
Datos Generales:
Texto base

Espaa.
Captulo
5. Semntica
Pginas
110 a 142
Captulo
7. Clculo de Deduccin Natural
Pginas
177 - 190

horas

horas
Propsito
En esta unidad se han contemplado temas que proporcionarn los
conocimientos bsicos para poder reconocer y simbolizar enunciados
cuantificacionales
Conceptos Clave
Functores
Es una expresin que seguida de un nmero determinado de
designadores, forman otro designador.
Relator
Son expresiones lingsticas que estn acompaadas de designadores.
Cuantificadores
Son expresiones lingsticas como todo o alguno.
36
UTPL
Descripcin del
contenido a revisar
Actividades
recomendadas
Identificar los nombres

y
los
relatores,
luego
simbolizar
los
siguientes
enunciados:
a. Los pintores son
artistas
b. Quito es una capital
c. 7 no es nmero par
o bien 4 7
6.1.
Se estudiar lo que es Leer el texto base
N o m b r e s , un nombre, variables, pginas 110 a 113.
Funtores
y constantes, functores
Relatores
y relatores.
Identificar
a
que
clase de predicados
p e r t e n e c e n
los
siguientes
enunciados:
a. Este libro es
interesante.
b. 6 es la media
aritmtica de 8 y 12.
c. El duplo de 9 es 18
Tema a revisar
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Variables Individuales
Juan es grande j
Rosa es grande r
j y r son constantes porque nombrab siepre
a un supuesto individuo concreto (Juan o
Rosa)
Las letras minsculas x, y, z en cambio
se utilizan para nombrar a un individuo
cualquiera, no importa quin, ejemplo:
x es grande
Simblicamente podemos representar los

nombres propios con letras minsculas y el
predicado o relator con letras maysculas,
coomo por ejemplo:
juan es travieso
nombre propio Juan: j
predicado o relator travieso: T
T(j)
que podemos leer como j tiene la propiedad
T o j es T
Anotaciones
Esquema de estudio
UTPL
37
Tema a revisar
Descripcin del
contenido a revisar
Actividades
recomendadas
38
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
UTPL
Formados por variosdesignadotes:

Sansn se arm con la quijada de Platero:
R(a, f(b))
Donde f(b) simboliza la quijada de Platero
Funciones (o funtores)
a. Predicados mondicos (o monarios).Consiste en la atribucin de una propiedad

a un sujeto.
Maria canta: C(m)
3 es impar : I(3)
b. Predicados polidicos.- Expresan una
relacin entre varios individuos
Alfredo rie con Luis: R(a,l) o aRl
Juan viio a Maria en Cuenca: V(j,m,c) o
jVmc
c. Predicados asignificativos.- Existen
expresiones predicativas que aplicadas a
uno o ms individuos asignan a ste o a stos
otro individuo.
El cuadrado de 2 es 4: C(2) = 4
El hijo de Jaime y Carlos es Alberto: H(j,
c)=a
Clases de predicados o Relatores
Anotaciones
6.3.
Lenguaje formal
de primer orden
6.2.
Cuantificadores
Tema a revisar
Traduccin de frases
del lenguaje natural a
formulas del lenguaje de
la lgica de predicados.
Se
conocer
los
cuantificadores
universales
y
existenciales. Adems
su simbolizarlos, y
las conectivas lgicas
empleadas para cada
cuantificador.
Descripcin del
contenido a revisar
Dar lectura a las pginas

116 a la 119 del libro
base.
Para este tema es
necesario
adems
revisar el anexo 4 del
documento
anexos
disponible en el campus
virtual.
Simbolizar
las
proposiciones:
a. Ningn nmero par es
entero
b. Algunos nios son
traviesos
c. Para cada x, x >5
Leer las pginas: 113 a la

115 del libro base.
Actividades
recomendadas
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Ejemplo:
Pedro ser buen jugador si y slo si practica todos
los das.
A = ser buen jugador
B = prctica todos los das
Si representamos a pedro por p, nos quedara:
A(p) B(p)
Ejemplos:
Todo nmero entero es real
(x)(E(x) R(x))
Algunos lgicos son incorregibles
(Vx)(L(x) I(x))
Hay un amigo de Mara que es ingeniero
(x)(xAm Ix)
Todo par es mltiplo de 2
(x)(Px
xM2) o (x)(Px
M(x,2))
Cuantificador Universal o Generalizador:

Todo, Para todo, Cualquiera, Cada, Ninguno.
El smbolo del cuantificador universal todo,
puede ser
Cuantificador Existencial o Particularizador:
Algunos, Para algn, Hay un, Algn, Ciertos.
El smbolo del cuantificador existencial puede
ser V .
Anotaciones
UTPL
39
UTPL
de
6.4. Teora
Modelos
40
Tema a revisar
Se
estudiara
lo
que es un trmino,
cmo interpretar un
formalismo,
como
traducir
argumentos
del lenguaje natural
al lenguaje formal
con la ayuda de
interpretaciones,
enunciados categricos,
lo
que
son
las
interpretaciones.
Descripcin del
contenido a revisar
a. Todo auto es chatarra.

b. Algunos autos no son
chatarra.
Cul es el equivalente
lgico
en
lenguaje
natural y smbolos de los
enunciados:
Dar lectura al texto base

pginas 121 a 142, poner
mayor atencin a la tabla
5.2 y los ejercicios de la
131.
Actividades
recomendadas
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
Ejemplos de enunciados categricos:

Todo pato vuela
Ningn pato vuela (todo pato no vuela)
Algn pato vuela
Algn pato no vuela
(x)(Vy)((Iy Px) y<x)

cualquier bandido es ms hbil que todo artista
simbolizando:
(x)( y)((Bx Ay) xHy)
De la lectura realizada es necesario resumir lo

siguiente:
- Se debe dar una respuesta para los tres tipos de
trminos:
constantes,
variables,
f(t1, t2, . . . , tn), donde t1, . . . , tn son
trminos.
- Dar una interpretacin a las variables. es decir
si x es una variable, Qu objeto del dominio le
corresponde?
- Es necesario una funcin de asignacin, que
asigne valores a las variables.
A veces se precisa la cuantificacin de dos o ms
variables individuales en una misma proposicin,
algunos ejemplos:
Hay un nmero impar menor que cualquier par
En el lenguaje formal:
Anotaciones
Tema a revisar
Descripcin del
contenido a revisar
Actividades
recomendadas
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
estas
cuatro
proposiciones
(Vx)( Cx)
(Vx)(Cx)
(x)( Cx)
(x)(Cx)
UTPL
Es equivalente a:
No hay un solo cisne que no sea blanco
(Vx)( Cx Bx)
Ejemplos:
Todos los cisnes son blancos
(x)(Cx Bx)
(x)(Cx)
(x)( Cx)
(Vx)(Cx)
(Vx)( Cx)
1. No todo camina
(x)(Cx)
2. No se da que nada camina (no todo no
camina)
(x)( Cx)
3. No sucede que algo camina
(Vx)(Cx)
4. No sucede que algo no camina
(Vx)(Cx)
Si comparamos se ver que son equivalentes:
1. Todo camina
(x)(Cx)
2. Nada camina (todo no camina) (x)( Cx)
3. Algo camina
(Vx)(Cx)
4. Algo no camina (Vx)( Cx)

Neguemos ahora cada una de estas proposiciones
cuantificadas:
Supongamos
cuantificadas:
Los cuantificadores guardan entre s ciertas

relaciones lgicas de las cuales pongo a
consideracin las de equivalencia.
Equivalencia entre cuantificadores
Anotaciones
41
6.5.
Clculo
de
deduccin
Natural
42
Tema a revisar
Aplicacin de reglas
de
inferencias
en
las
que
aparecen
cuantificadores
para
ser utilizadas en los
mtodos de prueba y
de deduccin.
Descripcin del
contenido a revisar
Dar lectura a las pginas
177 a 190.
Actividades
recomendadas
(fecha)
Planificacin
personal de
estudio
Requiero
Tutora?
UTPL
Si se tiene el siguiente razonamiento:

1. Cada ciudadano de California es un ciudadano
de los Estados Unidos.
2. El gobernador Brown es un ciudadano de
California.
Por, tanto el gobernador Brown es un ciudadano
de los Estados Unidos.
Simbolizando las premisas y la conclusin de este
razonamiento, entonces se tiene lo siguiente:
Demostrar: Ub
(1) (x)(Cx Ux)
(2) Cb
(3) Cb Ub
EG (1)
(4) Ub MP(2,3)
Demuestre que:
{ x (P(x) Q(x)), x P(x)} | x Q(x)
Siguiendo los consejos sealados en la lectura se
tiene:
(1) x (P(x) Q(x))
(2) x P(x)
(3) (P(p) Q(p)) Elimi Gener.
(1)
(4)
P(p)

Elimi Gener.(2)
(5) Q(p)
MP (3) y (4)
(6) x Q(x)
Introd. Gene. en (5)
Ejemplos:
Anotaciones

No.
1.
Despus de
responder, el
desempeo ha sido:
Muy
Malo
Medio
bien
Cuestin
Escriba una (v)o una (f), segn sea el enunciado

verdadero o falso.
1. ( ) en la lgica cuantificacional a la las proposiciones
se les llaman enunciados cuantificados
y a sus smbolos cuantificadores.

2. ( ) en la lgica de predicados a los nombres propios
se los simboliza con letras maysculas.

3. ( ) el enunciado categrico ningn s es p equivale
a decir todo s no es p.
4.( ) la negacin de cuantificador existencial es
equivalente al cuantificador universal.
5. ( ) los predicados mondicos expresan una relacin
entre varios sujetos.
2.
Encierre en un crculo el literal de la respuesta correcta

por cada uno de los siguientes enunciados.
1. El enunciado: Todo rbol es una planta se simboliza
como:
a. Vx (A(x) P(x))
b. x (A(x) P(x))
c. x (P(x) ^ Q(x))
2. La expresin: No todos cantan es equivalente a:
a. Algunos no cantan
b. Todos no cantan
c. Algunos cantan

siguiente direccin: http://www.utplonline.edu.ec, participar del foro
del segundo bimestre, su aporte es importante.
UTPL
43
adicional, que estar disponible como anexo 4 del documento anexos
disponible en el campus virtual, rea de materiales.
No olvide que debe acceder al campus virtual para

interactuar con el tutor y sus compaeros, adems podr
descargar informacin de la materia.
44
UTPL
SOLUCIONARIO
No.
Cuestin
clasificacin
Respuesta
1.
Cul es la
enunciados?
de
los
Declarativos
Imperativos
Interrogativos
2.
Qu tipo de enunciado es utilizado en la

lgica matemtica?
3.
Proponer tres ejemplos de enunciados que

son proposiciones y tres enunciados que
no son proposiciones.
Proposiciones:
4< 6
Mara juega
El agua hierve a 100 grados
No Proposiciones:
El cuadrado de cuatro
Te gusta jugar?
Cierra la puerta
4.
Como se simbolizara el enunciado Juan

es alto utilizando la lgica proposicional
y lgica de predicados.
Lgica Proposicional
P
Lgica Predicados
A( j )
Declarativos

No.
Cuestin
1.
Traducir
al
lenguaje
formal
los
enunciados:
a. No es cierto que si voy al cine entonces
tengo que caminar.
b. Si 10 + 5 = 15 entonces 10+4 < 15
c. El tres no es par pero es nmero primo.
d. Si llueve me mojo.
2.
Qu es una regla de inferencia?
Respuesta
a. (PQ)
b. PQ
c. P ^ Q
d. PQ
Inferencia es una operacin lgica

que consiste en concluir una cierta
proposicin en forma inmediata sobre
la base de una o dos proposiciones
previamente asumidas llamadas
premisas.
UTPL
45
No.
Cuestin
Respuesta
3.
Cmo trabaja el mtodo indirecto o de

reduccin al absurdo?
Incluye dentro de las premisas la

conclusin negada y se trata de
llagar a una contradiccin.
4.
Dadas las premisas, demostrar F utilizando

el mtodo directo y el indirecto.
1. G H
2. G F
3. H
Mtodo directo
1. G H
2. G F
3. H
4. G MT(1, 3)
5. F MP(2, 4)
6. F DN(5)
Mtodo Indirecto
1. G H
2. G F
3. H
4. F
Incluir conclusin negada
5. G
MT(2, 4)
6. H
MP(1,5)
7. H ^ H Adj (6, 3)

No.
Cuestin
Respuesta
1.
La unin de conjuntos de (A U B ) se
representa por:
a. A - B
b. (p v q)
c. (p v q)
Literal b.
2.
La interseccin de conjuntos de A B se
representa por:
a. (p v q)
b. p q
c. p q
Literal b.
3.
La inclusin de conjuntos
representa por:
a. (p q)
b. (p q)
c. (q p)
B A se
Literal c.
4.
Considerando las operaciones siguientes

entre conjuntos, determinar el equivalente
en trminos de lgica matemtica
a. A B
b. A U B
c. (A B)
d. A U (B C)
46
UTPL
a. P Q
b.
P v
Q
c.
(P Q)
d.
P v (Q R)

No.
Cuestin
Respuesta
1.
Cules son los dgitos con los que trabajan

los sistemas binario, octal y hexadecimal?
Binario: 0, 1
Octal: 0 7
Hexadecimal: 0 9, A,B,C,D,E,F.
2.
Para que se utiliza los complementos

binarios?
Para poder representar nmeros con

signo.
3.
Cul es el procedimientos que se utiliza

para transformar al sistema binario, la
parte fraccionaria de un nmero decimal?
Se multiplica la fraccin decimal por

dos y la parte entera de este producto
es la primera cifra de la fraccin
binaria. La parte fraccionaria del
producto se multiplica nuevamente
por 2 y la parte entera de este
producto es la segunda cifra de la
fraccin binaria y as sucesivamente,
pude darse varios casos.

No.
Cuestin
1.
Si cada una de las entradas x , y de una

compuerta OR tienen las siguientes
sucesiones de bits:
x= 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0
y= 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
Cul es la salida de dicha compuerta?
2.
Escriba (V) o (F) segn corresponda.

a. ( ) Una variable booleana puede
representare mediante bits.
b. ( ) Las operaciones lgicas son la
base para el funcionamiento de
un computador
c. ( ) La operacin + suele dominarse
habitualmente operacin AND
d. ( ) Una variable booleana puede
tener tres estados posibles.
e. ( ) La Forma normal disyuntiva se
representa por un producto de
trminos, donde cada trmino
es la suma de todas las variables
involucradas en la expresin.
Respuesta
1011101111101110
a. V
b. V
c. F
d. F
e. F
UTPL
47

No.
1.
2.
Cuestin
Escriba una (v)o una (f), segn sea el
enunciado verdadero o falso.
1. ( ) En la lgica cuantificacional a la
las proposiciones se les llaman
enunciados cuantificados y a sus
smbolos cuantificadores.
Respuesta
1. V
2. ( ) En la lgica de predicados a los

nombres propios se los simboliza
con letras maysculas.

3. ( ) El enunciado categrico ningn
s es p equivale a decir todo s no
es p.
2. F
4. ( ) La negacin de cuantificador
existencial es equivalente al
cuantificador universal.
4. V
5. ( ) Los
predicados
mondicos
expresan una relacin entre
varios sujetos.
5. F
Encierre en un crculo el literal de la

respuesta correcta por cada uno de los
siguientes enunciados.
1. El enunciado: Todo rbol es una planta
se simboliza como:
a. Vx (A(x) P(x))
b. x (A(x) P(x))
c. x (P(x) ^ Q(x))
2. La expresin: No todos cantan es
equivalente a:
a. Algunos no cantan
b. Todos no cantan
c. Algunos cantan
3. V
1. b
2. a
RR/sd/07-02-07/48
mj/14-07-08
48
UTPL

Logica Matemática

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logica Matemática

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDAD TCNICA PARTICULAR DE LOJA

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS DE LA COMPUTACIN

Ing. Priscila Valdivieso Daz; Ing. Ruth Mara Retegui Rojas

Ing. Ruth Mara Retegui Rojas

(07) 2 570 275 Ext. 2929

Martes y mircoles de 15h30 a 17h30

Reciba asesora virtual en: www.utpl.edu.ec

ABRIL - AGOSTO 2009

Priscila Valdivieso Daz

Gua Didctica: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

Comprender los principios bsicos y utilizar las herramientas fundamentales de la

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

Plan de desarrollo de contenidos

Captulo 1. Introduccin a la Lgica

Captulo 2. Lgica Proporsicional

Captulo 3. Teora de Conjuntos

Captulo 5. Algebra Booleana

Captulo 6. Lgica de Predicados

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Identificar las nociones bsicas de la lgica matemtica y entender la

Formalizar enunciados del lenguaje natural o comn, aplicar los

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

CAPTULO 2. LGICA PROPORCIONAL

CAPTULO 3. TEORA DE CONJUNTOS

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

DESARROLLO DEL APRENDIZAJE

Iranzo, P. (2004), Lgica simblica para informticos, Ra Ma, Madrid

Horas de estudio empleadas para el desarrollo del contenido

El propsito de este captulo es introducirlo en los conceptos

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Descripcin del contenido a

La Universidad Catlica de Loja

En este apartado introduce

Leer las pginas 9 a 1 2 del

Leer las pginas 1 a 5 del texto

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Cuestiones de repaso captulo 1

Cul es la clasificacin de los enunciados?

Interactividad a travs de los Foros de Campus Virtual

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

Capitulo 2. La Lgica Proposicional

Iranzo, P. (2004), Lgica simblica para informticos, Ra Ma, Madrid

17 a 29, 31 a 39, 82 Horas de estudio empleadas para el 24

La Universidad Catlica de Loja