Matemáticas Discretas, Clase 1

———
Universidad Nacional Mayor de San Marcos
Matemáticas Discretas
Clase 1: Lógica Matemática
Docente: Dr. Richard J. Cubas Becerra
CICLO DE VERANO 2023-0

¿Qué es la matemática discreta?
Es la rama de las matemáticas que se ocupa del estudio de los conjuntos

contables (conjuntos finitos o conjuntos con la misma cardinalidad que
los números naturales). En la matemática discreta se estudian una serie
de estructuras que son el fundamento de las ciencias de la computación,
tales como
• Lógica
• Teorı́a de conjuntos
• Algoritmos
• Grafos
• Combinatorios
• Teorı́a de números
Richard Cubas B. Matemática Discreta 16 de enero de 2023 2 / 63

¿Por qué estudiar matemática discreta?
Existen muchas razones importantes para estudiar matemática discreta,

de hecho, se han vuelto cada vez más importantes en los últimos años,
por varias razones. Este es el por qué:
• Las matemáticas discretas proporcionan una base esencial para todas
las áreas de las ciencias de la computación, y sus aplicaciones son
correspondientemente amplias.
• Mejora la habilidad para entender y crear argumentos matemáticos
• Las matemáticas discretas resuelven problemas del mundo real
• Le ayuda a comprender todas las otras materias que está tratando de
aprender
• Mejora sus habilidades para resolver problemas
• Las matemáticas discretas son divertidas

Contenido
• Lógica Matemática
• Teorı́a de Conjuntos
• Análisis Combinatorio
• Inducción
• Recursividad
• Teorı́a de Grafos
• Teorı́a de Árboles
• Gramáticas de Chomsky.
• Lenguajes y Análisis Sintáctico
• Máquinas de Estado Finito Determinı́stico, Autómatas.
• Diseño de Máquinas

Lógica
¿Qué es la Lógica?
Lógica es el estudio del razonamiento; se refiere especı́ficamente a si el
razonamiento es correcto. La lógica se centra en la relación entre las
afirmaciones y no en el contenido de una afirmación en particular.
En lógica, estudiamos las reglas y técnicas que nos permiten distinguir el

razonamiento bueno y correcto del razonamiento malo e incorrecto.
La lógica matemática surgió a finales del siglo XIX y principios del XX para
dejar de decir tonterı́as. Es la herramienta más poderosa que tenemos
para razonar sobre cosas que realmente no podemos comprender, lo que la
convierte en una herramienta perfecta para Ciencias de la Computación.

Contenido Semanal
• Lógica
• Lógica de proposiciones
• Lógica Simbólica de diseño de Chips con compuertas lógicas.
• Reglas de inferencias

Lógica Proposicional
Enunciados
Antes de dar la definición formal de Proposición, vamos a definir lo que

llamaremos de “enunciado”.
Definición
Un enunciado es una oración o frase que expresa alguna idea, a través
de afirmaciones, negaciones, preguntas, órdenes, saludos, emociones,
etc.
Ejemplos:
1. Un año luz es una unidad de longitud.
2. ¿Quién es?
3. ln e3 = 1

4. 3a+2b=12
5. No se muevan!
6. La tierra es un planeta de la galaxia Andrómeda.
Enunciados de nuestro interés
Definición
Una proposición es un enunciado, a la cual se le puede atribuir un valor
lógico: verdadero (V) o falso (F), pero no ambas a la vez.
Definición
Un enunciado abierto o función proposicional es un enunciado en el que
van intervenir variables, que admiten la posibilidad de convertirse en una
proposición lógica cuando las variables asuman un valor determinado.

Ejemplos: Indique el tipo de enunciado
1. Un año luz es una unidad de longitud.
2. ¿Quién es?
3. ln e3 = 1

4. 3a+2b=12
5. No se muevan!
6. La tierra es un planeta de la galaxia Andrómeda.
7. Él sabe matemáticas.
8. Un átomo es menor que una molécula.
9. ¿Cuál es el paı́s más grande del mundo?
10. Ese paı́s es el más poblado de la tierra.
11. x es el primer número primo.
12. La II Guerra Mundial acabó en 1965

