lOMoARcPSD|31854016

GUIA 1 Lógica Proposiconal y tablas de verdad. - Copy

Matematicas (Universidad del Magdalena)

Scan to open on Studocu

Studocu is not sponsored or endorsed by any college or university

Downloaded by Sergio Cemis ([email protected])
 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

UNIVERSIDAD DEL MAGDALENA

PROGRAMA DE INGENIERÍA DE SISTEMAS
MATEMÁTICAS DISCRETAS
LÓGICA PROPOSICIONAL
Mg. Alvaro Espinosa Pérez

Por tanto, estudiantes estudien matemáticas y no construyan sin

fundamentos. —Leonardo da Vinci (1452-1519)

INTRODUCCIÓN
El objetivo principal del estudio de esta asignatura es comprender la teoría de los objetos
discretos y relación entre ellos. El término objetos discretos se refiere a una variedad de
elementos que con frecuencia observamos en nuestra vida cotidiana como estudiantes, libros,
programas, números, proyectos, etc.

El material que presentamos es fruto de nuestra experiencia en la enseñanza de los cursos como
matemáticas discretas, lógica y en general, fundamentos matemáticos de la computación en el
Programa de Ingeniería de Sistemas de la Facultad de Ingeniería en la Universidad del Magdalena.

La Matemática Discreta se usa siempre que se cuentan objetos y corresponden a un área de la

matemática que se encarga de estudiar los conjuntos discretos, finitos o infinitos numerables. Lo
discreto es lo finito, y si no es finito, presenta el aspecto de los números naturales o bien, objetos
bien separados entre sí; lo continuo es lo no finito, lo infinitesimalmente próximo, como los
números reales. Un ejemplo de estos conjuntos discretos son los conjuntos finitos y los
subconjuntos infinitos de los números enteros,

Si bien la Matemática Discreta no es nueva en nuestros tiempos, está dio origen a la teoría de
grafos, una de las ramas de mayor importancia en las matemáticas modernas. Sus comienzos
datan del siglo XVIII con el matemático suizo Leonard Euler, el cual publicó un artículo en 1736
llamado: La solución de un problema referente a la geometría de posición.

La investigación en Matemática Discreta aumentó en la segunda mitad del siglo 𝑋𝑋 en parte

debido al desarrollo de ordenadores digitales que operan en pasos discretos y almacenan datos
en bits discretos.

La Matemática Discreta tiene aplicaciones en todos los campos de las ciencias computacionales,
se utiliza ampliamente en las telecomunicaciones y el procesamiento de la información, tales
como algoritmos, lenguajes de programación, criptografía, probar teorema automatizado, y
desarrollo de software. La utilizamos también, para analizar fenómenos en la naturaleza que
cambian en forma abrupta, y qué están claramente en un estado o en otro; o cuando se analizan
procesos que se dan en un número finito de pasos.

Un curso de matemáticas que se basan en el material que se estudia en Matemática Discreta

incluyen lógica, teoría de conjuntos, teoría de números, álgebra lineal, álgebra abstracta,
combinatoria, teoría de grafos y teoría de probabilidades (la parte discreta de las probabilidades).

Mg. Alvaro Espinosa Pérez

1

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

UNIDAD 1
LÓGICA PROPOSICIONAL
La lógica es una ciencia de las leyes necesarias del
pensamiento, sin la cual no se comprende ni se razona.
—Immanuel Kant, 1785
1.1. INTRODUCCIÓN
La importancia de la Lógica viene siendo reconocida desde la antigüedad, ya los griegos clásicos
sabían que el razonamiento es un proceso sujeto a ciertos esquemas y que, al menos
parcialmente, está gobernado por leyes perfectamente formulables. Los primeros grandes
tratados de lógica fueron escritos por el filósofo griego Aristóteles. Eran un conjunto de reglas
para el razonamiento deductivo que estaban destinadas a servir de base para el estudio de todas
las ramas del conocimiento.

El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento

intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento
del hombre con la naturaleza, para comprenderla y aprovecharla.
Todos los seres humanos hacemos uso de la lógica cuando pensamos, aun cuando no somos
conscientes de ello. Esta es una característica consustancial al pensamiento. En ese orden de idea,
la lógica natural es la disposición natural de ordenar el pensamiento de forma coherente,
congruente y con acierto sin el auxilio de la ciencia.

En la actualidad, la importancia de la Lógica se debe, sin duda, al destacado papel que ha tomado
recientemente en los más diversos campos de la Informática (análisis, síntesis y verificación de
programas, programación lógica, inteligencia artificial, control de procesos, robótica, etc.) y todo
ello no de forma completamente accidental ya que, como veremos, la Lógica nació como un
intento de mecanizar los procesos intelectivos del razonamiento.

El nombre de lógica se deriva de la palabra griega “logos”, que tiene múltiples y diversas
acepciones: la palabra en cuanto meditada, reflexionada o razonada, es decir: "razonamiento",
"argumentación", "habla" o "discurso", las cuales nos pueden servir para hacernos una idea del
objeto de estudio de la lógica.

DEFINICIÓN: Lógica es el estudio del razonamiento, es una disciplina que por medio de sus reglas
y técnicas nos ayudan a determinar si un argumento es válido o no.

