S2

LÓGICA MATEMÁTICA Y DIGITAL

Lógica proposicional

Todos los derechos de autor son de la exclusiva propiedad de IACC o de los otorgantes de sus
licencias. No está permitido copiar, reproducir, reeditar, descargar, publicar, emitir, difundir, poner a
disposición del público ni utilizar los contenidos para fines comerciales de ninguna clase.
APRENDIZAJES
ESPERADOS

El estudiante será capaz de:

Reconocer proposiciones lógicas utilizando
significados de los conectivos lógicos e interpretación
del significado de tabla de la verdad.

2
ÍNDICE
APRENDIZAJE ESPERADO 2
ABSTRACT 5
INTRODUCCIÓN 6
1. LÓGICA PROPOSICIONAL 7
1.1 PROPOSICIONES 9
1.1.1 VALOR DE LAS PROPOSICIONES 9
1.1.2 NEGACIÓN DE UNA PROPOSICIÓN 10
1.1.3 PROPOSICIONES SIMPLES Y COMPUESTAS 12
1.2 CONECTIVOS LÓGICOS Y TABLAS DE LA VERDAD 14
1.2.1 CONJUNCIÓN 17
1.2.2 DISYUNCIÓN 18
1.2.3 DISYUNCIÓN EXCLUSIVA 18
1.2.4 CONDICIONAL 19
1.2.5 BICONDICIONAL 20
1.2.6 NEGACIÓN 20
COMENTARIO FINAL 22
REFERENCIAS 23

1 1.2

3
 Antes de comenzar, te
invitamos a reflexionar Lee el título del contenido
sobre las preguntas
que se presentan a
continuación:

¿de qué crees que se

tratará el tema de la
semana? enido

¿Una proposicón
puede tener un valor ¿Haz escuchado alguna
lógico? ¿Sabes cuál vez que una oración puede
es el valor lógico de ser compuesta?¿Una
una proposición? oración compuesta puede
tener un valor lógico?
¿Una proposición
puede ser Verdadera ¿Qué sé o conozco
y Falsa a la vez? acerca de la
proposiciones lógicas?
¿Qué es una
proposición?
¿Qué espero
aprender esta
semana?

Recuerda escribir en un
cuaderno tus respuestas,
para que una vez finaliza
la semana puedas
complementar tus
respuestas con lo
aprendido.
ABSTRACT

La lógica proposicional consiste en darle valor lógico o en encontrar el valor lógico que representa
una determinada sentencia o un conjunto de estas. Las proposiciones tanto en el lenguaje natural
como en sus formas matemáticas pueden ser enunciadas de manera afirmativas, es por ello que
existe el llamado operador unitario u operador particular no que permite darle un sentido negativo a
una proposición.
De igual manera que en el lenguaje común, las proposiciones pueden expresar enunciados más
complejos que una simple oración dando origen así a oraciones con mayor grupo de proposiciones
interconectadas, es por esta razón que existe en la lógica proposicional una serie de elementos
denominados operadores lógicos que brindan la forma de conectar o enlazar diversas proposiciones
entre sí y construir de tal manera una oración con un valor lógico calculable.
Todo lo anteriormente señalado no conllevaría a nada sin la existencia de las tablas de verdad,
debido que estas permiten representar todas las combinaciones lógicas posibles que pueden tener
las proposiciones que se están evaluando, dichas tablas pueden albergar un sinnúmero de
proposiciones y por ende un número mayor de combinaciones, lo que permite tener todas las
posibles soluciones que pueda tener un conjunto de proposiciones al ser evaluadas en cada caso
posible.

