MOMENTO INTERMEDIO PASO 2

PENSAMIENTO LOGICO Y MATEMATICO

PRESENTADO POR
DILIA GAMEZ MILLIAN
COD. 1065590451

TUTOR
NEVARDO ALONSO AYALA

GRUPO: 200611_58

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PROGRAMA DE PSICOLOGIA
ABRIL
2017
 INTRODUCCION

En el presente trabajo, está generalizado por tres fases, lo cual son de mucha importancia ya
que la teoría de tablas de verdad es la base fundamental para iniciar a complementar la
iniciación del tema relacionado al pensamiento logico matematico. Sin comprender esta fase
sería ilógico continuar con los temas relacionados. Por último los temas relacionados a las
proposiciones y los razonamientos, son procesos que nos indican a través de un enunciado
en qué posición según la lógica está ubicado. Este trabajo nos sumerge en el mundo de la
pensamiento logico matematico, algo de lo que a diario hacemos uso sin darnos cuenta, es
interesante retomar los conceptos que nos ayudan a estructurar de una manera muy particular
las proposiciones, la aplicación de los enunciados las tablas de verdad entre otros. Además
presentamos ejemplos de la vida cotidiana, para que a través de la lógica matemática se pueda
demostrar su validez, considerando que mediante el aprendizaje de la lógica matemática se
facilita aprender cualquier tema. Aprender el uso de simuladores de tablas de verdad, para
comprobar las tablas resultantes.
 OBJETIVOS

OBJETIVO GENERAL

Desarrollar un taller de ejercicios sobre los contenidos de la unidad 2 del curso de

Pensamiento Lógico Matemático, los cuales le permitirán profundizar en los temas tratados.

OBJETIVOS ESPECIFICOS

 Profundizar el tema tratado de la 2 unidad del Syllabus de pensamiento lógico

matemático.
 Ayudar en el debido desarrollo del trabajo individual con el fin de que cada integrante
entienda y razone respecto a los temas.
 Entender y aplicar apropiadamente las temáticas planteadas por el tutor.
Primera Etapa

CUANTIFICADORES Y PROPOSICIONES CATEGÓRICAS

Cuantificadores
Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo de elementos de
un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores,
entre los más utilizados están:

Cuantificador universal (∀)

Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se llama cuantificador
universal y se simboliza por “∀”.

Ejemplo:

(∀x =1) / (x + 4 = 4 + x) significa que todo "x" verifica la ecuación

Nota: esta expresión se lee de la siguiente manera “para todo x =1 se verifica

que x + 4 = 4 + x".

Cuantificador existencial (Ǝ)

Los cuantificadores de la forma existe por lo menos uno, se llaman cuantificadores

existenciales y se representan así: “Ǝ”.

Ejemplo:

(Ǝx = 1) / (2x + 3 = 5) significa que para x = 1 verifica la ecuación

Nota: esta expresión se lee de la siguiente manera “existe por lo menos uno x =1 se verifica
que 2x + 3 = 5".

Proposiciones categóricas

Una Proposiciones categóricas es un enunciado que consta de dos Proposiciones las cuales
actúan una como sujeto y otra como predicado.
Ejemplos:

 Ningún soltero es casado

 Algunos Mazda no Son fabricados en Japón

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de
lógica, conocida como aristotélica, tradicional, o de silogismos categóricos.

Existen cuatro clases de proposiciones categóricas. Usando “S” y “P” como símbolos, estas
son:

Ejemplos:

 Todos los poetas son filósofos

 Ningún poeta es filósofo
 Algunos poetas son filósofos
 Algunos poetas no son filósofos

Representación de las proposiciones categóricas

Presentación de los cuatro tipos de proposiciones categóricas

Caso 1: Todo S es P.

La parte del círculo S que esta fuera de P representa todos los S que
no son P
Todo S es P
Escritura en Forma Lógica: (∀x) (Sx→Px)
Segunda Etapa