Otro significado de la lógica se refiere a la lógica como ciencia, que es el estudio del pensamiento
en sus elementos básicos: conceptos, juicios y, en especial, las inferencias que tienen lugar en el
razonamiento o argumento, con el propósito de determinar si son correctas o válidas.

Los métodos lógicos se usan en matemáticas para demostrar teoremas y, en las ciencias de la
computación, para probar que los programas hacen lo que deben hacer.

Ejercicio en Clases: La Lógica también se utiliza para obtener conclusiones un poco más complejas
de situaciones especiales como la siguiente: Cinco docentes, Pedro, Elías, Augusto, Jesús y Álvaro
llegaron a una reunión en momentos diferentes. Elías llegó después que Pedro, pero antes que
Álvaro. Éste no fue ni el primero ni el último en llegar. Pedro y Elías llegaron después que Jesús,
pero ellos tres estaban presentes cuando Augusto llegó. ¿Usted podría dar a conocer el orden de
llegada de cada uno de los docentes?

A menudo se distingue entre dos campos de la lógica: la Lógica Formal y la Lógica Informal.

Mg. Alvaro Espinosa Pérez

2

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

La lógica formal o matemática a la aplicación del pensamiento lógico a determinadas áreas de la

matemática y la ciencia. Se encarga del lenguaje formal, o sea, a la manera de expresar sus
contenidos, y los emplea de manera estricta, sin ambigüedades, de modo tal que se pueda
analizar el recorrido deductivo a partir de la validez de sus formas (de allí su nombre). -Fuente:
https://concepto.de/logica/#ixzz8AGwyWAPY -

La lógica informal, estudia sus argumentos a posteriori, distinguiendo las formas válidas e
inválidas a partir de la información dada, sin reparar en su forma lógica o en su lenguaje formal.
Esta variante surgió a mediados del siglo XX como una disciplina dentro de la filosofía-Fuente:
https://concepto.de/logica/#ixzz8AGwyWAPY -

1.2. LÓGICA PROPOSICIONAL

La Lógica proposicional trata de las propiedades de las oraciones o proposiciones, de la
composición de las proposiciones simples para formar compuestas, y de la deducción de unas
proposiciones a partir de otras.

DEFINICIÓN: Una proposición (simple o atómica) es una afirmación que puede ser verdadera o
falsa pero no ambas cosas.

Las proposiciones simples se denotan con las letras 𝑝, 𝑞, 𝑟, 𝑒𝑡𝑐. Si debemos utilizar demasiadas
proposiciones, recurrimos a subíndices; así, podemos tener proposiciones 𝑝1 , 𝑝2 , . .. etc.

Ejemplos:
1. 𝑝: La Matemática Discreta tiene aplicaciones en la informática.
2. 𝑞: 3 + 5 = 6
3. 𝑟: C es un lenguaje de alto nivel

No son proposiciones los enunciados interrogativos ni los enunciados imperativos, y en general

todo enunciado del que no pueda decirse que sea verdadero o falso. Las siguientes no son
proposiciones:

Ejemplos:
1. 𝑥 + 𝑦 > 5
2. ¿Te vas mañana?
3. Compra cinco correas azules y cuatro hebillas rojas.
4. 𝑥 = 21

En nuestro sistema lógico solo aceptamos para cada proposición uno y solo uno, de dos valores
posibles: Verdadera (𝑉 = 𝑇𝑟𝑢𝑒) o falsa (𝐹 = 𝐹𝑎𝑙𝑠𝑒). Esta situación la dejamos consignada en los
siguientes principios:

1. PRINCIPIO DE IDENTIDAD: Si una proposición es verdadera, siempre es verdadero.

2. PRINCIPIO DE NO-CONTRADICIÓN: Ninguna proposición es falsa y verdadera.
3. PRINCIPIO DEL TERCERO EXCLUIDO: Toda proposición es verdadera o falsa, pero no ambas
cosas.

Desde el punto de vista lógico carece de importancia cual sea el contenido material de los
enunciados, solamente interesa su valor de verdad.

1.3. PROPOSICIONES COMPUESTAS Y CONECTIVOS LÓGICOS

Los conectivos permiten construir nuevas proposiciones lógicas a partir de una o más
proposiciones simples (o compuestas). Los conectivos surgen de nuestro lenguaje cotidiano, salvo

Mg. Alvaro Espinosa Pérez

3

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

que en la Matemática (y las ciencias en general) que se requiere de una interpretación estricta.
Para trabajar con proposiciones, las representamos por fórmulas, llamadas apropiadamente
fórmulas proposicionales.

El procedimiento para obtener proposiciones compuestas es mediante los conectivos lógicos: ¬,

∨, ∧, ⟶, ⟷, que llamaremos negación (NOT), disjunción o disyunción (OR), conjunción (AND),
implicación (IF-THEN) y bicondicional (IF-AND-ONLY-IF), respectivamente.

DEFINICIÓN: Una proposición compuesta (o molecular) es todo enunciado formado por dos o más
proposiciones simples adecuadamente enlazadas por conectivos, o por una sola proposición
simple, negada.

Ejemplo: Son proposiciones compuestas las siguientes:

