PENSAMIENTO LOGICO MATEMATICO

LOGICA PROPOSICIONAL
UNIDAD 2

TUTOR:
MARIA JOSE CHARFUELAN

ESTUDIANTE:
DAVID MENDOZA BRAVO
CC: 1128058452

GRUPO: 200611_901

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CSAV CARTAGENA
TECNOLOGIA EN LOGISTICA INDUSTRIAL
OCTUBRE 24/2016

OBJETIVOS
GENERAL
Evidenciar el reconocimiento y la apropiacin de los conocimientos
correspondientes a la unidad 2 lgica proposicional del curso de
pensamiento lgico y matemtico.
ESPECIFICOS
Desarrollar los problemas propuestos en el anexo de la unidad de manera
individual.
Reconocer los conceptos sobre tabla de la verdad, validez de argumentos
sobre tablas de la verdad y tablas de equivalencia al igual que cada uno
de los procedimientos que se deben seguir para el desarrollo de
problemas lgicos.
Participar en el foro de trabajo colaborativo de manera consecuente que se

permita el intercambio de ideas y de conocimiento con el grupo de trabajo.

Diferenciar los razonamientos deductivos e inductivos.
Reconocer y construir silogismos.
Determinar la validez de un razonamiento lgico.

Comprender el papel que juegan los razonamientos deductivos e

inductivos en un proceso de investigacin.

INTRODUCCION
A travs del desarrollo del presente trabajo individual se pretende evidenciar el
reconocimiento del componente acadmico que compone la unidad 2 de lgica
proposicional por parte del estudiante donde se pueda constatar a travs de esta
actividad la apropiacin de los conceptos necesarios que permitan desarrollar problemas
de aplicacin ya sea en nuestro entorno social o laboral empleando Las tablas de verdad,
teniendo en cuenta que estas nos permiten analizar cualquier frmula y hallar sus
valores de verdad. Nos dice si una frmula es satisfacible. Si un razonamiento es vlido
o no. Constituye un procedimiento de decisin que en un nmero finito de pasos nos
dice si una frmula es una tautologa o no, reconocer la validez de nuestros argumentos
y las tablas de equivalencia de acuerdo a los objetivos del curso de PENSAMIENTO
LOGICO Y MATEMATICO.
Razonar es un proceso por el cual se establece una conclusin basada en una o ms
proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto
de partida del proceso.
Si la conclusin es concreta significa que las premisas contienen la informacin
necesaria y suficiente para establecer la conclusin y por lo tanto se puede afirmar que
el razonamiento es correcto, de lo contrario se dir que es incorrecto.
La lgica es la ciencia que estudia la estructura o forma del pensamiento, por lo tanto no
es difcil comprender que hay varias formas de pensamientos, ms aun, existen varias
formas de razonar. El presente trabajo se va a ensear la finalidad de obtener ms
conocimiento sobre el razonamiento y sus tipos, las inferencias y sus tipos, las ideas,
premisas. Por ello, realizamos ejercicios donde aplicaremos los conceptos aprendidos en
esta unidad, demostraremos la validez de una conclusin y por ltimo, haciendo uso de
las tablas de la verdad determinaremos la validez de un razonamiento.
Los razonamientos lgicos, derivan la validez, la posibilidad o falsedad de otro juicio
distinto; las inferencias lgicas, las formas de razonamiento deductivo y los argumentos
inductivos, que son las premisas que determinan el grado de probabilidad de la lgica
matemtica.

DESARROLLO DEL TRABAJO INDIVIDUAL

