Cápsula formativa 1
Lógica proposicional
Estrategia de Aprendizaje I
Cápsula formativa 1 Lógica proposicional
En la cotidianidad se muestra que las personas en diferentes ocasiones se enfrentan a
situaciones en las que implica directamente desarrollar la argumentación y la capacidad de
síntesis, así como la necesidad de mejorar la interpretación y la construcción de razonamientos
basados en la lógica.
El estudio de la lógica proposicional permitirá relacionar y desarrollar en los estudiantes
habilidades para emplear fundamentos matemáticos en el pensamiento lógico, la
comunicación y la interpretación de problemas reales.
Para Escudero (2015, p. 6) una oración es “un conjunto de palabras que expresa un
pensamiento completo. También se define como la unidad del habla con sentido completo”,
como ejemplo de estas tenemos:
- Juan está leyendo un libro.
- Luis fue a visitarme a mi casa.
- Andres hace ejercicio en el gimnasio.
- María contesta correos todo el día en su trabajo.
- Camila come hamburguesa con sus hermanos.
Si tenemos una o varias oraciones a las cuales se les puede dar el valor de verdad, es decir si
se puede indicar que es verdadera o falsa, lo podemos llamar proposición.
A las proposiciones se les puede simbolizar con letras: p, q, r, s, t,... Algunos autores en libros de
lógica matemática establecen que las proposiciones se muestran con letras mayúsculas, otros
las presentan con letras minúsculas. Para este caso nos basaremos en el libro de Villalpando
Becerra, J. F. (2015). Matemáticas discretas: aplicaciones y ejercicios. México D.F, México:
Grupo Editorial Patria.
Ejemplo:
p: El cielo es azul.
q: El sol es una estrella.
r: La capital de Colombia es Bogotá.
s: El 2, 4, 6, 8… son números pares.
t: Son las once y once minutos.
Así como se pueden tener proposiciones simples (que no tienen ningún tipo de conector
lógico), existen las proposiciones compuestas (es decir que están unidas por uno o varios
conectores lógicos ).
Cápsula formativa 1 Lógica proposicional
Los conectores lógicos son elementos que permiten concatenar (enlazar) ideas entre dos o
más proposiciones simples. En la lógica matemática, históricamente se trabajan con símbolos
que identifican cada uno de los conectores lógicos. Al utilizar algún conector lógico decimos
que las proposiciones ahora son compuestas.
Ejemplos de conectores lógicos:
- Negación
- Conjunción
- Disyunción
- Condicional
- Bicondicional
NEGACIÓN ~
El conector lógico de negación es el encargado de cambiar el valor de verdad de la
proposición. El símbolo de la negación es ~
Ejemplos:
- p: Pedro come galletas en el parque.
Con negación
~p: Pedro NO come galletas en el parque.
- q: El símbolo químico del Potasio no es Na
Con negación
~q: El símbolo químico del Potasio es Na
TABLA DE VERDAD DE LA NEGACIÓN
Las tablas de verdad son una forma de representación y organización de las proposiciones en
las que gráficamente se puede evidenciar su valor. Allí se muestran las proposiciones
compuestas.
La negación de una proposición falsa es verdadera y la negación de una proposición
verdadera es falsa.
Cápsula formativa 1 Lógica proposicional
CONJUNCIÓN “y”; "^"
La conjunción se cumple cuando los dos valores de verdad son verdaderos. El símbolo de la
conjunción es ^.
Ejemplos:
p: Andrés juega ajedrez en la casa de su amiga Patricia
q: Andrés juega cartas en la casa de su amiga Patricia.
p ^ q: Andrés juega ajedrez y cartas en la casa de su amiga Patricia.
s: El número 5 es primo.
t: El número 7 es primo.
s ^ t: Los números 5 y 7 son números primos.
TABLA DE VERDAD DE LA CONJUNCIÓN
DISYUNCIÓN “o”; "^"
La disyunción es falsa cuando los dos valores de verdad son falsos. El símbolo de la disyunción
es ^
Ejemplos:
p: Pedro estudia lógica matemática en la biblioteca de la Universidad.
q: Pedro juega baloncesto en la cancha de su barrio.
p ^ q: Pedro estudia lógica matemática en la biblioteca de la universidad o juega baloncesto
en la cancha de su barrio.
s: Esa comida está hecha con aceite de maíz.
t: Esa comida está hecha con aceite de oliva.
s ^ t: Esa comida está hecha con aceite de maíz o de oliva.
Cápsula formativa 1 Lógica proposicional
TABLA DE VERDAD DE LA DISYUNCIÓN
CONDICIONAL “implicación”; " "
El operador lógico condicional convierte a la proposición compuesta en falsa únicamente
cuando su antecedente o hipótesis es verdadero y su consecuente o conclusión sea falso. El
símbolo para la condicional es
Ejemplos:
p: Rafael estudia lógica matemática todos los días.
q: Rafael pasa la asignatura.
p q: Sí Rafael estudia lógica matemática todos los días, entonces pasará la asignatura.
s: En el trabajo al que Juan asiste utilizan todos las precauciones de bioseguridad contra el
COVID-19.
t: En el trabajo al que Juan asiste ningún funcionario se ha contagiado.
s t: Sí en el trabajo al que Juan asiste utilizan todos las precauciones de bioseguridad
contra el COVID-19, entonces ningún funcionario será contagiado.
TABLA DE VERDAD DEL CONDICIONAL
Cápsula formativa 1 Lógica proposicional
BICONDICIONAL “equivalencia”; " ”
El operador lógico Bicondicional es verdadero solo cuando las dos proposiciones tengan el
mismo valor de verdad. El símbolo del Bicondicional es
Ejemplos:
p: 3 y 5 son números primos
q: 3 y 5 son números naturales
p q: 3 y 5 son números primos si y solo si son números naturales.
s: Si un polígono tiene cuatro lados, entonces es un cuadrilátero.
t: Si un polígono es un cuadrilátero, entonces tiene cuatro lados.
s t: Un polígono es cuadrilátero si y sólo si tiene cuatro lados.
TABLA DE VERDAD DEL BICONDICIONAL
Cápsula formativa 1
Lógica proposicional
Estrategia de Aprendizaje I