1. El Sol no es un planeta.
2. 5 + 4 = 9 y 2 𝑥 5 = 10
3. El programa funciona bien o está mal estructurado.
4. Si no tengo para el transporte entonces tengo que quedarme en casa.

Ejemplos: Consideremos las proposiciones p: “El viento sopla muy fuerte”; q: “Se caen las hojas
de los árboles”; entonces, al escribir siguiendo las siguientes expresiones lógicas en palabras,
tenemos:
1. ~𝑝 ∧ 𝑞) : “No es cierto que, el viento sopla muy fuerte y se caen las hojas de los árboles”.
2. ~𝑝 ∧ 𝑞: “El viento no sopla muy fuerte y las hojas se caen de los árboles”.
3. 𝑝 ∧ ¬ 𝑞: “El viento sopla muy fuerte y las hojas no se caen de los árboles”.
4. ~(𝑝 ∨ 𝑞): “No es cierto que, el viento sopla muy fuerte o se caen las hojas de los
árboles”.
5. 𝑝 ∨ ¬ 𝑞: “El viento sopla muy fuerte o las hojas no se caen de los árboles”.
6. ~(𝑝 → 𝑞) : “No es cierto que, si el viento sopla muy fuerte, entonces se caen las hojas
de los árboles”.
7. ~𝑝 ↔ 𝑞 : “El viento no sopla muy fuerte si y sólo si las hojas se caen de los árboles”.

DEFINICIÓN: La tabla de verdad de una proposición compuesta 𝑃 enumera todas las posibles
combinaciones de los valores de verdad para las proposiciones 𝑝1 , 𝑝2 , . . . , 𝑝𝑛 .

Si las proposiciones simples 𝑝1 , 𝑝2 , . . . , 𝑝𝑛 se combinan para formar la proposición compuesta 𝑃,

diremos que su valor de verdad está completamente determinado por los valores de verdad de
las proposiciones que la componen junto con la forma en que están conectadas.

La forma de las proposiciones está determinada por cómo están dispuestos los conectivos. En
estricto rigor, vamos a introducir el concepto de FÓRMULA PROPOSICIONAL, que es simplemente
cualquier expresión formada por proposicionales (𝑝, 𝑞, 𝑟, … ), los conectivos lógicos y los signos
de agrupación. Por ejemplo:

𝑷: ~[(𝒑 ⟶ 𝒒)  (𝒔  𝒕)]

En programación se utilizan para combinar valores de verdad y obtener nuevos valores que
determinen el flujo de control de un algoritmo o programa.

Ahora nos dedicaremos a estudiar cada una de las proposiciones compuestas por separado.
Existen cinco tipos fundamentales de proposiciones compuestas.

Mg. Alvaro Espinosa Pérez

4

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

1.3.1. LA PROPOSICIÓN NEGACIÓN

Es una proposición compuesta que se forma anteponiéndole a una proposición simple la partícula
“No” u otra expresión equivalente. La forma característica es:
No._______________
Se simboliza la negación así: “  𝒑”, ó “~𝒑” que se lee “no p”.

También se utilizan en el lenguaje corriente para formar negaciones las expresiones: “no es
verdad que “, “No es cierto que”, “Es falso que “; y en algunos casos la negación se hace
anteponiéndole “No” al verbo principal de la oración.
Ejemplos:
1. 𝑝: C es un lenguaje de alto nivel.
~ 𝑝: C no es un lenguaje de alto nivel.

2. 𝑞: El hombre es un animal mamífero.

~ 𝑞: No es cierto que el hombre es un animal mamífero
.
3. Si 𝑟: 2𝑑 + 3𝑎 > 7, entonces:
La proposición ~𝑟 puede escribirse como:
~𝑟: 2𝑑 + 3𝑎 no es mayor que 7, o bien, ~𝑟: 2𝑑 + 3𝑎 ≯ 7
~𝑟: 2𝑑 + 3𝑎 es menor o igual que 7, o bien, ~𝑟: 2𝑑 + 3𝑎 ≤ 7

La negación se utiliza para formar un enunciado cuyo valor de verdad es contrario al del
enunciado simple sobre el que actúa. Ahora, si 𝑝 es una proposición cualquiera, sus posibles
valores de verdad son verdadera (T=True) o falsa (F=False) y los valores de verdad de su negación
(~𝑝) serán 𝐹 o 𝑇 respectivamente.

Los valores de verdad para la negación se resumen la siguiente tabla de verdad:

Tabla de verdad para ~𝑝
𝒑 ~𝒑
𝑻 𝐹
𝑭 𝑇

1.3.2. LA PROPOSICIÓN DISYUNCIÓN

Es una proposición compuesta que se forma enlazando dos proposiciones simples con la partícula
“O”, o bien con otra partícula equivalente. La forma característica es:
_________________ ó _________________

Se simboliza la disyunción así “𝒑 ∨ 𝒒” que se lee “𝑝 ó 𝑞”.

Ejemplos:
1. Sea 𝑝: Colombia es un país y 𝑞: Santa Marta es la capital de Colombia, Entonces:
𝑝 ∨ 𝑞: Colombia es un país o Santa Marta es la capital de Colombia.
2. En el lenguaje corriente cuando las dos proposiciones tienen el mismo sujeto, o el mismo
predicado, éste se expresa una sola vez para evitar la redundancia.

