ISMAEL DE JESUS NORIEGA PUCHE - 1128268935

PASO INTERMEDIO 2-
USO DE LAS TABLAS DE
VERDAD
JULIAN DARIO GIRALDO
ISMAEL NORIEGA

2017

PENSAMIENTO LOGICO Y MATEMATICO

 INTRODUCCIÓN
Las tablas de verdad nos permiten analizar una fórmula para hallar sus valores de
verdad, es un método poderoso y claro de la lógica formal basado en un análisis
que permite determinar las condiciones necesarias de la verdad de una
proposición. Una proposición es una oración en la cual tiene un sentido establecer
un valor, sea de falsedad o veracidad. También se pretende que este trabajo nos
sirva de gran ayuda en la realización de la actividad colaborativa, teniendo en
cuenta que todo lo aprendido en la fase individual será utilizado en algún momento
para realizar aportes fundamentales al desarrollo del mismo o para reforzar los
conocimientos de los demás compañeros del grupo colaborativo.

Por último, el aprender sobre la tabla de verdad, silogismos entre otros, genera
bases sólidas para abordar esta segunda fase y todo el resto de actividades que
nos tenga el curso de pensamiento lógico y matemático.
 OBJETIVOS

 Aplicar la interpretación y elaboración de las tablas de verdad de forma

colaborativa.
 Resolver ejercicios de la lógica proposicional a través de la tabla de la
verdad.
 Determinar la operación necesaria que se bebe aplicar para la solución del
problema propuesto.
 Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus
valores de verdad.
 Mediante su aplicación se construye procedimientos de decisión que en un
numero finito de paso nos dice si una fórmula es tautológica o no.
 Conceptualizar la Lógica Proposicional buscando establecer la respetiva
clasificación de las proposiciones y sus características.
 Identificar los diferentes conectores lógicos que existen y sus respectivas
representaciones en las tablas de verdad.
 Interpretar un enunciado de una situación del mundo real y representarla a
través del álgebra proposicional para poder establecer su valor de verdad y
así clasificarla como una tautología, contradicción o contingencia según sea
el caso.
 Conceptualizar las proposiciones categóricas como enunciados que
representan un evento o suceso de manera universal o particular.

FASE INDIVIDUAL
ETAPA 1
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 “mazdas” 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:

Proposición categórica Representación

Universal afirmativa Todos S son P
Universal negativa Ningún S es P
Particular afirmativa Algunos S son P
Particular negativa Algunos S no son P

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.
Caso1: 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)
Caso2: Ningún S es P o-ningún P es S.

La parte común de los dos círculos representa la intersección o producto de las

dos clases SP
Ningún S es P
Ningún P es S
Escritura en Forma Lógica: (∀x )(Sx→¬Px)

Caso3: Algún S es P o-algún P es S

Algún S es P
Algún P es S
Escritura en Forma Lógica: (Ǝx)(Sx ᴧ Px)

Caso4: Algún S no-es P

Algún S no es P
Escritura en Forma Lógica: (Ǝx)(Sx ᴧ ¬Px)

Algún P no es S
Escritura en Forma Lógica: (Ǝx)(Px ᴧ ¬Sx)

Clasificación de las proposiciones categóricas

A continuación, profundizamos en la representación de las cuatro formas estándar
de proposiciones categóricas:

Proposición Categórica Universal Afirmativa

"Todos los conductores de automóviles que no son seguros son personas
temerarias que ponen en peligro la vida de los demás"

Analicemos el ejemplo:
Si examinamos detenidamente la proposición categórica anterior, nos
podemos dar cuenta de que este se compone de 2 proposiciones:

1. Los conductores de automóviles inseguros.

2. Personas temerarias que ponen en peligro la vida de los demás.
Vemos entonces que existe un predicado y un sujeto
P: Los conductores de automóviles inseguros
S: Personas temerarias que ponen en peligro la vida de los demás

De esta manera concluimos que:

Todo S es P

Proposición Categórica Universal negativa

“Todos los conductores de automóviles son responsables y no son personas
temerarias que arriesgan la vida de los demás.”

Analicemos el ejemplo: En este nuevo caso nos damos cuenta otra ves que
la proposición categórica anterior la compone de 2 proposiciones:

1. conductores responsables
2. Personas temerarias

Vemos entonces que existe un predicado y un sujeto

S: conductores responsables
P: Personas temerarias

De esta manera concluimos que:

Ningún S es P

Proposiciones categóricas Negativa Particular

“algún número real no es positivo.”
Analicemos el ejemplo: Este nuevamente se compone de 2 proposiciones:

1. Número real
2. Numero negativo

Vemos entonces que existe un predicado y un sujeto

S: Numero negativo
P: Número real

Así concluimos que:

Algún S no es P

ETAPA 2 FASE INDIVIDUAL

ANEXO 1
SITUACIONES PROBLÉMICAS SITUACIONES
PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL
Daniela e Isabella son hermanas y el pasado fin de semana ocurrió un suceso del
cual el 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 una 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ía 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:
Declaración de las proposiciones simples,
p: Isabella estuvo en cine con su amiga.
q: Isabella estuvo en la biblioteca estudiando.
r: Isabella estuvo en el ensayo del coro de la iglesia.

Declaración de las proposiciones compuestas (lenguaje

natural),
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.

Declaración de las proposiciones compuestas (lenguaje formal),

~{~[(𝒑∨𝒒)∨(𝒑∨𝒓)]∧𝒓}

Tabla de verdad:

TAUTOLOGÍA
Uso del simulador TRUTH
 ETAPA 3 FASE INDIVIDUAL

ANEXO 2
SITUACIONES PROBLÉMICAS ENUNCIADOS
DENOMINADOS SILOGISMOS
1. 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.
Solución:
P1: Ningún ciclista puede ser campeón y ocupar el segundo lugar al
mismo tiempo en el pódium del Tour de Francia.
P2: Nairo Quintana es ciclista colombiano.
C: Nairo Quintana no puede ser campeón y ocupar el segundo lugar
al mismo tiempo en el pódium del Tour de Francia.

Ser Campeón y
ocupar el segundo
Nairo Lugar
Quintana

Ciclista
colombiano

Siendo Nairo Quintana un ciclista (no importa el hecho de que sea colombiano)
solo puedes ubicarlo en una de las tres particiones anteriores, ya que son
mutuamente excluyentes, por lo que se visualiza que no puede ser campeón y
ocupar el segundo lugar en el mismo momento.
Por tanto, Nairo Quintana puede pertenecer a una sola de las tres regiones, lo que
lleva a la conclusión de que Nairo Quintana no puede ser campeón y ocupar el
segundo lugar al mismo tiempo en el pódium.
 ETAPA 1 FASE GRUPAL
Presentación en prezi acerca de la Ley de Idempotencia
para las Proposiciones Lógicas
http://prezi.com/cyulcbpcfp0j/?utm_campaign=share&utm
_medium=copy

ETAPA 2 FASE GRUPAL

ANEXO 3
SITUACIÓN PROBLÉMICA DE LA LÓGICA
PROPOSICIONAL FASE GRUPAL
Para todos es preocupante la situación económica actual que vivimos y que
infortunadamente todo está muy costoso y el dinero no alcanza. Clemencia
reflexiona acerca de su proceder con su propia economía y su esposo
 reflexiona lo siguiente: “Clemencia mi esposa escribe su lista de gastos y
ella consigue un trabajo alterno en otra universidad. Mi esposa viaja en
bicicleta a su trabajo por lo cerca que queda o ella se desplaza caminando.
Si Clemencia escribe su lista de gastos, entonces ella ahorra mucho
dinero. Por consiguiente, mi esposa ahorra mucho dinero”. ¿Es claro lo
que expresa el esposo de Clemencia? Para dar la respuesta es necesario
elaborar la tabla de verdad de lo que comenta el esposo de Clemencia, si
es tautología es afirmativo el comentario, si da contradicción hay falsedad
en lo expresado, y si da contingencia, es porque hace falta información
para tener asertividad del comentario hecho.

Solución:

Declaración de las proposiciones simples,

p: Clemencia escribe su lista de gastos.
q: Clemencia consigue un trabajo alterno en otra universidad.
r: Clemencia viaja en bicicleta.
s: Clemencia se desplaza caminando.
T: Clemencia ahorra mucho dinero.

Declaración de las proposiciones compuestas (lenguaje

natural),
Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno
en otra universidad. Mi esposa viaja en bicicleta a su trabajo por lo cerca que
queda o ella se desplaza caminando. Si Clemencia escribe su lista de gastos,
entonces ella ahorra mucho dinero. Por consiguiente, mi esposa ahorra mucho
dinero.

Declaración de las proposiciones compuestas (lenguaje formal),

[(𝒑∧𝒒) ∧(𝒓∨𝒔) ∧(𝒑 ⟶ 𝒕)] ⟶ 𝒕

Tabla de verdad:

P Q R S T ~P ~Q ~R ~S ~T (p^q) rVs (p^q) ^ {(p^q) ^ (rVs)

(rVs) → (p→q)} →t
V V V V V F F F F F V V V V
V V V V F F F F F V V V V F
V V V F V F F F V F V V V V
V V V F F F F F V V V V V F
V V F V V F F V F F V V V V
V V F V F F F V F V V V V F
V V F F V F F V V F V F F V
V V F F F F F V V V V F F F
V F V V V F V F F F F V F V
V F F V V F V V F F F V F F
V F F F V F V V V F F F F V
V F F F F F V V V V F F F F
V F V V F F V F F V F V F V
V F V F V F V F V F F V F F
V F V F F F V F V V F V F V
V F F V F F V V F V F V F F
F V V V V V F F F F F V F V
F V V V F V F F F V F V F F
F V V F V V F F V F F V F V
F V V F F V F F V V F V F F
F V F V F V F V F V F V F V
F V F F V V F V V F F F F F
F V F F F V F V V V F F F V
F V F V V V F V F F F V F F
F F V V V V V F F F F V F V
F F F V V V V V F F F V F F
F F F F V V V V V F F F F V
F F F V F V V V F V F V F F
F F V V F V V F F V F V F V
F F V F V V V F V F F V F F
F F V F F V V F V V F V F V
F F F F F V V V V V F V F F
TAUTOLOGÍA

Simulador TRUTH
 CONCLUSIONES
 Todos los conocimientos adquiridos con el desarrollo de esta actividad son
de gran ayuda para el desempeño que podamos tener en la continuación
de este curso, teniendo en cuenta que todo lo aprendido nos servirá en
nuestro futuro personal y laboral.
 Esta actividad también me sirvió para fortalecer conocimientos en los
cuales tenia falencias y que además son de gran ayuda porque me pude
dar cuenta que se pueden presentar en la vida cotidiana, y que a veces no
se sabe cómo abordarlos.
 También me ayudo los aportes que brindo el tutor del grupo al que hago
parte y la webconference del curso, porque me enseño las bases, principios
fundamentales de los puntos a desarrollar, y a aplicar la comprensión de los
conocimientos en la actividad que estaba desarrollando.
 Queda completamente claro la unidad (Uso de las tablas de verdad) en
base a el trabajo realizado.
 hemos conseguido disfrutar del conocimiento, compartiendo el trabajo y
colaborando en equipo.
 A lo largo del trabajo realizado, hemos utilizado habilidades muy
importantes como: buscar información, comunicar razonamientos, aplicar
los conocimientos adquiridos a la resolución de problemas.
 BIBLIOGRAFIA

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado de:

http://erenriquez.net/largoty/Ova01MD/

Villalpando, B. J. F. (2000). Matemáticas discretas: aplicaciones y ejercicios.

Larousse - Grupo Editorial Patria. (pp. 19 - 29). Recuperado de:
http://hdl.handle.net/10596/6551

Chávez, C. P. (2000). Compendio de lógica. Larousse - Grupo Editorial Patria. (pp.

151- 162). Recuperado de: http://hdl.handle.net/10596/6552

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. (pp. 151 -162) Recuperado
de: http://hdl.handle.net/10596/6541

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

Villalpando, B. J. F. (2000). Matemáticas discretas: aplicaciones y ejercicios.

Larousse - Grupo Editorial Patria. (pp. 29 – 38). Recuperado
de: http://hdl.handle.net/10596/6544
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones. Recuperado de: http://hdl.handle.net/10596/7961