5
INTRODUCCIÓN
A lo largo de esta semana se estudiarán las
proposiciones como parte integral de la lógica de
proposiciones, de esta manera se podrá reconocer
qué sentencia es una proposición y cuál no, además
de construir a partir de proposiciones simples otras
más complejas y con mayor contenido. Esta unidad
iniciará la representación de enunciados PALABRAS
(proposiciones) escritas en lenguaje común a una
CLAVE
fórmula matemática, para ir familiarizando la forma
en la que estas se leen y se escriben.
Teniendo en cuenta lo anterior las proposiciones por
sí solas pueden ser evaluadas y conseguir así su
valor lógico, sin embargo, la lógica proposicional
Pon atención a las siguientes
estudia la manera de que estas se relacionan y es
palabras claves, ya que te ayudarán
por ello que con el uso de conectivos lógicos se a identificar las ideas centrales o
construirán proposiciones más complejas que fundamentales dentro del texto:
permitan evaluar el valor lógico de estas, los
operadores y, o, si y solo si, si… entonces, o… o, Lógica proposicional
aunque comúnmente son utilizados al expresarse, Conectivos lógicos
no se reconocen como operadores que otorguen un
Operador unitario
sentido lógico a una oración. Durante esta semaan
Proposición molecular
se logrará comprender dicha función.
Proposición atómica
Proposición verdadera
Proposición falsa

6
1. LÓGICA PROPOSICIONAL

Una proposición es el contenido que se transmite en una oración y que puede ser cuestionado, es
decir, evaluar si esta es verdadera o falsa, también son conocidas como premisas o sentencias.
Estas son utilizadas en la lógica para representar una afirmación de un hecho que posteriormente
será cuestionada y evaluada.
La proposición “es una oración aseverativa de la que se tiene sentido decir que es verdadera o falsa”
(Nepomuceno, 2004, p. 72). Esto quiere decir que solo las aseveraciones son proposiciones,
además que dichas oraciones tienen un sentido lógico para poder ser afirmadas o no.
Por otra parte, es de observar que la lógica proposicional es una rama de la lógica que se encarga
de estudiar las diferentes sentencias lógicas y las posibles implicaciones de estas. Una palabra por
sí sola no puede ser una proposición, esta requiere de un contexto que le brinde información y por
consiguiente un sentido lógico.

7
EJEMPLO

Los gatos (no es una proposición).

Los gatos maúllan de noche (es una proposición, se puede
decir que es verdadera o falsa).
¡Cuidado con el perro! (no es proposición).
Los perros muerden (es una proposición, se puede decir que
es verdadera o falsa).
¿Cuánto cuesta esa revista? (no es proposición).
Las revistas de espectáculo son costosas (es una proposición,
se puede decir que es verdadera o falsa)

Como se revisó en la semana anterior, se requiere de una oración bien constituida por un sujeto y
un predicado para formar una proposición y requieren cumplir con ciertas condiciones. Se puede
decir que son proposiciones todas aquellas que cumplan con:
Sean una oración.
Sean oraciones aseverativas.
Sean verdaderas o falsas.
Además, no son consideradas proposiciones todas aquellas que:
Sean oraciones interrogativas, imperativas, desiderativas, exclamativas o dubitativas.
Sean juicios de valor.
Sean pseudoproposiciones (proposiciones que no puede determinarse si son verdaderas o
falsas).
Sean descripciones definidas.
Las funciones.
Los filosofemos (razonamientos).

Es fundamental recordar que una proposición, “es el resultado de una afirmación, aseveración o
juicio, expresada por medio de una oración declarativa de la forma sujeto-predicado, de la cual
podemos predecir que puede ser verdadera o falsa (portador de valor)” (Barraza, 2013, p. 26).
Teniendo en cuenta esta definición, las proposiciones pueden ser:
Tautologías: es una fórmula o proposición que al ser evaluada en cualquier condición
esta siempre dará como resultado una verdad.
Contradicción: es una proposición que para cualquier valor que se evalúe el resultado
siempre será falso.
8
 1.1 PROPOSICIONES
1.1.1 VALOR DE LAS PROPOSICIONES
Al momento de evaluar una proposición se debe tener en cuenta que esto no depende solamente
de la relación existente entre las palabras escritas y de los objetos a los que en estas se hacen
referencia, sino que depende de igual modo del momento en el que es hecha dicha proposición,
qué acción se está ejecutando en la proposición y quién la está ejecutando.
Partiendo de lo anterior es importante señalar que es el contenido de la proposición lo que
determina su valor real, por eso es necesario su análisis a fondo, ya que varias proposiciones
pueden tener el mismo significado y estar escritas de maneras diferentes.

EJEMPLO