Si 𝑐: El sol es un planeta y 𝑑: El sol es una estrella, entonces:

𝑐 ∨ 𝑑: El sol es un planeta o una estrella.
3. Si 𝑒: Platón escribió “los Diálogos” y 𝑓: Aristóteles escribió “Los diálogos”, entonces:
𝑒 ∨ 𝑓: Platón o Aristóteles escribió “Los Diálogos”.

Mg. Alvaro Espinosa Pérez

5

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

Ahora, si 𝑝 y 𝑞 son dos proposiciones cualesquiera entonces 𝒑 ∨ 𝒒 es verdadera cuando al

menos una de las dos lo es.
Los valores de verdad para la disyunción también se pueden resumir en una tabla de verdad. La
tabla se obtiene considerando las cuatro combinaciones posibles de los valores de verdad de 𝑝 y
𝑞. Cada combinación se presenta en un renglón de la tabla.

Los valores de verdad para la disyunción se resumen la siguiente tabla de verdad:

Tabla de verdad para 𝑝 ∨ 𝑞
𝒑 𝒒 𝒑∨𝒒
𝑻 𝑇 𝑇
𝑻 F 𝑇
𝐅 𝑇 𝑇
𝐅 F F

1.4.2.1 PROPOSICIÓN DISYUNCIÓN EXCLUSIVA:

Para expresar o exclusivo; se utiliza la frase “p o q, pero no ambos. En el lenguaje corriente la
disyunción exclusiva, se forma anteponiéndole a la primera proposición la partícula “o” y uniendo
la primera con la segunda también con “o” de la siguiente manera:

O _______________ ó _______________

Se simboliza la disyunción exclusiva sí: 𝒑 ∨ 𝒒, y se lee “𝑂 𝑝 ó 𝑞” y

Ejemplos:
1. Sean p: Dos es un número par y q: Dos es un número impar, entonces
p ∨ q: O dos es un número par ó impar.
2. Sean r: Shakespeare escribió “El Quijote” y s: Cervantes escribió “El Quijote”, entonces:

𝒓 ∨ 𝒔: O Shakespeare o Cervantes Escribió “El Quijote”.

Si 𝑝 y 𝑞 son dos proposiciones cualesquiera, entonces 𝒑 ∨ 𝒒 es verdadera cuando exactamente

una de las dos lo es.

Los valores de verdad para la disyunción exclusiva se resumen la siguiente tabla de verdad:
Tabla de verdad para 𝑝 ∨ 𝑞
𝒑 𝒒 𝒑Ú𝒒
𝑻 𝑇 F
𝑻 𝐹 𝑇
𝑭 𝑇 𝑇
𝑭 𝐹 𝐹

1.3.3. LA PROPOSICIÓN CONJUNCIÓN

Es una proposición compuesta que se forma enlazando dos proposiciones simples con la partícula
“Y”, o con otra partícula equivalente. Su forma característica es:

______________ y ______________

Se simboliza la conjunción así: “p ∧ q” que se lee “p y q”.

Mg. Alvaro Espinosa Pérez

6

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

En el lenguaje corriente se utiliza, a veces, para formar conjunciones, las partículas “pero” o “e”.
La connotación que tiene el “pero” en el lenguaje no resulta relevante para la lógica, así que la
conjunción es completamente equivalente. En general, la palabra, pero se utiliza en lugar de 𝑦
cuando la parte de la frase que sigue es, en cierta forma, inesperada. Otro ejemplo es el de las
palabras “ni-ni”. Así que si 𝑝 y 𝑞 son enunciados, entonces, "ni p ni q" significa no 𝑝 y no 𝑞.
Ejemplos:
1. Sea 𝑝: Bolívar era venezolano y 𝑞: Nariño era colombiano, entonces:
𝑝 ∧ 𝑞: Bolívar era venezolano y Nariño era colombiano.
2. Sea 𝑝: La matemática es difícil y 𝑞: La matemática es necesaria, entonces:
𝑝 ∧ 𝑞: La matemática es difícil, pero necesaria.
Si 𝑝 y 𝑞 son dos proposiciones cualesquiera entonces 𝒑 ∧ 𝒒 es verdadera cuando las
proposiciones que la componen también son Verdaderas.
Los valores de verdad para la conjunción se resumen la siguiente tabla de verdad:
Tabla de verdad para 𝑝 ∧ 𝑞
𝒑 𝒒 𝒑∧𝒒
𝑻 𝑇 𝑇
𝑻 𝐹 𝐹
𝑭 𝑇 𝐹
𝑭 𝐹 𝐹

1.3.4. LA PROPOSICIÓN CONDICIONAL

Es una proposición compuesta que se forma con dos proposiciones simples, anteponiéndole a la
primera la partícula “Si” y enlazando la primera con la segunda con la palabra” entonces”. Su
forma característica es:
𝑆𝑖 ____________ 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 _____________

La condicional se simboliza así: “𝒑 → 𝒒 ” que se lee “Si p entonces q”.

En matemáticas, a la proposición 𝑝, generalmente se le llama Antecedente o Hipótesis y a la

