DEDICATORIA

El siguiente Trabajo est dedicado a mi

esposa LIZ, a mi familia y amistades que
hicieron lo posible de alguna u otra
manera, apoyndonos incondicionalmente
en todo momento, con el nico fin de
culminar satisfactoriamente este curso y
informe, la cual fue llevado a cabo con
mucho esfuerzo y dedicacin.

INTRODUCCION

El presente informe documento informativo nace con la pretensin de sustentar nuestro

trabajo de investigacin de 8 problemas de lgica proposicional y 8 problemas de circuitos
lgicos.

La asignatura lgica y funciones en su capacitacin al estudiante vigiliano tanto en teora

como en practicidad no conllevo a realizar un sustento a nuestro trabajo con el fin de
exponer de manera puntual los mtodos empleados para resolver diferentes problemas
del curso, as como el procedimiento y dems. Por lo tanto se puede afirmar sin lugar a
equivocarse que este informe sustentatorio nos servir ampliamente para nuestra vida
profesional cuando necesitemos aplicar la lgica en nuestros trabajos para resolver algn
problema.

Aunque en la actualidad los programas de computador existentes en el mercado realizan

resoluciones rpidas siendo por ello muy ventajosos, presentan dos problemas: el primero
se desconocen los criterios de resolucin que todo estudiante debe saber, el segundo es
que todos estos programas no ayudan a agilizar la mente lo cual es vital para ser grandes
profesionales, por esto es necesario resolver estos problemas bsicos de manera manual
donde el estudiante no se dedica a introducir valores en un software como Excel u otro y
obtener una respuesta rpida la cual no nos ayuda mentalmente.

Es por esto que decimos que este es un complemento pedaggico que aporta a los
estudiantes una ayuda tanto en entendimiento de los conceptos vistos en los cursos como
el reconocimiento de los parmetros y en el anlisis sin programas que facilita el
desarrollo de un futuro razonamiento lgico ms complejo una vez que hallamos
afianzado los conocimientos adquiridos.

1. DESCRIPCION DEL INFORME

1.1 TITULO
INVESTIGACIN DE 8 EJERCICIOS CON RESOLUCIN DE LGICA
PROPOSICIONAL Y CIRCUITOS LGICOS.

1.2 OBJETIVO GENERAL

Analizar, aprender, identificar calcular comprobar y aplicar nuestro criterio como
interpretadores de la resolucin de ejercicios de nuestro curso lgica proposicional.

1.3 OBJETIVOS ESPECFICOS

Determinar y comprobar las respuestas de los ejercicios

Generar un criterio en base a la morfologa de los ejercicios
Verificar nosotros mismos que se aplican las leyes lgicas que eran teora pero
que comprobamos
Reforzar los conocimientos tericos adquiridos en la asignatura lgica y funciones
Facilitar el aprendizaje del curso con mayor nfasis hacia la parte conceptual y de
anlisis as obtener un criterio de resolucin de ejercicios

1.4 JUSTIFICACION
La razn por las cual se realiza el diseo y sustentacin es expresada de manera clara y
precisa como se puede constatar en el presente informe de los ejercicios resueltos ya que
es de gran importancia la correcta utilizacin de las leyes lgicas.

1.4.1. IMPACTO
Debido al tiempo que se pas analizando y calculando este trabajo repercuti en m
dndome nuevos conceptos y permitindome demostrar los clculos aplicacin de las
leyes lgicas.

1.4.3 VIABILIDAD
La compensacin ms ptima que hace posible el desarrollo de este trabajo es la que
involucra el aprendizaje y la prctica de los conocimientos bsicos.

2. MARCO TERICO
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms
simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad.
La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o
variables interpretables como entidades. En lgica proposicional si bien no hay signos
para variables de tipo entidad, s existen signos para variables proposicionales (es decir,
que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de
ah el nombre proposicional. La lgica proposicional incluye adems de variables
interpretables como proposiciones simples signos para conectivas lgicas, por lo que
dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a
partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones
ms simples

3. MARCO PRCTICO

PROBLEMA 01
EDITORIAL RUBIOS
LOGICA PROPOSICIONAL

PROBLEMA 06
EDITORIAL RACZO
LOGICA PROPOSICIONAL

4. CONCLUSIONES

Se aprecia que sin programa software como Excel se aprende mucho mas

Se realiz la investigacin en diferentes bibliotecas sin recurrir al internet ya que

todo est tergiversado y es muy confuso.

7. RECOMENDACIONES

Es muy importante revisar la editorial de los libros para saber si de verdad son
reconocidos a nivel mundial.

8. BIBLIOGRAFIA

Lgica para amantes de la lgica proposicional, editorial RACZO 2007

Adictos a la lgica proposicional , editorial LUMBRERAS , lima-Per 1999

Pasin por la lgica versin pro master junior, editorial RUBIOS lima-Per
2001