Conjunto Solución
Definición
Se llama conjunto solución de un enunciado abierto, al conjunto de
variables que tornan a este enunciado en una proposición verdadera.
Ejemplo: En el enunciado
x es el primer número primo,
el conjunto solución consta de un solo elemento: x = 2, en otras palabras,

el conjunto solución es {2}.

Clases de Proposiciones
Para las Matemáticas, las afirmaciones deben ser claras, objetivas y al-
gunas reglas deben conocerse de antemano. Podemos establecer una
analogı́a con un juego. Para jugar un juego (ajedrez, fútbol, etc.), sea
el que sea, tenemos que conocer las reglas (o leyes) que rigen ese juego.
Asimismo, en Lógica Matemática, tenemos los siguientes principios (o
axiomas), que funcionan como reglas fundamentales:
• Principio de no contradicción: una proposición no puede ser
verdadera y falsa al mismo tiempo.
• Principio del tercero excluido: toda proposición es verdadera o es
falso. Siempre hay una de estas posibilidades y nunca una tercera.

Proposiciones Simples
1. Proposiciones simples: son aquellas que no contienen ninguna otra

proposición como parte integral de sı́ mismas. También se le llaman
proposición atómica o genérica.
Notación: Las proposiciones simples serán denotadas por letras minúsculas

(p, q, r, s, etc.)
Ejemplo:
√
• p: 2 es un número irracional.
• q: 3 > 6.
• r: Etiopı́a es un paı́s europeo.
• s: La UNMSM es la universidad más antigua de América.

Proposiciones Compuestas
2. Proposición Compuesta: es aquella formada por la composición de

dos o más proposiciones. También se le llama proposición molecular o
molécula.
Notación: Las proposiciones compuestas serán denotadas por letras mayúscula

(P, Q, R, S, etc.)
Ejemplo: La siguiente proposición es compuesta:

P: Rusia es el paı́s mas grande del mundo y China es el paı́s mas poblado
del mundo.

Valor lógico de una proposición
El Valor lógico de una proposición (simple o compuesta) X será denotada
por V(X), el cual puede ser verdadero (V ) o falso (F ). Por ejemplo,
dadas la proposiciones
√
• p: 2 es un número irracional.
• q: 3 > 6.
• r: Etiopı́a es un paı́s europeo.
• s: La UNMSM es la universidad más antigua de América.
Tenemos que
V(p) = V.
V(q) = F.
V(r) = F.
V(s) = V.

Conectivos Lógicos
Los conectivos lógicos son palabras que usamos para formar nuevas propo-
siciones a partir de otras proposiciones. En el siguiente cuadro plasmamos
los principales conectivos lógicos:
Sı́mbolo Conectivo significado

∼ Negación “no”, “ni”, “nunca”, “no es verdad que”
∧ Conjunción “y”, “pero”, “también”
∨ Disyunción inclusiva “o”, “a menos que”
△ Disyunción exclusiva “o . . . o . . . ”,
⇒ Condicional “entonces”, “por lo tanto”, “luego”
⇔ Bicondicional si y sólo si

Operaciones Proposicionales
1. Negación
La negación de una proposición p es la proposición “no p”, que representa-
remos por “∼ p”, cuyo valor lógico es el valor opuesto al de la proposición
p, es decir,
V(∼ p) =∼ V(p).
La tabla de valor de verdad de ∼ p es la siguiente:
p ∼p
V F
F V

Ejemplo: Sea p : La ballena azul es el animal mas grande que existe en

la tierra. La negación de esta proposición puede ser cualquiera da las
siguientes proposiciones:
∼ p : No es verdad que la ballena azul es el animal mas grande que existe
en la tierra.
∼ p : La ballena azul no es el animal mas grande que existe en la tierra.
∼ p : Existen animales mas grandes que la ballena azul en la tierra.
Note que V(p) = V y V(∼ p) = F , por lo que la relación V(∼ p) =∼
V(p) queda verificado, pues V(∼ p) = F =∼ V =∼ V(p).

2. Conjunción
La conjunción de dos proposiciones p y q es la proposición “p y q”, que
representaremos por “p ∧ q”, cuyo valor lógico será verdad si ambas pro-
posiciones son verdaderas y será falsa en los demás casos. La tabla de
valor de verdad de p ∧ q es la siguiente:
p q p∧q
V V V
V F F
F V F
F F F