proposición 𝑞 se le llama Consecuente o Conclusión.
Ejemplos:
1. Si p: El sol es una estrella y q: la tierra es un planeta, entonces:
𝑝 ® 𝑞: Si el sol es una estrella entonces la tierra es un planeta.

2. Sea p: T es un triángulo rectángulo y q: 𝑎2 + 𝑏 2 = 𝑐 2 , entonces:

𝑝 ® 𝑞: Si T es un triángulo rectángulo, entonces 𝑎2 + 𝑏 2 = 𝑐 2

1.3.4.1. OTRAS FORMAS DE EXPRESAR LA CONDICIONAL
La Condicional: 𝒑 ® 𝒒 puede ser expresada, en el lenguaje corriente de varias maneras; las
formas más utilizadas son:
1. “Si 𝑝, 𝑞” 7. “𝑝 implica a 𝑞”.
2. “𝑞 si 𝑝”. 8. “𝑞 siempre que 𝑝”.
3. “𝑝 solo si 𝑞”. 9. “𝑞 es una consecuencia lógica de 𝑝”.
4. “𝑞 cuando 𝑝” 10. “Siempre que 𝑝, 𝑞”.
5. “𝑝 es una condición suficiente para 𝑞”.
6. “𝑞 es una condición necesaria para 𝑝”.

Mg. Alvaro Espinosa Pérez

7

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

Ejemplo: Sean 𝑝: La salida va a la pantalla y 𝑞: Los resultados se dirigen a la impresora. Al enunciar

las formulaciones equivalentes de 𝒑 ® 𝒒 (Si la salida va a la pantalla, entonces los resultados se
dirigen a la impresora), tenemos:
1. Si la salida va a la pantalla, los resultados se dirigen a la impresora.
2. Los resultados se dirigen a la impresora, si la salida irá a la pantalla.
3. La salida irá a la pantalla, sólo si los resultados se dirigen a la impresora.
4. Los resultados se dirigen a la impresora si la salida va a la pantalla.
5. Una condición suficiente para la salida vaya a la pantalla es que los resultados se dirigen
a la impresora.

1.3.5. CONTRARIA, RECIPROCA Y CONTRARRECIPROCA DE UNA CONDICIONAL

Cualquier condicional está conformada por un antecedente y un consecuente. Si éstos se
intercambian, se niegan, o las dos cosas, se forma una nueva proposición condicional.

DEFINICIÓN: Dada la proposición condicional 𝒑 → 𝒒, su reciproca es la proposición, también

condicional, 𝒒 → 𝒑.

DEFINICIÓN: Dada la proposición condicional 𝒑 → 𝒒, su contraria es la proposición, también

condicional, ~𝒑 → ~𝒒.
DEFINICIÓN: Dada la proposición condicional 𝒑 → 𝒒, su contrarreciproca es la proposición,
también condicional, ~𝒒 → ~𝒑
La relación entre Directa, Contraria, Recíproca y Contrarrecíproca se presenta en el siguiente
diagrama:

Ejemplos:
1. Sea 𝑝 ®  𝑞: Si hoy es lunes, no trabajaré. Entonces:
a. Contraria:  𝑝 ® 𝑞 : Si hoy no es lunes, entonces trabajaré.
b. Recíproca:  𝑞 ® 𝑝 : Si no trabajaré, entonces hoy es lunes.
c. Contrarrecíproca: 𝑞 ®  𝑝 : Trabajaré, entonces hoy no es lunes.
2. Escribir la recíproca y la contrarrecíproca de: Me quedare, sólo si tú te vas.
Entonces:
a. Recíproca (varias formas).
A. Si te vas, entonces me quedaré.
B. Me quedaré, si te vas.
C. Una condición necesaria para que te vayas, es quedarme.
b. Contrarrecíproca.
A. Si no te vas, entonces no me quedaré.
B. No me quedaré si no te vas.
C. Es suficiente que no te vayas, para no quedarme

Mg. Alvaro Espinosa Pérez

8

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

En general: Una proposición condicional es Falsa únicamente cuando siendo Verdad la hipótesis,
la conclusión es Falsa (no se debe deducir una conclusión falsa de una hipótesis verdadera).

Los valores de verdad para la condicional se resumen la siguiente tabla de verdad:

Tabla de verdad para 𝑝 ® 𝑞
𝒑 𝒒 𝒑® 𝒒
𝑻 𝑇 𝑇
𝑻 𝐹 𝐹
𝑭 𝑇 𝑇
𝑭 𝐹 𝑇

Obsérvese que si 𝑝 ® 𝑞 es verdad no puede deducirse prácticamente nada sobre los valores de
verdad de 𝑝 y 𝑞 ya que pueden ser ambas verdad, ambas falsas o la primera falsa y la segunda
verdad. Ahora bien, si el condicional 𝑝 ® 𝑞 es falso, entonces podemos asegurar que 𝑝 es
verdadera y 𝑞 falsa.
1.3.6. LA PROPOSICIÓN BICONDICIONAL
Es una proposición compuesta que se forma enlazando dos proposiciones simples con la
expresión “si y solamente si” (más brevemente si y solo si”) o con otra expresión equivalente.

La forma característica del bicondicional es:

__________________ si, y solo si_________________
La proposición bicondicional se simboliza con el signo “𝒑 ↔ 𝒒” que se lee “p si, y solo sí q”.

También se utiliza los enlaces:

1. “𝑝 siempre y cuando 𝑞”, 5. “Si 𝑝 entonces 𝑞, y si 𝑞 entonces 𝑝”
2. “𝑝 es condición necesaria y 6. Y en pocas ocasiones agregándole a
suficiente para 𝑞” la condicional “si 𝑝 entonces 𝑞”, la
3. “Es 𝑝 si es 𝑞” expresión: “y si no, no”.
4. “𝑝 cuando y sólo cuando, 𝑞”

Ejemplos:
1. Sea 𝑝: Este programa de computadora es correcto y 𝑞: El programa produce respuestas
correctas para todos los posibles conjuntos de datos de entrada. Entonces:

𝑝 ↔ 𝑞: Este programa de computadora es correcto si y sólo si, produce respuestas

correctas para todos los posibles conjuntos de datos de entrada.
2. Sea 𝑟: Estudiar es importante y 𝑡: Estudiar es necesario para ser feliz. Entonces:
𝑟 ↔ 𝑡: Estudiar es importante, siempre y cuando sea necesario para ser feliz.
De acuerdo con las definiciones por separado de sí y sólo si, que dicen que “𝑝 𝑠𝑖 𝑦 𝑠ó𝑙𝑜 𝑠𝑖, 𝑞”
debe significar lo mismo que decir tanto “𝑝 𝑠𝑖 𝑞” como “𝑝 𝑠ó𝑙𝑜 𝑠𝑖 𝑞”. En este sentido, si 𝑝 y 𝑞 son
dos proposiciones cualesquiera entonces, la bicondicional 𝑝 « 𝑞 sólo es verdadera cuando las
proposiciones que la componen tienen el mismo valor de verdad.
Los valores de verdad para la bicondicional se resumen la siguiente tabla de verdad:
Tabla de verdad para 𝑝 ↔ 𝑞:
𝒑 𝒒 𝒑↔𝒒
𝑻 𝑇 𝑇
𝑻 𝐹 𝐹
𝑭 𝑇 𝐹
𝑭 𝐹 𝑇

Mg. Alvaro Espinosa Pérez

9

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

1.4. LOS SIGNOS DE AGRUPACIÓN

Los signos de agrupación juegan un papel muy importante dentro del estudio de la lógica, ya que
nos permiten determinar qué tipo de proposición compuesta tenemos; además se usan para
establecer las jerarquías entre los conectivos dados en una fórmula proposicional. Los signos de
agrupación más conocidos son: Llaves, corchetes y paréntesis.

Existen unas reglas ya establecidas que establecen “la fuerza” de cada conectivo lógico que hacen
parte de las proposiciones compuestas:
1. La negación es la más débil de todos los conectivos.
2. La conjunción y la disyunción tiene igual fuerza, pero son más fuertes que la negación.
Cuando ambos están presentes, el paréntesis puede ser necesario.
3. La condicional y el bicondicional tiene igual fuerza, pero son más fuertes que todas las
demás. Cuando ambos están presentes, el paréntesis puede ser necesario.

Ejemplo: Identificaremos que tipo de proposición compuesta es:

Proposición Nombre
~𝒑Ú 𝒒 Es una disyunción.
~ (𝒑 Ú 𝒒) Es una negación.
𝒑 𝒒 → 𝒓 Es una condicional.
𝒑  (𝒒 → 𝒓) Es una conjunción.
𝒑𝒒Ú 𝒓 No se puede determinar.
(𝒑  𝒒) Ú 𝒓 Es una disyunción.
(𝒑 ® 𝒒) ↔ 𝒓 Es un bicondicional.
𝒑®𝒒 ↔ 𝒓 No se puede determinar.
~ {𝒑 → [~ 𝒒  ( 𝒓 Ú 𝒔)]} Es una negación

1.5. CONSTRUCCIÒN DE TABLAS DE VERDAD

Para determinar el valor de verdad de una proposición compuesta necesitamos conocer el valor
de verdad de las proposiciones que la componen. El proceso de construcción de la tabla comienza
con el número de combinaciones posibles de los valores de verdad de las proposiciones que
componen una proposición compuesta, que está dada por la fórmula 2𝑛 , donde 𝑛 es el número
de proposiciones.

Ejemplos:
1. Si la proposición está compuesta por 3 proposiciones (𝑛 = 3), el número de
combinaciones para la tabla de verdad es: 𝒑 𝒒 𝒓
T T T
Combinaciones = 2𝑛 , 𝑠𝑖 𝑛 = 3 ⟹ 23 = 8 T T F
T F T
T F F
2. Si la proposición está compuesta por 5 proposiciones (𝑛 = 5), el número de F T T
combinaciones para la tabla de verdad es: F T F
F F T
𝐶𝑜𝑚𝑏𝑖𝑛𝑎𝑐𝑖𝑜𝑛𝑒𝑠 = 2𝑛 , 𝑠𝑖 𝑛 = 5 ⟹ 25 = 32 F F F

Observación: La tabla de verdad fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más
popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