Santiago de Chile es una ciudad muy fría.

En Santiago hace mucho frío.
La temperatura de Santiago es muy baja.

Por lo anterior, al evaluar las proposiciones, estas pueden tomar solo dos valores, si las
proposiciones son verdaderas (tienen el valor lógico 1) o por el contrario las proposiciones son
falsas (tienen el valor lógico 0). Para la valoración de dichas proposiciones usualmente se
representan de forma matemática, mediante el uso de letras minúsculas, por lo general iniciando
desde la letra “p” y así sucesivamente hasta representar todas las proposiciones necesarias,

EJEMPLO

p= Santiago de Chile es una ciudad densamente poblada.

q= Los perros maúllan.
r= Las mariposas polinizan las flores.

9
 Teniendo en consideración lo anterior se puede decir que estas proposiciones tomadas en el
ejemplo 31 tienen los siguientes valores lógicos:
p=1, Verdadera.
q=0, Falsa.
r=1, Verdadera.

1.1.2 NEGACIÓN DE UNA PROPOSICIÓN

La negación de una proposición expresada en forma matemática consiste en invertir el valor

actual o estado lógico original de la misma. Esto quiere decir que si una proposición es original-
mente verdadera al negarla será falsa, por el contrario, una proposición que es originalmente falsa
al negarla pasará a ser verdadera.
Para negar una proposición expresada en forma matemática, se le antepone a esta el símbolo “¬”
que significa “no”. Algunos casos donde se niega una proposición pueden ser:

No q.
Es falso q.
No es cierto q.
No es el caso q.
No se da el caso que q.
Jamás q.
Nada q.
Ningún q.

Siendo q una proposición cualquiera.

1 1 Este es un ejemplo simple de valoración y representación de una proposición

10
 Al leer el símbolo “¬”, se le da el significado de la partícula “no”, sin embargo, al momento de
interpretarlo en una proposición puede ser un poco más complejo, debido a la sintaxis del idioma
humano.

EJEMPLO

p= Santiago de Chile es una ciudad densamente poblada.

¬p= No Santiago de Chile es una ciudad densamente poblada.
q= Los perros maúllan.
¬q= No los perros maúllan.
r= Las mariposas polinizan las flores.
¬r= No las mariposas polinizan las flores.

Es por ello que la negación puede, en el caso de la lectura o escritura de una proposición,
expresarse de otra manera para así darle un mayor sentido lingüístico a la proposición, tal como
se ve en el ejemplo anterior, la forma textual de anteponer la partícula “no” a la proposición da
como resultado una proposición lingüísticamente incorrecta al leerla.

EJEMPLO

Para la proposición “p”

Santiago de Chile no es una ciudad densamente poblada.

Es falso que Santiago de Chile es una ciudad densamente
poblada.
No es cierto que Santiago de Chile es una ciudad densamen-
te poblada.
No es el caso de que Santiago de Chile es una ciudad densa-
mente poblada.

11
 EJEMPLO

Para la proposición “q”

Los perros no ladran.
Es falso que los perros ladran.
No es cierto que los perros ladran.
No es el caso que los perros ladran.

Para la proposición “q”

Los perros no ladran.
Es falso que los perros ladran.
No es cierto que los perros ladran.
No es el caso que los perros ladran.

Para la proposición “r”

Las mariposas no polinizan las flores.
Es falso que las mariposas polinizan las flores.
No es cierto que las mariposas polinizan las flores.
No es el caso que las mariposas polinizan las flores.

El símbolo “¬” es un operador unario, debido a que solo requiere del operador y un único
argumento, por lo que puede ser aplicado a una proposición única o a una operación lógica que
incluya varias proposiciones.

1.1.3 PROPOSICIONES SIMPLES Y COMPUESTAS

La lógica de proposiciones se encarga, como se ha mencionado anteriormente, de estudiar el valor
lógico de una proposición, sea verdadero o falso. Las proposiciones en sí pueden ser simples (ató-
micas) o compuestas (moleculares).
Partiendo de esto se puede decir que una proposición es simple o atómica cuando en esta se
expresa una única idea o existe una única acción. Se hace imposible para este caso encontrar en
ella otra proposición.