Ejemplo:
(a) Considere las siguiente proposiciones:
p : 20 = 1,
q : tan(π/4) = 1.
Entonces, p ∧ q : 20 = 1 y (π/4) = 1. Como V(p) = V y V(q) = V
tenemos que V(p ∧ q) = V .
(b) Considere las siguiente proposiciones:
p : Peter nació en Australia.
q : Peter es un ciudadano europeo.
Entonces, p ∧ q : Peter nació en Australia y Peter es un ciudadano
europeo. Note que V(p ∧ q) = F , puesto que Australia no es un paı́s
que pertenece a Europa, sino a Oceanı́a. Por lo tanto no coexisten las
verdades de p y q.

3. Disyunción
La disyunción de dos proposiciones p y q es la proposición “p o q”, que
representaremos por “p ∨ q”, cuyo valor lógico será la verdad si al menos
una de estas proposiciones es verdadera y será falsa si las dos proposiciones
son falsas. La tabla de valor de verdad de p ∨ q es la siguiente:
p q p∨q
V V V
V F V
F V V
F F F

Ejemplo:
p : π >√
4,
q : e < 3. √
Entonces, p ∧ q : π > 4 o e < 3. Como V(p) = F y V(q) = F
tenemos que V(p ∨ q) = F .
p : n es un número par.
q : n + 1 es un número par.
Entonces, p ∨ q : n es un número par o n + 1 es un número par. Note
que si una de estas proposiciones es falsa entonces la otra es verdadera.
Por lo tanto, V(p ∨ q) = V .

4. Implicación o Condicional
La condicional de dos proposiciones p y q es la proposición “si p, entonces
q” o “p implica q”, que representaremos por “p ⇒ q”, cuyo valor lógico
es falsedad cuando p es verdadera y q es falsa y será verdad en los otros
casos. La tabla de valor de verdad de p ⇒ q es la siguiente:
p q p⇒ q
V V V
V F F
F V V
F F V

Ejemplo:
Considere las siguiente proposiciones:
p : Pablo nació en España

q : Pablo es europeo.
Entonces:
• p ⇒ q : Si Pablo nació en España entonces Pablo es europeo. Note
que si V(q) = F , se tiene que V(p) = V . Por lo tanto V(p ⇒ q) = V .
• q ⇒ p : Si Pablo es europeo entonces Pablo nació en España. Note que
esta proposición es verdadera en el caso de que Pablo no sea europeo.
Sin embargo, es falsa en el caso de que Pablo sea europeo pero no
español, por ejemplo, si Pablo es alemán.

5. Bicondicional
La bicondicional( o doble implicación) de dos proposiciones p y q es la
proposición “p si y sólo si q”, que representaremos por “p ⇔ q”, cuyo
valor lógico es verdadero cuando las dos proposiciones tienen el mismo
valor lógico, y falso cuando los valores lógicos de p y q son opuestos. La
tabla de valor de verdad de p ⇔ q es la siguiente:
p q p⇔ q
V V V
V F F
F V F
F F V

Ejemplo:
p : n es par,
q : n + 1 es impar
Entonces, p ⇔ q : n es par si y sólo si n + 1 es impar. Note que si una
de estas proposiciones es falsa entonces la otra es falsa, de igual modo,
si una de estas proposiciones es verdadera entonces la otra también lo
es. Por lo tanto, V(p ⇔ q) = V .
√
p : π es un número irracional.
q : π es un número irracional.
√
Entonces, p ⇔ q : π es un número irracional si y solo si π es un
número irracional. Como V(p) = V y V(q) = V tenemos que V(p ⇔
q) = V .

6. Disyunción exclusiva
La Disyunción exclusiva ( o también conocida como diferencia simétrica)
de sos proposiciones p y q es la proposición “ o p o q”o también “ p
o q pero no ambas”, que representaremos por p△q ( o p ⊻ q ), cuyo
valor lógico es verdadero en el caso en que las dos proposiciones tengan
diferente valor de verdad. Es decir, si una es verdadera, la otra es falsa o
viceversa. La tabla de valor de verdad de p△q es la siguiente:
p q p△q
V V F
V F V
F V V
F F F

