Documentos de Académico
Documentos de Profesional
Documentos de Cultura
matemático
Bloque 3
R azonamiento lógico matemático
Contenido
5. Inferencias lógicas y silogísticas
5.1. Planteamiento de conclusiones lógicas como resultado
de relacionar entre sí enunciados de tipo universal o
particular
5.2. Planteamiento de proposiciones o hipótesis simples o
complejas con conectivos lógicos
5.3. Comprobación de razonamientos de lógica simbólica
mediante tablas de verdad o aplicando reglas de
inferencia
6. Lógica proposicional
6.1. Proposición (verdad y falsedad)
6.2. Conectivos lógicos (negación, conjunción, disyunción,
condicional, bicondicional)
6.3. Operaciones proposicionales
6.4. Tablas de verdad
6.5. Implicación lógica
6.6. Equivalencia lógica, leyes de álgebra de proposiciones
2
I nferencias lógicas y silogísticas bloque tres
Clave
ACTIVIDADES SUMATIVAS
Son las distintas tareas que desarrolla el estudiante
para verificar el logro de un objetivo de aprendizaje
Actividades de aprendizaje
específico: ensayos, mapas mentales o conceptuales,
cuadros comparativos, entre otras.
LECTURAS
3
R azonamiento lógico matemático
INSTRUCCIONES Y RECURSOS
Actividades formativas
Reforzadores
MULTIMEDIA
4
I nferencias lógicas y silogísticas bloque tres
Introducción
Lecturas base
Lecturas complementarias
5
R azonamiento lógico matemático
6
I nferencias lógicas y silogísticas bloque tres
7
R azonamiento lógico matemático
Si revisamos la lógica formal (en otras palabras, la estructura de los enunciados) en función
elemental del sujeto-predicado, observamos que las premisas cumplen con la lógica formal:
Premisa mayor: El volibol es un deporte que se juega entre dos equipos.
Sujeto Predicado
Premisa menor: Todos los deportes que se juegan entre dos equipos son de contacto.
Sujeto Predicado
Conclusión: Por lo tanto, el volibol es un deporte de contacto.
Sujeto Predicado
Si examinamos la lógica material (es decir, la verdad de los enunciados), observamos que solo la
premisa mayor cumple con la lógica material, por ende, la conclusión es falsa:
Premisa mayor: El volibol es un deporte que se juega entre dos equipos. (Verdadera)
Premisa menor: Todos los deportes que se juegan entre dos equipos son de contacto. (Falsa)
Conclusión: Por lo tanto, el volibol es un deporte de contacto. (Falsa)
En esta línea argumentativa, cuando todos los enunciados contienen premisas falsas, la conclusión
es falsa. Por ejemplo, el planteamiento de una conclusión falsa surge al asociar enunciados
universales entre sí:
Premisa mayor: Todos los deportes se juegan entre dos equipos.
Premisa menor: Todas las bellas artes se practican entre dos equipos.
Conclusión: Por lo tanto, todos los deportes son bellas artes.
Si revisamos la lógica formal (esto es, la estructura de los enunciados) en función elemental del
sujeto-predicado, observamos que las premisas cumplen con la lógica formal:
Premisa mayor: Todos los deportes se juegan entre dos equipos.
Sujeto Predicado
Premisa menor: Todas las bellas artes se practican entre dos equipos.
Sujeto Predicado
Conclusión: Por lo tanto, todos los deportes son bellas artes.
Sujeto Predicado
Si analizamos la lógica material (en otras palabras, la verdad de los enunciados), observamos que
ambas premisas son falsas; por ende, la conclusión es falsa:
Premisa mayor: Todos los deportes se juegan entre dos equipos. (Falsa)
Premisa menor: Todas las bellas artes se practican entre dos equipos. (Falsa)
Conclusión: Por lo tanto, todos los deportes son bellas artes. (Falsa)
En consecuencia, si en un enunciado las premisas tienen lógica material, la conclusión es verdadera;
sin embargo, un enunciado con lógica formal y premisas falsas, puede llevar a una conclusión
verdadera o falsa.
8
I nferencias lógicas y silogísticas bloque tres
9
R azonamiento lógico matemático
Un atleta que practica halterofilia debe poseer un desarrollo máximo de la fuerza y uno que
practica judo debe tener habilidad. (p ˄ q)
Compuesta disyuntiva inclusiva. Implica discernir entre una proposición p y una proposición q; se
distingue porque utiliza el conector lógico o y no excluye la posibilidad de que ambas proposiciones
sean verdaderas, finalmente, su notación es, pvq; por ejemplo:
El baloncesto es aeróbico. (p)
El baloncesto es anaeróbico. (q)
El baloncesto es aeróbico o es anaeróbico. (pvq)
Compuesta disyuntiva exclusiva. La disyunción exclusiva se distingue porque utiliza el conector
lógico o antes de cada proposición e implica que en dos proposiciones p y q solo existe la posibilidad
de que una sea verdadera, su notación es, p⩡q; por ejemplo:
El atleta está entrenando. (p)
El atleta está estudiando. (q)
El atleta o está entrenando o está estudiando. (p⩡q)
Compuesta–condicional. La condicional emplea el conector lógico si… entonces…, es decir, dada
una proposición p existe otra q, su notación es, p⟶q; por ejemplo:
Los atletas entrenan comprometidamente. (p)
Los atletas consiguen triunfos deportivos. (q)
Si los atletas entrenan comprometidamente, entonces consiguen triunfos deportivos. (p⟶q)
Compuesta bicondicional. La bicondicional usa el conector lógico si y solo si, lo cual implica que
una proposición p se cumple si y solo si, se cumple q, cuya notación es p⟷q; por ejemplo:
El triunfo está asegurado. (p)
Se entrena constantemente. (q)
El triunfo está asegurado si y solo si se entrena constantemente. (p⟷q)
Se entrena constantemente si y solo si el triunfo está asegurado. (q⟷p)
Sabías que…
La propuesta conjuntiva lleva el conector lógico y, y sus sinónimos más comunes son: p incluso
q, p tal como q, p también q, p así como q, p al mismo tiempo que q, no solo p sino también q, p
asimismo q, p a la vez que q, p igualmente q, p además q, p a la par que q, p igual que q, entre otros.
Por su parte, la propuesta disyuntiva inclusiva lleva el conector lógico o y sus sinónimos más
comunes son: p a no ser q, p a menos que q, p salvo que q, p excepto que q, entre otros. En
cambio, la propuesta disyuntiva exclusiva lleva el conector lógico o antes de cada proposición y sus
sinónimos más comunes son: p o solo q, p no es equivalente a q, no es equivalente p con q, bien p
o bien q, p o solamente q, p o únicamente q, entre otros.
Ahora bien, la propuesta condicional lleva el conector lógico si… entonces…, sus sinónimos más
comunes son: con tal p es obvio que q, toda vez que p es consecuente q, dado p por eso q, cada
vez que p consiguientemente q, ya que p es evidente q, entre otros, mientras que la propuesta
bicondicional lleva el conector lógico si y solo si, y sus sinónimos más comunes son: p cuando y
10
I nferencias lógicas y silogísticas bloque tres
p q p˄q
V V V
V F F
F V F
F F F
Fuente: elaboración propia.
11
R azonamiento lógico matemático
Modus tollendo tollens. Esta regla de inferencia se aplica a las proposiciones condicionales, con
la diferencia de que, negando el consecuente se niega el antecedente de la proposición condicional,
es decir, permite demostrar ¬p a partir de ¬q; esto es, si ¬q implica ¬p y si ¬q es verdad, entonces ¬p
es verdad. Por ejemplo:
Premisa 1. Si está fracturado el jugador, entonces deben ponerle una férula.
p q
Premisa 2. No deben ponerle una férula.
¬q
Conclusión: No está fracturado el jugador.
¬p
Modus tollendo ponens. Esta regla de inferencia se aplica a la proposición disyuntiva inclusiva
(pvq) y expresa que negando se afirma, es decir, permite demostrar p o q; en otras palabras, si de pvq
se niega p, entonces q es verdad o si se niega q, entonces p es verdad. Por ejemplo:
Premisa 1. El atleta es paralímpico o el atleta es olímpico.
p v q
Premisa 2. El atleta no es olímpico.
¬q
q r
12
I nferencias lógicas y silogísticas bloque tres
13
R azonamiento lógico matemático
1. pvq
Modus tollendo ponens 2. ¬p
Proposición: [(pvq) ˄ ¬p] ∴ q ∴
3. q
1. p⟶q
Silogismo hipotético
2. q⟶r
Proposición: [(p⟶q) ˄ (q⟶r)] ∴ (p⟶r)
3. p⟶r
1. pvq
Silogismo disyuntivo
2. ¬p
Proposición: [(pvq) ˄ (¬p)] ∴ q
∴
[(pvq) ˄ (¬q)] ∴ p
3. q
Ejemplo
a) Las gallinas ponen más huevos con iluminación permanente.
Es una proposición simple que identificamos, por ejemplo, con las letras p o q.
b) No tengo una moto verde.
Se trata de una negación, por lo que se escribiría con la siguiente notación: ¬q.
c) Rosa cocina y José sirve las bebidas.
Se trata de una conjunción, dado que contiene la letra y, por tanto, se escribe con la siguiente
notación: p ʌ q.
d) Bailamos o tomamos café.
Se trata de una disyuntiva que se distingue por la letra o por lo que se escribe con la siguiente
notación: p v q.
e) Si nos esforzamos, entonces podemos mejorar.
Se trata de una condicional porque contiene la frase si… entonces, por lo que se escribe con la
siguiente notación: p → q.
f) Haré ese trabajo si y solo si me pagan lo justo.
Se trata de una bicondicional porque contiene la frase si y solo si, por lo que se escribe con la
siguiente notación: p ↔ q.
g) No es cierto que si no vacunamos a nuestros hijos implica que no se enfermarán.
En notación: ¬ (¬p → ¬q).
h) La escuela recibe presupuesto o no se ampliarán los laboratorios.
14
L ógica proposicional bloque tres
En notación: p v ¬ q.
i) Si ganara más y gastara menos, entonces no requeriría una beca para estudiar.
En notación: (p ʌ q) → ¬ r.
j) Es falso que viva en Zacatecas, pero lo visito ocasionalmente.
En notación: ¬ p ʌ q.
k) No saldremos de vacaciones, a menos que cancele todas mis citas.
En notación: ¬p → ¬q.
l) Jorge es pasajero o conductor, pero no puede hacer ambas cosas a la vez.
En notación: (p v q) ʌ ¬ (p ʌ q).
6. Lógica proposicional
La lógica proposicional es una parte de la lógica que analiza las formas en que se relacionan las
proposiciones entre ellas, a través de un sistema planteado para examinar dichas proposiciones,
las cuales plantean un razonamiento mediante símbolos, que se utiliza para disponer de nuevas
proposiciones; en este sentido, las proposiciones se simbolizan por medio de fórmulas y operadores
lógicos, que son instrucciones aplicadas a tales fórmulas.
15
R azonamiento lógico matemático
Del mismo modo, si a las proposiciones simples anteriores se les agrega un enlace (conjunción,
condicional, disyunción), se obtendrá una proposición compuesta, que puede ser falsa o verdadera:
Es temporada de esquí alpino y en los Alpes hace frío. (V)
Si es temporada de esquí alpino, entonces en los Alpes hace frío. (V)
El basquetbol no es un deporte y Michael Jordan no es deportista (F)
El basquetbol no es un deporte si y solo si Michael Jordan no es deportista (F)
Operadores lógicos
Operador Símbolo Notación Leer como
Negación ¬, ~ ¬p o ~p no p
˄
Conjunción p˄q p y q󠄵
Disyunción inclusiva v
pvq poq
Disyunción exclusiva ⩡ p⩡q opoq
Condicional ⟶ p⟶q Si p entonces q
Bicondicional ⟷ p⟷q P si y solo si q
16
L ógica proposicional bloque tres
17
R azonamiento lógico matemático
p ¬p
V F
F V
Fuente: elaboración propia.
Conjunción. En la conjunción p y q (p ˄ q), los dos valores deben ser verdaderos para dar un
resultado conjunto verdadero. En este caso, solo la primera fila cumple el supuesto y las demás no,
por lo que la única verdadera es la primera fila.
18
L ógica proposicional bloque tres
p q p˄q
V V V
V F F
F V F
F F F
Fuente: elaboración propia.
p q p⩡q
V V F
V F V
F V V
F F F
Fuente: elaboración propia.
19
R azonamiento lógico matemático
p q p⟶q
V V V
V F F
F V V
F F V
Fuente: elaboración propia.
p q p↔q
V V V
V F F
F V F
F F V
Fuente: elaboración propia.
20
L ógica proposicional bloque tres
21
R azonamiento lógico matemático
p ¬p
V F
V F
F V
F V
Fuente: elaboración propia.
En la primera columna aparece la proposición p con sus dos opciones verdaderas y dos opciones
falsas; en la segunda columna se ubica ¬p, que es el negativo de p, es decir, el dato opuesto a p; a
partir de aquí se realiza la primera parte de la ecuación, (¬p→q).
Para resolver la ecuación se identifica que la primera operación es una proposición compuesta
condicional (¬p→q) en la que la primera proposición simple es negativa (¬p) y la regla establece que
en la condicional ¬p→q la función es verdadera en cualquier caso, excepto cuando ¬p es verdadera
y q es falsa. Por tanto, las tres primeras filas son verdaderas y la cuarta falsa.
¬p q (¬p⟶q)
F V V
F F V
V V V
V F F
Fuente: elaboración propia.
Ahora bien, si el objetivo es calcular la segunda parte de la ecuación (pvq), es decir, la disyunción
inclusiva pvq, para que sea verdadera, p o q deben ser verdaderas, por ende, cualquier fila que
cumpla este supuesto, será verdadera, esto sucede en las tres primeras filas excepto en la cuarta.
22
L ógica proposicional bloque tres
p q (pvq)
V V V
V F V
F V V
F F F
Fuente: elaboración propia.
(¬p⟶q) (p v q) (¬p→q) ˄ (p v q)
V V V
V V V
V V V
F F F
Fuente: elaboración propia.
p q ¬p (¬p⟶q) (p v q) (¬p→q) ˄ (p v q)
V V F V V V
V F F V V V
F V V V V V
F F V F F F
Fuente: elaboración propia.
23
R azonamiento lógico matemático
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Fuente: elaboración propia.
Para resolver la ecuación debemos realizar la primera operación, la cual es una proposición
compuesta de disyunción inclusiva pvq. En este sentido, a partir de dos proposiciones simples,
denominadas p y q, se obtiene la disyunción p o q. Ahora bien, para que la disyunción inclusiva sea
verdadera, p o q deben ser verdaderas, por tanto, cualquier fila que cumpla este supuesto, será
verdadera, como es el caso de las seis primeras filas. En el caso de la séptima y octava fila, ninguna
tiene un valor verdadero, por lo que resultan falsas.
p q pvq
V V V
V V V
V F V
V F V
F V V
F V V
F F F
F F F
Fuente: elaboración propia.
24
L ógica proposicional bloque tres
r ¬r
V F
F V
V F
F V
V F
F V
V F
F V
Fuente elaboración propia.
Si deseamos calcular la segunda parte de la ecuación p ˄ ¬r, la cual es la conjunción p y ¬r, los
dos valores deben ser verdaderos para dar un resultado conjunto verdadero. En este caso, solo la
segunda y la tercera fila cumplen el supuesto, sin embargo, las demás no.
p ¬r p˄¬r
V F F
V V V
V F F
V V V
F F F
F V F
F F F
F V F
Fuente: elaboración propia.
Finalmente examinaremos la expresión (p v q→p ˄ ¬r) que establece una proposición compuesta
condicional p⟶q; la función es verdadera en cualquier caso, excepto cuando p v q es verdadera y
p ˄ ¬r es falsa. Cuando sucede esto último, el resultado es falso y se cumple en la primera, tercera,
quinta y sexta fila. En la segunda, cuarta, séptima y octava fila no se presenta la excepción, por lo
que la función en esos casos tiene un valor verdadero.
25
R azonamiento lógico matemático
Leyes de álgebra proposicional. Las leyes de álgebra proposicional se utilizan para simplificar
proposiciones o encontrar proposiciones equivalentes, las cuales están representadas en la tabla 21.
26
L ógica proposicional bloque tres
p↔q ≅ q↔p ¬p ˄ (p v q) ≅ ¬p ˄ q ¬p ˄ V ≅ ¬p
p⩡q ≅ q ⩡ p ¬q v (¬p ˄ q) ≅ ¬q v ¬p rvF≅r
Negación Tercio excluido q˄V≅q
¬s v F ≅ ¬s
¬(¬p) ≅ p p v ¬p ≅ V
¬V ≅ F ¬q v q ≅ V
¬F ≅ V p ^ ¬p ≅ F
¬q ^ q ≅ F
Fuente: elaboración propia.
27
R azonamiento lógico matemático
[(¬p ν q) ^ (¬q → p)] ν (p ^ ¬q) Aplicando ley condicional: (¬q → p)] ≅(¬¬q v p)
[(¬p ν q) ^ (¬¬q v p)] ν (p ^ ¬q) Aplicando ley de la negación: (¬¬q v p) ≅(q v p)
[(¬p ν q) ^ (q v p)] ν (p ^ ¬q) Aplicando ley de conmutativa: [(¬p ν q) ^ (q v p)] ≅[(q ν ¬p) ^ (q v p)]
[(q ν ¬p) ^ (q v p)] ν (p ^ ¬q) Aplicando ley distributiva: [(q ν ¬p) ^ (q v p)] ≅ [ q ν (¬p ^ p)]
[(q ν (¬p ^ p)] ν (p ^ ¬q) Aplicando ley de tercio excluido: [(q ν (¬p ^ p) ] ≅ (q ν F)
(q ν F) ν (p ^ ¬q) Aplicando ley del elemento neutro: (q ν F) ≅ p
q ν (p ^ ¬q) Aplicando ley distributiva: q ν (p ^ ¬q) ≅ (q ν p) ^ (q ν ¬q)
(q ν p) ^ (q ν ¬q) Aplicando ley de tercio excluido: (q ν p) ^ (q ν ¬q) ≅ (q ν p) ^ V
(q ν p) ^ V Aplicando ley del elemento neutro: (q ν p) ^ V ≅ q ν p
q ν p. R.
28
L ógica proposicional bloque tres
Referencias
Domínguez, C. (2019). ¿Por qué lógica y teoría de la argumentación? Andamios, 16(41), 165-173. Recuperado de:
https://uacm.edu.mx/portals/5/num41/09_D_Por_que_Logica.pdf
29
R azonamiento lógico matemático
Actividad
Simplificar proposiciones
Valor: 15%
Consulta en la plataforma el objetivo de la actividad y las instrucciones correspondientes.
Recuerda que si tienes alguna duda respecto del entregable o de los temas programados para
esta semana, puedes resolverla con tu asesor, ya sea durante la sala online o solicitando una
asesoría individual.
Rúbrica
Antes de realizar la actividad te sugerimos revisar la rúbrica en la plataforma, a fin de identificar
con claridad los criterios con los que será evaluado tu entregable. Revisa los descriptivos de cada
criterio y apégate al nivel óptimo para conseguir la puntación máxima.
Actividad
Distinción entre lógica e inferencia
Valor: 10%
Consulta en la plataforma el objetivo de la actividad y las instrucciones correspondientes.
Recuerda que si tienes alguna duda respecto del entregable o de los temas programados para
esta semana, puedes resolverla con tu asesor, ya sea durante la sala online o solicitando una
asesoría individual.
Rúbrica
Antes de realizar la actividad te sugerimos revisar la rúbrica en la plataforma, a fin de identificar
con claridad los criterios con los que será evaluado tu entregable. Revisa los descriptivos de cada
criterio y apégate al nivel óptimo para conseguir la puntación máxima.
30