12
 Siendo algunas proposiciones simples:
EJEMPLO
p= Los triángulos tienen 3 lados.
q= Panamá es un país.
r= 3 es un número impar.

Por otro lado, las proposiciones compuestas o moleculares están constituidas por varias proposicio-
nes y se unen entre ellas mediante el uso de algunos conectivos lógicos, los cuales serán definidos
más adelante, pero que a continuación se presentan. Los conectivos lógicos son:
Si… Entonces.
Si y solo si.
Y.
O.
Por consiguiente, se puede decir que un conectivo lógico son todos aquellos elementos que permi-
ten interconectar dos o más proposiciones atómicas o simples sin alterar el valor lógico de verdad
de las proposiciones que se están uniendo, ni de la proposición nueva que se está formando.

EJEMPLO El 4 es un número par y el 5 es un número impar.

Las letras son mayúsculas o letras minúsculas.
En agosto cae nieve si y solo si hace frío.
Si el auto es pequeño entonces el estacionamiento es barato.

Hasta ahora hemos revisado que una proposición es el

contenido de una oración que puede ser verdadera o falsa y el
valor de estas. De acuerdo a esto:

¿Las proposicones puede ser expresadas en forma

matemática? ¿Cómo se pueden expresar?

¿Qué tipo de proposiciones existen? ¿Qué son las

proposicones simples y compuestas?

13
1.2 CONECTIVOS LÓGICOS Y TABLAS DE LA
VERDAD

La tabla de la verdad es una representación gráfica de los valores, combinaciones y soluciones posibles
cuando una o más proposiciones interactúan mediante un conectivo lógico o un operador unario. Estas se
construyen teniendo en cuenta el número de proposiciones que se van a estudiar y los posibles valores que
estas pueden tomar.

(Valores posibles)Numero
´
de proposicioⁿes=Número de filas en la tabla de la verdad

Debido a que los únicos valores posibles que una proposición puede tomar son Verdadero (1 lógico) o Falso
(0 lógico) la fórmula sería:

(2)N=Número de filas en la tabla de la verdad

Donde N es el número de proposiciones que se van a evaluar.

14
EJEMPLO

1. Se debe verificar cuántas proposiciones están siendo utilizadas:

En este caso se tienen 3 (p, q, r).
2. Se realiza la fórmula que se dio anteriormente, 2N=Número de filas
2³=8 Filas.
3. Luego que se tienen las proposiciones y cuántas filas se tienen, se asigna una
columna para cada proposición y una para la función completa.

p q R (p Λ q) V Proposiciones y fórmulas

8 filas para los

valores lógicos

Columnas para los Columna para

valores lógicos de la fórmula
las proposiciones

El proceso de llenado de la tabla de la verdad viene de la mano de la cantidad de proposiciones que

en ella se vayan a estudiar, primero se debe colocar cada proposición por separado en una columna
respectiva, luego se debe colocar las proposiciones con su operador lógico en una columna respecti-
va para esto. Para iniciar el proceso de llenado, la primera proposición tendrá la mitad de sus valores
verdaderos (1 lógico) y la otra mitad falsos (0 lógico), la segunda proposición irá intercalando entre
valores verdaderos y falsos hasta completar la tabla y todas las proposiciones que se vayan a
evaluar.

Para llenar una tabla de verdad se utilizará como ejemplo las proposiciones utilizadas en el ejemplo
anterior “(p Λ q) V r”, para este ejemplo no se tomará en cuenta el contenido lógico de la fórmula sino
solo el proceso para llenar la tabla y los valores lógicos que deben tomar las proposiciones.

15
EJEMPLO

1. La primera columna (donde aparece la proposición “p”) es llenada con la mitad de

sus filas con valores verdaderos (1 lógico) y la otra mitad con valores falsos (0 lógico)

p q r (p Λ q) V
1
Cuatro filas 1
Verdaderas 1
1
0
Cuatro filas 0
Verdaderas 0
0

2. La segunda columna (donde aparece la proposición “q”) es llenada en un cuarto de