Ejemplo:
p : n es par,
q : n es impar
Entonces, o p△q : o n es par o n es impar. Note que si una de estas
proposiciones es falsa entonces la otra verdadera, de igual modo, si una
de estas proposiciones es verdadera entonces la otra es falsa. Por lo
tanto, V(p△q) = V .
p : e es un número irracional.
q : e − 1 es un número irracional.
Entonces, p△q : o e es un número irracional o e − 1 es un número
irracional. Como V(p) = V y V(q) = V tenemos que V(p ⇔ q) = F .

Precedencia de operadores lógicos
En las expresiones que incluyen algunos o todos los operadores ¬, ∧y∨,

en la ausencia de paréntesis, primero se evalúa ¬, después ∧ y luego ∨.
Esta convención se conoce como precedencia del operador. En álgebra,
la precedencia del operador indica que se evalúan ·y/ antes que +y−.
Operador Precedencia
¬ 1
∧ 2
∨ 3
→ 4
↔ 5

Traducción de frases del lenguaje natural
Todos los lenguajes del ser humano son a menudo ambiguos. Trasladar
frases a expresiones lógicas trae consigo evitar estas ambigüedades. Una
vez que hemos traducido frases del lenguaje natural a expresiones lógicas,
podemos analizar estas expresiones lógicas para determinar sus valores de
verdad, las podemos manipular y podemos usar las reglas de inferencia
(que se discutirán mas adelante) para razonar sobre ellas. El paso del
lenguaje natural al lenguaje formal se conoce como formalización.
Ejemplo 1. ¿Cuál es la formalización de la siguiente frase?:
≪Puedes llevar el curso de Matemáticas discretas con el profesor Ri-
chard solo si perteneces a la Facultad de Ingenierı́a de Sistemas e

Informática”.

Tablas de Valores
Dada una proposición molecular, podemos especular sobre qué posibles

valores de verdad podrı́a tener para una valoración dada de sus átomos.
Además, podemos especular sobre los valores de verdad que podrı́a tener
para todas las valoraciones posibles de sus átomos. Podemos reunir todas
las valoraciones posibles de una proposición molecular en una tabla, a la
que llamamos Tabla de Verdad. Los valores posibles para una propo-
sición molecular, como ya sabemos, son dos: falso (F ) o verdadero (V ).
Ası́, el número de todas las combinaciones posibles de valores de verdad
para un conjunto de n proposiciones atómicas es 2n .

Ejemplo: Determinar la tabla de valores para la proposición ∼ p∨(p ⇔ q).
p q ∼p p⇔q ∼ p ∨ (p ⇔ q)
V V F V V
V F F F F
F V V F V
F F V V V

Ejemplo: Determinar la tabla de valores para la proposición p ∧ (q ⇒ r).
p q r q⇒r p ∧ (q ⇒ r)
V V V V V
V V F F F
V F V V V
V F F V V
F V V V F
F V F F F
F F V V F
F F F V F

Encuentre la tabla de valores de las siguientes proposiciones.
1. (p ∧ q) ⇒ r
2. ∼ (p ∨ q) ⇔∼ p∧ ∼ q.
3. (p△q) ⇒ (p ∧ r).
4. p ∧ (q ⇒∼ r).

Tautologı́a, contradicción y contingencia
Definition
Una proposición molecular se llama tautologı́a O (Ley lógica),
denotada ⊤, solo si su valor lógico es verdad, para cualquier
combinación de los valores de verdad de sus átomos.
Ejemplo: La proposición p ⇒ (q ⇒ p) es una tautologı́a. En efecto:
p q q⇒p p ⇒ (q ⇒ p)
V V V V
V F V V
F V F V
F F V V

La contraparte de la Tautologı́a es la Contradicción, la cual es falsa in-
dependientemente de los valores de verdad de las proposiciones atómicas
que la componen. Vamos a la definición.
Definición
Se dice que una proposición molecular es una contradicción, denotada
por ⊥, solo si su valor de lógico es falso , para cualquier combinación de
los valores de verdad de sus átomos.
Ejemplo: La proposición ∼ p ∧ (p∧ ∼ q) es una tautologı́a. En efecto:
p q ∼p p∧ ∼ q ∼ p ∧ (p∧ ∼ q)
V V F F F
V F F V F
F V V F F
F F V F F