El diagrama de árbol es otro método sencillo para calcular el número total de resultados y
probabilidades. Los diagramas de árbol son formas gráficas de contar las posibles combinaciones
que pueden surgir entre varios elementos, en este caso los valores de verdad de las
proposiciones.

Mg. Alvaro Espinosa Pérez

10

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

Ejemplo: Un Diagrama de árbol nos ayuda en obtener las combinaciones de los valores de verdad
para tres proposiciones:

El procedimiento para construir una tabla de verdad es muy sencillo. Consiste en indicar todos
los valores de verdad posibles que componen el esquema proposicional dado e ir derivando
mecánicamente los valores de verdad para la proposición compuesta.
Ejemplo: Ahora veamos el caso de hallar una tabla de verdad de la proposición: 𝒑 → (𝒒 ∧ 𝒓)
Solución: Construimos su tabla de verdad, teniendo presente las combinaciones de valores de
verdad que existen para tres proposiciones: 𝑝, 𝑞 y 𝑟. (23 = 8 combinaciones)

𝒑 𝒒 𝒓 𝒒 ∧ 𝒓 𝒑 → (𝒒 ∧ 𝒓)
T T T T T
T T F F F
T F T F F
T F F F F
F T T T T
F T F F T
F F T F T
F F F F T

Ejemplo: Realizar la tabla de verdad de [(𝒑 → 𝒒) ∧ (𝒒 → 𝒓)] → (𝒑 → 𝒓)

Solución: Otra forma de realizar tabla de verdad es de la siguiente manera: Acá se colocan los
valores de verdad debajo de cada proposición y conectivo lógico:

[(𝒑 → 𝒒 ) ∧ ( 𝒒 → 𝒓)] → ( 𝒑 → 𝒓)
T T T T T T T T T T T
T T T F V F F T T F F
T F F F F T T T T T T
T F F F F T F T T F F
F T T T T T T T F T T
F T T F T F F T F T F
F T F T F T T T F T T
F T F T F T F T F T F

Si queremos realizar la tabla de verdad de la proposición compuesta ∼ (∼ 𝑝 ∧ 𝑞) ↔ (∼ 𝑞 ∨

𝑟) también te puedes ayudar con un árbol de expresión múltiple, de la siguiente manera:

Mg. Alvaro Espinosa Pérez

11

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

En este caso, hacemos las columnas en la tabla de la verdad utilizando los vértices del árbol de
expresión, de la siguiente manera:

𝐩 𝒒 𝒓 ∼ 𝒑 ∼ 𝒑 ∧ 𝒒 ∼ (∼ 𝒑 ∧ 𝒒) ∼ 𝒒 ∼ 𝒒 ∨ 𝒓 ∼ (∼ 𝒑 ∧ 𝒒) ↔ (∼ 𝒒 ∨ 𝒓)
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F

Ahora, los Esquemas de Verdad nos permiten conocer el valor de verdad de una proposición
compuesta para los valores de verdad específicos de las proposiciones simples que la componen.
Ejemplo: Si 𝒑 y 𝒓 son falsas y que 𝒒 y 𝒔 son verdaderas, halle el valor de verdad de:

[𝑠 → (𝑞  ∼ 𝑟)] ∧ {[(𝑝 ↔ (𝑟 ∧ 𝑝)] ∨ ∼ 𝑠}

Solución:

DEFINICIÓN: Sea 𝑃 una proposición compuesta de las proposiciones simples 𝑝1 , 𝑝2 , . . . , 𝑝𝑛 .

Entonces:
1. P es una TAUTOLOGÍA si es verdadera para todos los valores de verdad que se asignen a
𝑝1 , 𝑝2 , . . . , 𝑝𝑛 . Por ejemplo, la proposición (𝒑 ∧ 𝒒) ↔ ~(~𝒑 ∨ ~𝒒) es una tautología.
2. P es una CONTRADICCIÓN si es falsa para todos los valores de verdad que se asignen a
𝑝1 , 𝑝2 , . . . , 𝑝𝑛 .
Por ejemplo, la proposición ~[(~𝒑 ∨ 𝒒) ↔ (𝒑 → 𝒒)] es una contradicción.
3. Otros tipos de soluciones se les llaman INDETERMINACIONES O CONTINGENCIA.

Observación:
1. Una proposición simple no puede ser tautología, pues simbólicamente tiene dos posibles
valores en su tabla de verdad.
2. Una tautología tiene únicamente el valor 𝑻 (Verdad) en toda la columna principal de su
tabla de verdad.
3. La negación de una tautología es una contradicción, y la negación de una contradicción es
una tautología.

En las diferentes ramas de la ciencia, las tautologías son las leyes universales o teoremas sobre
los que construye su fundamento teórico. Es por ello que se hace necesario tener un dominio de

Mg. Alvaro Espinosa Pérez

12

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

las leyes de la lógica, pues permiten determinar cuáles proposiciones son tautológicas,
contradictorias o contingencias.

Las tautologías constituyen poderosas herramientas de la lógica simbólica, ya que ellas son la
base de cualquier razonamiento deductivo. La comprensión intuitiva de las tautologías básicas
constituye herramientas necesarias para una persona que razona en matemáticas.

Ejercicio de aplicación: Considere el siguiente algoritmo en Python:

𝑦=1
𝑥=0
𝑖𝑓 (𝑦 > 1 𝑜𝑟 𝑦 < 0):
𝑥 =𝑥+1
𝑝𝑟𝑖𝑛𝑡(𝑥)
𝑒𝑙𝑠𝑒:
𝑥 =𝑥+2
𝑝𝑟𝑖𝑛𝑡(𝑥)

¿Cuál es el valor final de 𝑥?

ACTIVIDAD VIRTUAL
1. Escriba o simbolice los siguientes enunciados usando correctamente los conectivos:
a. P es un cuadrado o P es un rectángulo.
b. Si estamos bajo cero, nieva.
c. Puedes acceder a internet desde el campus solo si estudias ciencias de la computación
o no eres alumno de primer semestre.
d. No puedes montar en la montaña rusa si mides menos de 1,20 m, a no ser que seas
mayor de dieciséis años
2. Sean las proposiciones:
𝑝 ∶ C es un lenguaje de alto nivel.
𝑞 ∶ El compilador funciona correctamente.
𝑟 ∶ La información se ve en la pantalla.
Escribir, usando conectivos lógicos, una proposición que simbolice cada una de las
afirmaciones siguientes:
a. Si C es un lenguaje de alto nivel y la información se ve en la pantalla, entonces el
compilador funciona correctamente.
b. El compilador funciona correctamente sólo si La información se ve en la pantalla.
c. C es un lenguaje de alto nivel, y el compilador no funciona correctamente.
3. Con relación al ejercicio anterior, enunciar las afirmaciones que se corresponden con cada
una de las proposiciones siguientes:
a. 𝑞 ⟶ (𝑟 ∨ 𝑝)
b. (𝑞 ⟶∼ 𝑟) ∧ (𝑟 ⟶ 𝑞)
c. ∼ (𝑟 ∨ 𝑞)
4. Para cada enunciado escriba su recíproco, contrario y su contrarrecíproco.
a. Si una figura plana no es un cuadrado, entonces es un rombo.
b. Si una figura es plana o es un cuadrado, entonces no es un rectángulo.
c. Si dos rectas distintas son paralelas, su intersección es el conjunto vacío o se cortan en
algún punto.
5. Establecer si las siguientes proposiciones son tautologías, contingencias o contradicciones:
a. (𝑝 ® ~𝑞)  (~𝑞 ® 𝑝)
b. [(𝑝 ® 𝑞) ∧ (∼ 𝑝 ® 𝑠)] ⟷ (𝑠 ∨ 𝑞)
c. (𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑝)

Mg. Alvaro Espinosa Pérez

13

Downloaded by Sergio Cemis ([email protected])

 lOMoARcPSD|31854016

Unidad 1: Lógica Proposicional

d. [𝑝 ∧ (𝑞 ∨ 𝑟)] ⟷ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]

6. Si p y r son falsas y que q y s son verdaderas, halle el valor de verdad de:
a. [𝑠 ® (𝑞   𝑟)]  {[(∼ 𝑝 « ∼ (𝑟 Ú 𝑝)]  𝑠}
b. (𝑠 → ( 𝑝 ∧  𝑟 )) ∧ [( 𝑝 → (𝑟 ∨ 𝑞)) ∨ 𝑠]
c. (( 𝑝 ∨ 𝑞) → (𝑞 ∧  𝑞 )) → (𝑠 ∨ 𝑟 )
d. [(𝑝 ⟶ 𝑞) ∨ (𝑟 ⟶ 𝑠)] ⟷ [(𝑝 ∨ 𝑟) ⟶ (𝑞 ∨ 𝑠)], si 𝑝 y 𝑞 son Verdaderas, 𝑟 y
𝑠 Falsas
7. Conteste las siguientes preguntas:
a. Si 𝑝 ® 𝑞 es falsa, determine el valor de verdad de  (𝑝  ∼ 𝑞) ® ~𝑞
b. Si 𝑝 es falsa y que el valor de verdad de 𝑝 Ú 𝑞 es verdadera, ¿Qué puedes decir sobre el
valor de verdad de 𝑞?
c. Si se sabe que q es verdadera y que (𝑝 ® 𝑞) « ~ 𝑟 es falsa, ¿Qué puedes decirse sobre
los valores de verdad de 𝑝 y de 𝑟?
8. En el siguiente código en Python ¿Cuál es el valor final de 𝑥 y de 𝑦?
𝑦=1
𝑥=0
𝑤ℎ𝑖𝑙𝑒 (𝑦 > 0 𝑎𝑛𝑑 𝑦 < 4):
𝑖𝑓 (𝑦 < 2):
𝑦 = 𝑦+1
𝑒𝑙𝑠𝑒:
𝑦 = 𝑦+2
𝑥 =𝑥+2
𝑝𝑟𝑖𝑛𝑡(𝑦)
𝑝𝑟𝑖𝑛𝑡(𝑥)

9. Use el siguiente Simulador de Tablas de Verdad online:

http://logicaunad.com/jtruth/ para verificar algunos ejercicios propuestos.

Mg. Alvaro Espinosa Pérez

14

Downloaded by Sergio Cemis ([email protected])