sus filas con valores verdaderos (1 lógico) y un cuarto de sus filas de valores falsos (0
lógico) esto se repite hasta completar todas las filas.
1
Para este caso que son 8 filas (por ser 3 proposiciones): 8x 4 =2

p q r (p Λ q) V
1 1
1/4 Verdaderos
1 1
1 0
1/4 Falsos
1 0
0 1
Se repite 0 1
intercalando
hasta rellenar 0 0
0 0

3. La tercera columna (donde aparece la proposición “r”) es llenada en un octavo de

sus filas con valores verdaderos (1 lógico) y un octavo de sus filas con valores falsos
(0 lógico) esto se repite hasta completar la columna.
1
Para este caso que son 8 filas (por ser 3 proposiciones): 8x 8 =1

p q r (p Λ q) V
1 1 1
1/8 Verdadero
1 1 0
1 0 1
1/8 Falso
1 0 0
0 1 1
Se repite 0 1 0
intercalando
hasta rellenar 0 0 1
0 0 0

16
 De esta manera la tabla de la verdad llena quedaría de la siguiente forma:

p q r (p Λ q) V
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0

Se puede observar que de esta manera se cumplen todas las combinaciones posibles entre los valo-
res lógicos verdaderos y falsos, este método es aplicable para cualquier cantidad de variables, siem-
pre se irá disminuyendo de mitad con respecto a la columna anterior la cantidad de filas que se relle-
nará con verdadero y falso.

1.2.1 CONJUNCIÓN
La conjunción (multiplicación) u operador lógico “y” se representa mediante el símbolo Λ en el
lenguaje natural y en lenguaje lógico se lee:

Natural:
• Pepe es militar y María es abogada

Lógico:
• p Λ q

La tabla de la verdad para la conjunción de dos proposiciones sería:

(2)N=Número de filas en la tabla de la verdad

(2)²=4 filas

p q pΛq
1 1 1
1 0 0
0 1 0
0 0 0

La conjunción de dos proposiciones solo es verdad si

ambas lo son.

17
1.2.2 DISYUNCIÓN
La disyunción (suma) u operador lógico “o” se representa mediante el símbolo V en el lenguaje
natural y en el lenguaje lógico se lee:

Natural:
• Pepe es militar o María es abogada

Lógico:
• p V q

La tabla de la verdad para la disyunción de dos proposiciones sería:

(2)N=Número de filas en la tabla de la verdad

(2)²=4 filas

p q pVq
1 1 1
1 0 1
0 1 1
0 0 0

La disyunción de dos proposiciones es falsa solo cuando

ambas proposiciones son falsas.

1.2.3 DISYUNCIÓN EXCLUSIVA

La disyunción exclusiva (suma exclusiva) u operador lógico “o… o”, se representa mediante el
símbolo “V” en el lenguaje natural y lógico se lee:

Natural:
• O Pepe es militar o María es abogada

Lógico:
• p V q

La tabla de la verdad para la disyunción exclusiva de dos proposiciones sería:

(2)N=Número de filas en la tabla de la verdad

(2)²=4 filas

18
 p q pVq
1 1 0
1 0 1
0 1 1
0 0 0

La disyunción exclusiva de dos proposiciones es verdadera

cuando solo una de las proposiciones lo es, es decir, es
verdadera cuando ambas proposiciones tienen estados
lógicos diferentes.

1.2.4 CONDICIONAL
El condicional u operador lógico “si… entonces” se representa con el símbolo →, en lenguaje
natural y lógico se lee:

Natural:
• Si Pepe es militar entonces María es abogada

Lógico:
• p→q

La tabla de la verdad para el condicional de dos proposiciones sería:

(2)N=Número de filas en la tabla de la verdad

(2)²=4 filas
p q p→q
1 1 1
1 0 0
0 1 1
0 0 1

El condicional de dos proposiciones es falso solo cuando

la primera de estas proposiciones (antecedente) es
verdadera y la segunda (consecuente) es falsa.

19
1.2.5 BICONDICIONAL
El bicondicional u operador lógico “si y solo si” se represente con el símbolo ↔ en el lenguaje
natural y lógico se lee:

Natural:
• Pepe es militar si y solo si María es abogada

Lógico:
• p↔q

La tabla de la verdad para el bicondicional de dos proposiciones sería:

(2)N=Número de filas en la tabla de la verdad

(2)²=4 filas
p q p↔q
1 1 1
1 0 0
0 1 0
0 0 1

La bicondición de dos proposiciones es verdadera si y solo

si ambas proposiciones tienen el mismo valor lógico
(ambas son verdaderas o ambas son falsas).

1.2.6 NEGACIÓN
Como se mencionó anteriormente, la negación se representa con el símbolo ¬ y se lee no, aunque
no es un operador lógico sino más bien un operador unario, de igual manera posee representación
en tablas de verdad, para este caso se evaluará en una única proposición.

La tabla de la verdad para la negación de una proposición sería:

(2)N=Número de filas en la tabla de la verdad

(2)¹=2 filas
p ¬q
1 0
0 1

20
Antes de finalizar, revisemos un caso práctico
Se requiere diseñar una serie de circuitos simples que permitan
encender una lámpara cuando ocurran ciertos eventos, su
trabajo es determinar y explicar qué condiciones deben ocurrir
para que la lámpara pueda encender. Tenga en cuenta que la
lámpara solo encenderá con un valor lógico alto (1 lógico); se
recomienda utilizar las tablas de verdad y la asignación de
proposiciones para realizar este análisis, señale el caso donde
el resultado de dicha proposición es 1 por lo tanto encenderá la
lámpara.

Si el profesor entra al aula entonces tenemos examen.

P= El profesor entra al aula

Q=Tenemos Examen
P→Q
p q p→q
1 1 1
1 0 0
0 1 1
0 0 1

La lámpara encenderá siempre que no se cumpla que el

profesor entre al aula y no tengan examen.

21
COMENTARIO FINAL
El estudio de la lógica proposicional es fundamental para futuras aplicaciones de la lógica en los
circuitos digitales. El contenido tratado en esta semana es un abreboca de lo que será la
ejecución y construcción de circuitos capaces de realizar cualquier acción que se pueda imaginar;
es fundamental el reconocimiento de las proposiciones para así lograr identificarlas conocerlas y
poder trabajar con ellas.
Teniendo en cuenta el conocimiento necesario para trabajar con las proposiciones de manera
lógica, se pueden diseñar tablas de la verdad que permiten representar de manera gráfica
veredictos lógicos y organizarlos de una manera tal que sea más sencilla la comprensión de
estos, las tablas de verdad permiten agrupar todos los conectivos lógicos y es fundamental
entender el proceso de diseño de estas y cómo deben colocarse los datos para posteriormente
trabajar con ellos. La organización de estos garantiza que el resultado obtenido será el correcto.
Como se mencionó en el párrafo anterior, los conectivos lógicos permiten la conexión de dos o
más proposiciones, de esta manera se crean enunciados mucho más complejos y se puede
obtener el valor lógico de estas proposiciones, usualmente dichos conectivos son utilizados en la
vida diaria sin embargo en la lógica proposicional tienen un significado lógico establecido que es
fundamental reconocer, recordar y entender para que cuando se vean mezclados con otros se
pueda obtener los valores lógicos de las proposiciones.

Para finalizar el contenido de la semana, te invitamos a reflexionar

sobre las siguientes preguntas:

¿Qué son las proposiciones lógicas? ¿Las había utilizado antes?

¿Conocía los conectivos lógicos?
¿Para que sirven los conectivos lógicos? ¿Cuántos conectivos
lógicos revisamos? ¿Cuáles son?
¿Cómo crees que lo aprendido te servirá en tu futuro laboral?

Revisa las respuestas de las preguntas que se encuentran al

comienzo, compleméntalas de acuerdo a lo aprendido en la semana.

22
REFERENCIAS

Barraza L. (2013). Lógica II. Recuperado de: https://issuu.com/sergiouas13/docs/17_logica_ii

Nepomucemo, A. (2004). Sistemas Lógicos. Andalucía, España.

PARA REFERENCIAR ESTE DOCUMENTO, CONSIDERE:

IACC (2018). Lógica proposicional. Lógica Matemática y Digital. Semana 2.

23