Se dice que una proposición molecular es una contingencia sólo si no es

ni una tautologı́a ni una contradicción.

Álgebra de Boole
George Boole es considerado uno de los fundadores del campo de las

Ciencias de la Computación. En 1854 publicó An Investigation of the
Laws of Thought en el que desarrollo un sistema de reglas que le per-
mitı́an expresar, manipular y simplificar problemas lógicos y filosóficos
cuyos argumentos admiten dos estados (verdadero o falso) mediante pro-
cedimientos matemáticos.
El objetivo de esta unidad es aplicar el álgebra de Boole como funda-
mento teórico para el análisis, diseño y descripción de los circuitos lógicos
fundamentales.

Equivalencias Lógicas
En el cálculo de proposicional se utilizan las siguientes leyes lógicas o
tautologı́as cuya demostración se reduce a la elaborar su respectiva tabla
de valores de verdad. Las equivalencias mas conocidas se muestran en
los siguientes cuadros:
Equivalencias Nombre
p∧V≡p
Leyes de identidad
p∨F≡p
p∨V≡V
Leyes de dominación
p∧F≡F
p∨p≡p
Leyes idempotentes
p∧p≡p
¬(¬p) ≡ p Ley de la doble negación
p∨q ≡q∨p
Leyes conmutativas
p∧q ≡q∧p
Equivalencias Lógicas
Equivalencias Nombre
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Leyes Asociativas
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Leyes distributivas
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
¬(p ∧ q) ≡ ¬p ∨ ¬q
Leyes de De Morgan
¬(p ∨ q) ≡ ¬p ∧ ¬q
p ∨ (p ∧ q) ≡ p
Leyes de absorción
p ∧ (p ∨ q) ≡ p
p ∨ ¬p ≡ V
Leyes de negación
p ∧ ¬p ≡ F

Ejercicio 1. Determinar si la siguiente proposición es una Tautologı́a
p ⇒ p ∨ q.

Circuitos Lógicos
La verdad de una proposición puede asociarse al pasaje de corriente a un

circuito eléctrico con un interruptor.
Para representar a p si es V o F se tienen las siguientes representaciones:

Circuitos Lógicos

1. Construir el circuito lógico correspondiente a la proposición
(p ∧ q)∨ ∼ q.
2. Determinar la operación proposicional que caracteriza al siguiente

circuito.

Lógica y operaciones con bits
Los ordenadores representan la información usando bits. Un bit tiene dos

valores posibles: 0 (cero) y 1 (uno). El significado de la palabra bit viene
de la expresión inglesa binary digit, ya que ceros y unos son los dı́gitos
usados en las representaciones binarias de los números. Un bit se puede
utilizar para representar un valor de verdad, ya que dos son los valores de
verdad: verdadero y falso. Como se suele hacer, usaremos
• El bit 1 representa el valor verdadero.
• El bit 0 representa el valor falso.
Una variable se llama variable booleana si su valor es verdadero o falso.
Por consiguiente, una variable booleana se puede representar usando un
bit.

Álgebra de Boole
Conceptos
El álgebra de Boole se compone de toda clase o conjunto de elementos que

pueden tomar dos valores perfectamente diferenciados, que designaremos
0 y 1. El álgebra de Boole consta de una y una operación unitaria (−)
denominada complemento y dos operaciones binarias denominadas suma
(+) y producto (·).
Sea B = {1, 0} y sean las dos operaciones (+) y (·) definidas como sigue:
+ 1 0 • 1 0
1 1 1 1 1 0
0 1 0 0 0 0
Entonces B, o más precisamente, la terna (B, +, •) es un álgebra boole-

ana.
Propiedades
Propiedad Nombre
x=x Propiedad del doble complemento
x+0=x
Propiedades de idempotencia
x·1=x
x+0=x
Propiedades del elemento neutro
x·1=x
x+1=1
Propiedades de acotación
x·0=0
x+y =y+x
Propiedades conmutativas
xy = yx
x + (y + z) = (x + y) + z
Propiedades asociativas
x(yz) = (xy)x