ANEXO 1
SITUACIONES PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL FASE
INDIVIDUAL

5. Daniela e Isabella son hermanas y el pasado fin de semana ocurrió un suceso del cual e
papá y la mamá desean saber en realidad como pasaron las cosas; Isabella dio su
versión a los padres; pero luego Daniela comenta lo siguiente: “Es falso cuando mi
hermana dice que no es cierto que, ella estuvo en cine con su amiga Lorena o que estuvo en
la biblioteca estudiando para el parcial, o que estuvo en cine con Lorena o estuvo en el ensayo
del coro de la iglesia. Isabella mi hermana dice que estuvo en el ensayo del coro de la iglesia.
Mauricio un poco confundido por lo que dicen sus hijas, decide hacer algo que aprendió en
su formación como matemático y transforma en un expresión proposicional simbólica lo que
dijo Daniela acerca de Isabella, para saber si es una incoherencia (la tabla de verdad daría
contingencia) o es falso (la tabla de verdad dará una contradicción) o si es una verdad (la
tabla de verdad daría una tautología). ¿A qué conclusión llega Mauricio?

Solución:

p q r [( p → ~q) ^ (r → ~q)] → ~r
v v v v f f f v f f v f
v v f v f f f f v f v v
v f v v v v v v v v f f
v f f v v v v f v v v v
f v v f v f f v f f v f
f v f f v f v f v f v v
f f v f v v v v v v f f
f f f f v v v f v v v v
Es una incoherencia la tabla de verdad es una contingencia
Tercera Etapa

ANEXO 2
ENUNCIADOS DENOMINADOS SILOGISMOS FASE INDIVIDUAL

5. Ningún ciclista puede ser campeón y ocupar el segundo lugar al mismo tiempo en el
pódium del Tour de Francia.
Nairo Quintana es ciclista colombiano.
Nairo Quintana no puede ser campeón y ocupar el segundo lugar al mismo tiempo en el
pódium del Tour de Francia.

Ciclista

En la combinación de los diagramas de Venn, se puede observar que existe una región
sombreada que específica que, en tal región, Nairo Quintana no puede ser campeón y ocupar
el segundo lugar al mismo tiempo en el pódium del Tour de Francia. Por todo ello, la
conclusión del silogismo Nairo Quintana no puede ser campeón y ocupar el segundo lugar al
mismo tiempo en el pódium del Tour de Francia es válida.
 CONCLUSIONES

En conclusión esta actividad permitió que como estudiantes afianzáramos aun más nuestros
conocimientos, pusiéramos en práctica lo comprendido durante la primera unidad, todo lo
relacionado con los principios de la lógica, representaciones simbólicas, y según lo
comprendido pudiéramos representar haciendo uso del diagram de venn y poder llevar acabo
la elaboración de tablas deverdad de proposiciones simbólicas.
Gracias al aporte de éste trabajo podemos descubrir la facilidad con la que en una situación
problémica podemos solucionar objetivamente un problema, razonando de una manera lógica
y detallada pues la información final es veraz.
 REFERENCIAS BIBLIOGRAFICAS

Bustamante A. A. (2009). Lógica y Argumentación: De los argumentos inductivos a las

álgebras de Boole. 1º. Edición. México: Editorial Pearson. (pp. 63-81). Recuperado de:
http://hdl.handle.net/10596/7959.

Barceló Aspeitia Axel Arturo marzo 26, 2012. Introducción a la Lógica Intencional Lógica
Temporal Proposicional Apuntes de Clase. Recuperado de:
http://www.filosoficas.unam.mx/~abarcelo/INTENSIONAL/2012/260312.pdf.

Prof. Bahit Eugenia. Buenos Aires, 2014. Cátedra de Introducción a la Lógica y Métodos
Científicos Ed. EUDEBA. cap. VI y VII. Recuperado de:
http://46.101.4.154/PEA/COD3/Tema%20III.%20Silogismos%20Categ%C3%B3ricos.pdf.