AUTOR: César Augusto Acosta Minoli

PENSAMIENTO LÓGICO MATEMÁTICO CRÍTICO

 Unidad 1 - EA2
Análisis de Argumentos con Tablas de Verdad
Competencias del espacio de aprendizaje
Conceptuales:
• Compara distintas formas de representar una misma información y evaluar la más conveniente.

• Utiliza diferentes registros de representación y diferentes sistemas de notación simbólica para expresar y
representar ideas matemáticas.

Procedimentales:
• Compara diversas alternativas para la solución de una situación o problema.

• Plantea procesos y estrategias adecuados para enfrentarse a una situación.

Actitudinales:
• Justifica la selección de procedimientos o estrategias matemáticas utilizadas para dar solución a un problema.
 Ruta metodológica

Recomendaciones generales
Para el óptimo desarrollo de este espacio de aprendizaje, se aconseja buscar un lugar propicio para el estudio y
aprendizaje de contenidos.

Ten lápiz, papel, borrador y sacapuntas a la mano para tomar apuntes personales y realizar los distintos cálculos
matemáticos que se irán presentando al desarrollar el espacio de aprendizaje. Recuerda que el cerebro es inteligente,
por lo tanto, si le dices que no entiendes, esto es exactamente lo que hará. Así que te invitamos abrir la mente y a
llevar a cabo tablas de verdad.

Requerimientos
Haber desarrollado el espacio de aprendizaje 1.

Tiempo estimado
Una semana y media.
 Introducción a la temática

En este espacio de aprendizaje veremos una pequeña introducción a la lógica proposicional, en donde se incluyen
conceptos como significado de proposición, conectivos lógicos, tablas de verdad y cuantificadores.

Observa el siguiente video, el cual tiene como propósito ilustrar brevemente la lógica proposicional de manera rápida
y sencilla.

Video Lógica y tablas de verdad

Unboxing Philosophy (2017,02,26). Lógica y Tablas de Verdad.
Ir al video
Recuperado de:https://www.youtube.com/watch?v=G53Da_gzsx0&feature=youtu.be
 Desarrollo de la temática

Lógica proposicional
Todos los dispositivos electrónicos (celular, Tablet, computadores…) nacen del uso y de la aplicación de la lógica
matemática a las ciencias de la computación. Durante más de 2000 años distintos lógicos propusieron distintos silogismos,
sin embargo, Leibniz el creador de la notación actual del cálculo, propuso un método para tratar los enunciados en forma
similar al algebra, logrando estructurar y ordenar la lógica de aquel tiempo, minimizando procesos. Igualmente, Leibniz
tuvo el sueño de crear una computadora universal, capaz de hacer todos los cálculos, así que describió la primera máquina
capaz de sumar, restar, multiplicar y dividir llamada “Volante de Leibniz”. El principal objetivo era que los hombres pudieran
aprovechar mejor su tiempo, en lugar de estar haciendo operaciones. Por ejemplo, los comerciantes de la época debían
realizar las cuentas del dinero de sus negocios, tiempo que podrían haber aprovechado en generar estrategias de marketing
y mercadeo para expandirse y mejorar su calidad de vida.

¡Así que sin más preámbulos entremos al mundo de la lógica matemática!

Proposiciones:
Una proposición es un enunciado o expresión la cual se le puede otorgar un valor de verdad, ya sea falso o verdadero.
Ejemplo:
• La silla es roja y la mesa es café.
• 7 es un número primo.
• Camila es alta.
• Java es un lenguaje de programación.
• Se firmó el acuerdo de paz en Colombia.

Todas las proposiciones se consideran oraciones, pero no todas las oraciones se consideran proposiciones,
como es el caso de las oraciones interrogativas, imperativas, exclamativas, y dubitativas a las cuales no se
les puede dar un valor de verdadero o falso.
Ejemplo:
• ¿Qué día es hoy?
• Hola!
• ¡Por Dios!
• Tienes que cuidar a tu perro.
• Quizás, es mejor de esa manera.
• ¿Aún me amas?

Notación:
En este espacio utilizaremos para denotar a las proposiciones las letras p, q, r, s, t,...
Ejemplo:
• p: Quindío tiene 12 municipios.
• q: x+3y>2y+x
• r: 5+4=9
• u: El Lunes es un día festivo.
Negación de una Proposición:
Negar una proposición es convertir su valor de verdad, es decir, si la proposición es verdadera convertirla
en falsa, y si es falsa convertirla en verdadera. La negación se simboliza con ¬ ó ~.
Ejemplo
• p: Todos los números impares son primos. (Falso)
• ¬p: Algunos números impares son primos. (Verdadero)
• q: 64 es múltiplo de 8. (Verdadero)
• ~q: Es falso que 64 es múltiplo de 8. (Falso)

Conectivos Lógicos:
Son aquellos que permiten conectar proposiciones para formar otras, ¡conozcámoslos!:

Fuente: UDV (2018).

Proposiciones Simples y Compuestas:

1. Simples: o atómicas son aquellas que no tienen conectivos lógicos en su estructura.
2. Compuestas: o moleculares son aquellas que tienen conectivos lógicos en su composición.

Ejemplo
• q: Algunas redes sociales sirven para fomentar información ó para encontrar amistades.
(Compuesta o molecular)
 • t: Miguel es un experto en mercadeo y publicidad. (Compuesta o molecular)
• u: Lo perdono si y solo si me vuelve a buscar. (Compuesta o molecular)
• r: Si un número es terminado en cero entonces es divisible por 2 y por 5. (Compuesta o molecular)
• p: 5 es el tercer número primo conocido (Simple o Atómica)
• v: Marcela y Diego van a estudiar un diplomado. (Compuesta o molecular)
• z: El experimento estuvo mal diseñado o las personas mintieron. (Compuesta o molecular)
• w: Hoy es jueves y por ende hay pico y placa para mi moto. (Compuesta o molecular)
• o: Un número es compuesto si y solo si tiene dos divisores. (Compuesta o molecular)

Tablas de Verdad
La idea en la lógica de las proposiciones matemáticas,
es adquirir el valor de verdad de la proposición, sin importar cuantos
conectivos lógicos la compongan, para tal fin se utilizan las Tablas de Verdad.

Entre los objetivos de las proposiciones, se encuentra el de asignar un valor de verdad (falso o verdadero).
Por lo tanto para analizar los valores de verdad de proposiciones, el procedimiento consiste en ubicar todas las posibilidades
de certeza o falsedad posibles en forma de una tabla, para luego teniendo en cuenta los conectores lógicos y su forma, se
dé un criterio de verdad o falsedad.
El número de posibilidades de verdadero o falso, está dado por la fórmula 2 n, donde n representa el número de proposiciones
simples que componen la proposición compuesta.

Ejemplo
• p^q: Esta proposición compuesta tiene en su estructura 2n proposiciones simples, p y q,
por lo tanto tiene 2n = 22 = 4 combinaciones posibles de verdadero y falsedad.

• r→[(p^q)↔p]: Esta proposición compuesta tiene en su estructura 3 proposiciones simples, p, q y r,

por lo tanto tiene 2n = 23 = 8 combinaciones posibles de verdadero y falsedad.
A continuación veremos cómo establecer el valor de verdad para este tipo de proposiciones, según el conectivo lógico.
Tabla de Verdad de la Conjunción
Sean p y q dos proposiciones, entonces la proposición p^q es llamada la conjunción entre la proposición p y la
proposición q.
Una conjunción es verdadera si y solo si los dos enunciados que la componen son verdaderos, y es falsa en caso contrario.

Fuente: UDV (2018).

Ejemplo
Carlos toca guitarra y batería
Pueden suceder entonces las siguientes combinaciones:
• Que Carlos tenga la guitarra y tenga la batería
• Que Carlos tenga la guitarra y no tenga la batería.
• Que Carlos no tenga la guitarra y tenga la batería.
• Que Carlos no tenga la guitarra y no tenga la batería.

Solo en el primer caso Carlos puede tocar la guitarra y la batería, debido a que tiene ambos instrumentos musicales. En los
otros casos no podrá tocar la guitarra y la batería. Estas combinaciones se pueden aplicar en la anterior tabla de verdad.
Tabla de Verdad de la Disyunción Inclusiva
Sean p y q dos proposiciones, entonces la proposición pvq es llamada la disyunción inclusiva entre la
proposición p y la proposición q.

Una disyunción inclusiva es verdadera si y solo si al menos uno de los dos enunciados que la componen es
verdadero, y es falsa en caso contrario.

Fuente: UDV (2018).

Ejemplo
En una empresa se requiere una secretaria con certificación en inglés o en experiencia en francés.
Pueden darse cuatro posibilidades:
• Tiene certificación en inglés o tiene experiencia en francés.
• Tiene certificación en inglés o no tiene experiencia en francés.
• No tiene certificación en inglés o tiene experiencia en francés.
• No tiene certificación en inglés o no tiene experiencia en francés.
La secretaria es aceptada en el primer caso porque tiene certificación y experiencia. En los casos 2 y 3 también es
aceptada porque la secretaria cumple al menos una de las dos. Sólo en el caso 4 la secretaria no es aceptada porque no
dispone de ninguno de los dos requerimientos solicitados.
Disyunción Exclusiva
Sean p y q dos proposiciones, entonces la proposición pvq es llamada la disyunción exclusiva entre la
proposición p y la proposición q. En este caso solo uno de los dos sucesos es posible, mas no ambos a la
vez.
Una disyunción exclusiva es verdadera si y solo si uno de los dos enunciados que la componen es verdadero,
y es falsa en caso contrario.

Fuente: UDV (2018).

Ejemplo
Un cliente solicita una nueva línea telefónica, la compañía le asignará un número de teléfono que termine
en un número par o impar.
Pueden darse cuatro posibilidades:
• Que el número de teléfono termine en par o termine en impar.
• Que el número de teléfono termine en par o no termine en impar.
• Que el número de teléfono no termine en par o termine en impar.
• Que el número de teléfono no termine en par o no termine en impar.
La primera situación no es posible debido a que no pueden ocurrir ambos sucesos a la vez. Los casos 2 y 3 pueden ocurrir,
ya que sólo se puede asignar al final un número par o impar. En el caso 4 no es posible que no haya un número par o impar.
Condicional
Sean p y q dos proposiciones. La unión de ellas mediante el condicional si p entonces q, que se representa p→q, se puede
leer como:
• Si p entonces q
• q solo si p
• p es razón suficiente para q
En la expresión p→q, a p se le denomina “antecedente” y a q “consecuente”.
Un condicional es verdadero en todos los casos excepto cuando el antecedente es verdadero y el consecuente es falso, ya
que no puede suceder el evento sin que ocurra la consecuencia.

Fuente: UDV (2018).

Ejemplo
Si Jairo es Ingeniero Electrónico, entonces desarrolla circuitos.
Pueden darse cuatro posibilidades:
• Jairo es Ingeniero Electrónico, entonces desarrolla circuitos.
• Jairo es Ingeniero Electrónico, entonces no desarrolla circuitos.
• Jairo no es Ingeniero Electrónico, entonces desarrolla circuitos.
• Jairo no es Ingeniero Electrónico, entonces no desarrolla circuitos.
De acuerdo a las anteriores posibilidades se puede afirmar, que el primer caso es verdadero.
En el caso 2, si Jairo es Ingeniero Electrónico, entonces no desarrolla circuitos, es falsa, porque para ser Ingeniero
Electrónico, es necesario que Jairo desarrolle circuitos.
El tercer caso es verdadero, ya que alguien puede desarrollar circuitos sin ser Ingeniero Electrónico.
En el cuarto caso, la veracidad se da por deducción directa.
Bicondicional
Un condicional es verdadero en todos los casos excepto cuando el antecedente es verdadero y el consecuente es falso, ya
que no puede suceder el evento sin que ocurra la consecuencia.
Sean p y q dos proposiciones. La unión de ellas mediante el conectivo lógico “…si y solo si…”, que se
representa p↔q, se puede leer como:
• p si y solo si q
• p es equivalente a q
La proposición p↔q es verdadera solo cuando ambas son verdaderas o falsas a la vez.

Fuente: UDV (2018).

Ejemplo
Un número es compuesto si y solo si tiene más de dos divisores
• Puede suceder que para que un número sea compuesto es necesario que tenga más de dos divisores, y es
suficiente que tenga más de dos divisores para que sea compuesto, por lo tanto el bicondicional es verdadero
cuando las dos proposiciones que lo conforman son verdaderas. Por otro lado, si un número no es compuesto
es porque no tiene más de dos divisores, y es suficiente que no tenga más de dos divisores para que no sea
compuesto. El bicondicional también es evaluado como verdadero cuando las dos proposiciones que lo conforman
son falsas.
Tenga en cuenta que en el siguiente libro encontrará los ejercicios enunciados en la actividad autónoma propuesta.

Lectura 1 Lógica matemática para informáticos

Cardona, S., García, M. y Pulgarin, A. (2014). Lógica Matemática para Informáticos. Ir a la lectura
NOTA: Se adjunta PDF del libro
 Actividad autónoma
Con el fin de afianzar los conocimientos adquiridos, reforzar los conceptos y desarrollar con éxito la actividad evaluativa, lo
invitamos a realizar las actividades autónomas. No olvide que todas las dudas e inquietudes son importantes, y pueden ser
comentadas en el Foro: Dudas e inquietudes, disponible a lo largo del espacio académico.

Actividad evaluativa
Con el propósito de valorar los conceptos aprendidos a través del espacio de aprendizaje y las actividades autónomas, lo
invitamos a desarrollar la actividad evaluativa, la cual tiene peso sobre la nota definitiva del espacio académico.
Resumen

Fuente: UDV (2018).

 Glosario

Proposiciones
Una proposición es un enunciado o expresión la cual se le puede otorgar un valor de verdad, ya sea falso o verdadero.

Conectivos lógico
Son aquellos que permiten conectar proposiciones para formar otras, son: Conjunción, disyunción inclusiva y exclusiva,
condicional y bicondicional.

Proposiciones simples
Proposiciones que no tienen conectivos lógicos en su estructura.

Proposiciones compuestas
Proposiciones que tienen conectivos lógicos en su composición.

Tablas de verdad
Sirven para establecer el valor de verdad (falso o verdadero) de las proposiciones simples y compuestas.

Conjunción
Es la unión de dos proposiciones mediante el conectivo lógico “y”.

Disyunción inclusiva
Es la unión de dos proposiciones mediante el conectivo lógico “o”.

Disyunción exclusiva
Es la unión de dos proposiciones mediante el conectivo lógico “o”, en la cual solo puede ocurrir un evento y es imposible
que ocurran dos simultáneamente.

Condicional
Es la unión de dos proposiciones mediante el conectivo lógico “Si… entonces…”.

Bicondicional
Es la unión de dos proposiciones mediante el conectivo lógico “…si y solo si..”..
 Referencias

Referencia
Unboxing Philosophy, 26 de Febrero de 2017. Lógica y Tablas de verdad. Recuperado de https://www.youtube.com/
watch?v=G53Da_gzsx0

Referencia
Cardona, S., Garcia, J. y Pulgarin, A.(2014). Lógica Matemática para Informáticos. ISBN: 978-958-8801-22-3.

Referencia
Cardona, S, Hern´andez, L & Jaramillo, S. (2010). Lógica matemática para Ingeniería de Sistemas y Computación.
Ediciones Elizcom. Armenia - Colombia
ESTRATEGIA VIRTUAL