Propiedad Nombre
x + yz = (x + y)(x + z)
Propiedades distributivas
x(y + z) = xy + xz
(xy) = x + y
Leyes de De Morgan
(x + y) = xy
x + xy = x
Leyes de absorción
x(x + y) = x
x+x=1 Propiedad del inverso para el uno
xx = 0 Propiedad del inverso para el cero

Ejemplo 2. Demuestra la propiedad de absorción x(x + y) = x
utilizando las propiedades del álgebra de Boole.

Tabla de valores con bits
Ejemplo: Determinar la tabla de valores para la expresión x(y + z).
x y z y y+z x(y + z)
0 0 0 1 1 0
0 0 1 1 1 0
0 1 0 0 0 0
0 1 1 0 1 0
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 1 0 1 1

Compuertas Lógicas
1. Compuerta NOT
2. Compuerta AND

3. Compuerta OR
4. Compuerta XOR

5. Compuerta XNOR
6. Compuerta NAND

7. Compuerta NOR

Ejemplo 3. Encontrar la expresión de Boole que corresponde al sigui-
ente circuito lógico

Argumentos y Razonamiento Lógico
¿Qué es un argumento lógico?
Un argumento lógico es una secuencia de afirmaciones que terminan con
una conclusión. Un argumento es una condicional de la siguiente forma:
(p1 ∧ p2 ∧ . . . pk ) ⇒ q.
Las proposiciones p1 , . . . , pk son llamadas de premisas y la proposición
q es llamada conclusión.
Notación clásica: La notación clásica de un argumento lógico de la forma

(p1 ∧ p2 ∧ . . . pk ) ⇒ q es la siguiente:
p1
p2
..
.
pk
∴q
widthheight ejem
¿Cuándo un argumento lógico es válido?
Un argumento es válido si la conclusión, o enunciado final del argumento,
es consecuencia la verdad de los enunciados precedentes, o premisas, del
argumento. Es decir, un argumento es válido si y solo si es imposible que
todas las premisas sean verdaderas y la conclusión sea falsa.
Si un argumento lógico no es valido, decimos que ese argumento es una

falacia.
Observación: Note que también podemos decir que un argumento lógico

(p1 ∧p2 ∧. . . pk ) ⇒ q es verdadero si y solamente sı́ es (p1 ∧p2 ∧. . . pk ) ⇒ q
es una tautologı́a.

Ejemplo 1. El siguiente argumento (Ley del modus ponens) es válido:
p⇒q : Si tengo dinero entonces voy a viajar.

p : Tengo dinero
∴q : Por lo tanto, iré viajar
Ejemplo 2. El siguiente argumento es una falacia:

∼p : No tengo dinero
∴q : Por lo tanto, iré viajar

Ejemplo 3. El siguiente argumento (Ley del modus tolens) es Válido:
p⇒q : Si tengo dinero entonces voy a viajar

p : No viajé
∴q : Por lo tanto, no tengo dinero.
Ejemplo 4. El siguiente argumento (conocido como Ley del silogismo

hipotético) es válido:

q⇒r : Si voy a viajar, conoceré nuevas ciudades
∴p⇒r : Por lo tanto, si tengo el dinero entonces
conoceré nuevas ciudades.

Leyes de inferencia
Para deducir nuevas afirmaciones de afirmaciones que ya tenemos, usamos
leyes de inferencia que son base para construir argumentos válidos. Las
reglas de inferencia son nuestras herramientas básicas para establecer la
verdad de las afirmaciones.
Ley de inferencia Tautologı́a Nombre
p
p→q [p ∧(p → q)] → q Modus ponens
∴q
∼q
p→q [∼ q ∧ (p → q)] →∼ p Modus tolens
∴∼p
p→q
q→r [(p → q) ∧ (q → r)] → (p → r) Silogismo hipotético
∴p→r
Ley de inferencia Tautologı́a Nombre
p∨q
∼p [(p ∨q)∧ ∼ p] → q Silogismo disyuntivo
∴q
p
p → (p ∨ q) Adición
∴p ∨ q
p∧q
(p ∧q) → p Simplificación
∴p
p
q [p∧q] → (p ∧ q) Conjunción
∴p ∧ q
p∨q
∼p ∨ r [(p ∨q) ∧ (∼ p ∨ r)] → (q ∨ r) Resolución
∴q ∨ r