Primera etapa: Socializar la conceptualizacin y mnimo tres ejemplos de alguna
de las terminologas de la Lgica Matemtica
La terminologa es la siguiente:
Concepto de proposicin lgica.
Una proposicin es una oracin con valor referencial o informativo, de la cual se puede
predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no
ambas a la vez.
La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser
verdadera o falsa empricamente, sin ambigedades. Son proposiciones las oraciones
aseverativas, las leyes cientficas, las frmulas matemticas, las frmulas y/o esquemas
lgicos, los enunciados cerrados o claramente definidos. No son proposiciones las
opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos
no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y
dubitativas; las interjecciones en general; ni las operaciones aritmticas.
El valor de verdad de una proposicin depende no solamente de las relaciones entre las
palabras del lenguaje y los objetos en el mundo, sino tambin del estado del mundo y
del conocimiento acerca de ese estado. El valor de verdad de la oracin Juan
canta depende no solamente de la persona denotada en Juan y el significado del
verbo cantar, sino tambin del momento cuando esta oracin es expresada. Juan
probablemente canta ahora, pero ciertamente que no siempre est cantando.
De la misma manera, debemos hacer una distincin entre la oracin gramatical
propiamente dicha, a la que llamaremos enunciado, y el contenido o significado del
enunciado, que es la proposicin. As los siguientes enunciados representan en realidad
a la misma proposicin:

En Maracaibo hace mucho calor

Maracaibo es una ciudad muy calurosa
La temperatura media de Maracaibo es bastante alta
El clima de Maracaibo es clido
Maracaibo is a hot city

Las siguientes expresiones son ejemplos de proposiciones:

Bolvar libert a Venezuela

El hierro es un mineral
Einstein fue un fsico terico
36 + 63 = 99
La palabra "esdrjula" es esdrjula
Los siguientes son ejemplos de expresiones las cuales no son proposiciones

El hombre ms fuerte del mundo

El director del peridico
Quin se ganara el Quino!
13 + 7
T te callas!
X obtuvo el Premio Nobel en 1970
Cunto cuesta ese reloj?
Las proposiciones se representan por letras minsculas: p, q, r, s, t, u, etc.
Por ejemplo, sea la proposicin q igual a 34 + 56 = 90
Proposiciones simples y compuestas. o Las cuatro Tablas de verdad:
Conjuncin.

Tabla de la verdad conjuncin

Ejemplos
La puerta est vieja y oxidada.
Hace fro y est nevando.
Est lloviendo y es de noche.
Tiene gasolina y tiene corriente.
Disyuncin
En la lgica proposicional existes dos tipos de Disyuncin inclusiva y disyuncin
exclusiva.

Tabla de la verdad Disyuncin Inclusiva

Tabla de la verdad Disyuncin Exclusiva

Ejemplos
Est lloviendo o es de noche.
Est feliz o est enojado.
Est caminando o est lloviendo.
Hay derivadas o hay integrales.
Implicacin

Tabla de la verdad implicacin

Ejemplo
Si est dormido entonces est soando.
Si quiere comer entonces tiene hambre.
Si Londres est en Inglaterra entonces Pars est en Francia.
Si hay gasolina en mi tanque entonces mi automvil funciona.
Bicondicional o equivalencia

Tabla de la verdad equivalencia

Ejemplos
Esta completo si y solo si tienes todas las actividades.
Saldrs si y solo si acabaste tu tarea.
Est lloviendo si y solo si est nublado.
3+2=5 si y solo si 4+4=8

Segunda etapa:
Planteamiento y resolucin (utilizando las operaciones necesarias de las tablas de
verdad) de uno de los problemas de la Lgica Proposicional del ANEXO 1; adems
adjuntar pantallazo de la comprobacin de la tabla de verdad con el simulador
TRUTH dicho simulador est dispuesto en el entorno de Aprendizaje Prctico. Es
necesario clasificar la tabla de verdad en Tautologa, Contradiccin o Contingencia
segn sea el caso.
ANEXO 1
Paola entra en una discusin con su esposo Jairo por el derroche de dinero que han
tenido en los ltimos meses. En una conversacin un tanto acelerada, Jairo le dice
a su esposa: No es cierto que, compr un carro nuevo o una motocicleta de alto
cilindraje, o compr un auto nuevo o perd el premio econmico de la empresa por
superar el nmero de ventas. Y es que perd el premio que otorgaba la empresa por

superar el nmero de ventas. Ser que Paola le dar la razn a su esposo o

considerar que es falso lo que l dice? Segn el resultado de la tabla de verdad,
determinando si es tautologa, contradiccin o contingencia, plantea una respuesta
sobre la percepcin de Paola respecto a lo que mencion su Jairo.
Solucin:
Perd el premio econmico de la empresa para superar el numero de ventas" lo
menciona dos veces de una manera muy incoherente, en una dice no haberlo perdido, en
otra afirma perderlo. Es una contradiccin ya que primero asegura que es mentira y
despus lo afirma, posiblemente sea un error ortogrfico el que lo hace ver as, pero por
lo tanto, si es una contradiccin.

ANEXO 2 - SILOGISMO
Ningn tratado de la Escuela Piagetiana puede ser del constructivismo.
Algunos estudios sobre la pedagoga pueden ser un enfoque del constructivismo.
Algunos estudios sobre la pedagoga no son Tratados de la Escuela Piagetiana
Solucin
Ningn tratado de la Escuela Piagetiana puede ser del constructivismo. Proposicin
categrica negativa
Algunos estudios sobre la pedagoga pueden ser un enfoque del constructivismo.
Proposicin categrica afirmativa particular.

Algunos estudios sobre la pedagoga no son Tratados de la Escuela Piagetiana

Proposicin categrica negativa particular.

Conclusin
Al concluir el presente trabajo colaborativo podemos afirmar que el estudiante est en
capacidad de desarrollar problemas de aplicacin donde se empleen los conceptos y
procedimientos empleando las tablas de la verdad para dar una respuesta que confirme
las proposiciones y enunciados dados que permitan dar respuesta situaciones de su vida
social y laboral al igual que los silogismos y sus propiedades para lograr clasificar las
proposiciones y graficar mediante diagramas los mismos.
El termino razonamiento es el punto de separacin entre el instinto y el pensamiento, el
instinto es la reaccin de cualquier ser vivo.
Razonar nos hace analizar y desarrollar un criterio propio, el razonar esa a su vez la
separacin entre un ser vivo y el hombre.

A su vez evidenciaremos la apropiacin del conocimiento necesario y estimado para

esta unidad temtica de estudio que componen el curso de pensamiento lgico y
matemtico de tal forma que pueda aportar al desarrollo de la actividad colaborativa con
argumentos slidos y confiables que permitan la retroalimentacin de los dems actores
del grupo de trabajo.

Bibliografa

Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado de

https://dcfca35f82f85394a1f6a178935464151320aca5.google
drive.com/host/0By7BIcHpFSDON090QVkzdmJOeXc/index.html
Prez, A. R. (2013). Lgica matemtica. Una introduccin a las
matemticas discretas y teora de grafos. (pp. 1-22). Crdoba, AR: El Cid
Editor. Recuperado de http://www.ebrary.com
Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado de
https://dcfca35f82f85394a1f6a178935464151320aca5.googledrive.com/hos
t/0By7BIcHpFSDON090QVkzdmJOeXc/index.html
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios.
: Larousse - Grupo Editorial Patria. Pginas 19 - 29. Recuperado de:
http://hdl.handle.net/10596/6551

Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial

Patria.
Pginas
151162.
Recuperado
de:
http://hdl.handle.net/10596/6552
Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para
la educacin media. Bogot, CO: Educar Editores S.A. Pginas 151 -162
Recuperado de: http://hdl.handle.net/10596/6541
Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos
inductivos a las lgebras de Boole. 1. Edicin. Mxico, Editorial Pearson.
Pginas 63-81. Recuperado de: http://hdl.handle.net/10596/7959
url de origen: http://es.slideshare.net/gollolarios/logica-y-argumentacion48589590
Hilder Moscote. [Hilder Moscote]. (2016, Agosto 01) [aplicacin de las
tablas de verdad en el lgebra de proposiciones]. Recuperado de:
http://hdl.handle.net/10596/7961

Lgica

proposicional,

recuperado

el

da

16

de

octubre

de

2016

http://campus03.unad.edu.co/ecbti04/mod/lesson/view.php?id=3837&pageid=828
Lgica

proposicional,

recuperado

el

da

16

de

http://www.monografias.com/trabajos/iartificial/pagina4_1.htm

octubre

de

2016