Observación:
1. Un argumento no se modifica si es que una o varias de las proposiciones
p1 , p2 , . . . , pk , q se reemplaza por otra u otras que sean equivalentes.
2. considere el argumento (p1 ∧ p2 ∧ . . . pk ) ⇒ q y suponga que los sigui-
entes argumentos son válidos:
r
p3
..
p1 .
p2 pk
∴r ∴q
entonces el argumento (p1 ∧ p2 ∧ . . . pk ) ⇒ q también es válido.

Ejercicio. Justificar la validez del siguiente argumento
p ⇒∼ q
∼r⇒q
∼ (∼ p∧ ∼ t)
t⇒s
∼r
∴s

¡MUCHAS GRACIAS POR SU
ATENCIÓN!

Matemáticas Discretas, Clase 1

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Matemáticas Discretas, Clase 1

Cargado por

Copyright:

Formatos disponibles

———

Universidad Nacional Mayor de San Marcos

Clase 1: Lógica Matemática

Docente: Dr. Richard J. Cubas Becerra

CICLO DE VERANO 2023-0

Es la rama de las matemáticas que se ocupa del estudio de los conjuntos

Richard Cubas B. Matemática Discreta 16 de enero de 2023 2 / 63

Existen muchas razones importantes para estudiar matemática discreta,

Richard Cubas B. Matemática Discreta 16 de enero de 2023 3 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 4 / 63

En lógica, estudiamos las reglas y técnicas que nos permiten distinguir el

Richard Cubas B. Matemática Discreta 16 de enero de 2023 5 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 6 / 63

Antes de dar la definición formal de Proposición, vamos a definir lo que

Richard Cubas B. Matemática Discreta 16 de enero de 2023 8 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 9 / 63

x es el primer número primo,

el conjunto solución consta de un solo elemento: x = 2, en otras palabras,

Richard Cubas B. Matemática Discreta 16 de enero de 2023 10 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 11 / 63

1. Proposiciones simples: son aquellas que no contienen ninguna otra

Notación: Las proposiciones simples serán denotadas por letras minúsculas

Richard Cubas B. Matemática Discreta 16 de enero de 2023 12 / 63

2. Proposición Compuesta: es aquella formada por la composición de

Notación: Las proposiciones compuestas serán denotadas por letras mayúscula

Ejemplo: La siguiente proposición es compuesta:

Richard Cubas B. Matemática Discreta 16 de enero de 2023 13 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 14 / 63

Sı́mbolo Conectivo significado

Richard Cubas B. Matemática Discreta 16 de enero de 2023 15 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 16 / 63

Ejemplo: Sea p : La ballena azul es el animal mas grande que existe en

Richard Cubas B. Matemática Discreta 16 de enero de 2023 17 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 18 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 19 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 20 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 21 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 22 / 63

p : Pablo nació en España

Richard Cubas B. Matemática Discreta 16 de enero de 2023 23 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 24 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 25 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 26 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 27 / 63

En las expresiones que incluyen algunos o todos los operadores ¬, ∧y∨,

Richard Cubas B. Matemática Discreta 16 de enero de 2023 28 / 63

chard solo si perteneces a la Facultad de Ingenierı́a de Sistemas e

Richard Cubas B. Matemática Discreta 16 de enero de 2023 29 / 63

Dada una proposición molecular, podemos especular sobre qué posibles

Richard Cubas B. Matemática Discreta 16 de enero de 2023 30 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 31 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 32 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 33 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 34 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 35 / 63

Se dice que una proposición molecular es una contingencia sólo si no es

Richard Cubas B. Matemática Discreta 16 de enero de 2023 36 / 63

George Boole es considerado uno de los fundadores del campo de las

Richard Cubas B. Matemática Discreta 16 de enero de 2023 37 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 39 / 63

Richard Cubas B. Matemática Discreta 16 de enero de 2023 40 / 63

La verdad de una proposición puede asociarse al pasaje de corriente a un

Para representar a p si es V o F se tienen las siguientes representaciones: