DOCENTE: ING. GUSTAVO TANTANI MAMANI.

CARRERA: ING. DE SISTEMAS.

MATERIA: ESTRUCTURAS DISCRETAS.
TEMA: LOGICA MATEMATICA.
ALUMNO: LUIS FERNANDO DOMINGUEZ ARAUZ.
GRUPO. 4

LOGICA MATEMATICA. Página 1

 LOGICA MATEMATICA.

Introducción.- La lógica es la disciplina que trata de los métodos, modos y forma de

razonamiento humano. Ofrece reglas y técnicas para determinar si un argumento es
válido o no.

Una de las metas fundamentales de la lógica es eliminar las ambigüedades del

lenguaje ordinario, introduciendo símbolos y conectivos lógicos en la proporciones de
construcciones.

Dado que las proporciones son la base del razonamiento lógico, que consiste es
decidir la valides de una idea en base a enunciados que previamente fueron
aceptados.

Proposiciones.- Una proporción es toda oración o enunciado respecto de la cual se

puede decir si es verdadera o falsa pero no ambas a la vez. Es decir toda proposición
está asociada a un valor de verdad la cual puede ser verdadera o bien falsa.

Ejemplos:

1) Oriente es campeón. (F)

2) Blooming el mejor equipo del mundo. (F)

3) ¿Cuál es tu nombre? (F)

5) 3+4=7 (V)

6) Los perros vuelan. (F)

7) Los humanos son animales razónales. (V)

Notacion de colectivos lógicos.- A las proporciones simples (Atómicas) se

acostumbran de anotar con las letras minúsculas del abecedario.

A partir de las proporciones simples o compuestas (moleculares) utilizando ciertas

constantes proporcionales llamadas conectivos lógicos tales como:

LOGICA MATEMATICA. Página 2

 Conectivos. Notación.
No. ~
y. ∧
o. v
Si entonces. →
Si y solo sí. ↔
O excluyente.

Operaciones proposicionales.-Dada una o 2 proposicionales cuyos valores

de verdad se conocen las operaciones entre proposiciones tratan de
generar otras proposiciones y caracterizar la proporción resultante a través
de su valor de verdad están son:
Conectivo. Notación. Operación.
No. ~ Negación.
y. Conjunción.
o. v Disyunción.
Si entonces. → Condicional/implicación.
Si y solo si. ↔ Bicondicional/doble
implicación.
O excluyente. Disyunción exclusiva.

Operaciones proposicionales.
P= 5+4<9
q= El hombre es el arquitecto de su propio destino.
P= F.
q= V.

LOGICA MATEMATICA. Página 3

Negación.- Sea B una proporción la negación de P es la proposición no p y
se escribe.

TABLA DE VERDAD.

P ~P

V F

F V

Ejemplo.
P= Los humanos tienen sentido de la vista.
P= V.
~P= F.
~P= Los humanos no tienen sentido de la vista.
Conjunción.- Sea p y q dos proposiciones se llama conjunción de p y q en
la proposición que se obtiene uniendo las por medio del conectivo “y”, se
escribe “p ∧ q”.

LOGICA MATEMATICA. Página 4

 TABLA DE VERDAD.

p q p∧q

V V V

V F F

F V F

F F F

Regla.- La conjunción de p y q es verdadero si ambas proposiciones son

verdaderas caso contrario es falso.
Ejemplo.
p= La silla es de madera.
q= La mesa es de madera.
P^q= La silla y mesa son de madera.
Disyunción.-Sea p y q dos proposiciones se llama disyunción de p y q a la
proposición que se obtiene uniéndolas por medio del conectivo “o”, se
escribe “p v q”.

LOGICA MATEMATICA. Página 5

 TABLA DE VERDAD.

p q pvq

V V V

V F V

F V V

F F F

Regla.- La disyunción de p y q es falso si ambas proposiciones tienen el

valor de verdad de F caso contrario es verdadero.
p= Oriente gana el clásico
q= Blooming gana el clásico.
p v q= Oriente o Blooming gana el clásico.
Implicación condicional.- Sea p y q dos proposiciones se llama implicación
de p y q a la proposición que se obtiene uniéndola por medio del conectivo
“si entonces” se escribe “p → q” y se lee “si entonces”. Donde p es la
proposición antecedente y q proposición consecuente.

LOGICA MATEMATICA. Página 6

 TABLA DE VERDAD.

p q p→q

V V V

V F F

F V V

F F V

Def: p → q ≅ ~p v q

Regla.- El valor de verdad de la implicación entre dos proposiciones es

falso si el antecedente es verdadero y el consecuente falso caso contrario
el resultado de la implicación es verdadero.
Doble implicación (Bicondicional).- Sea p y q dos proporciones se llaman
doble implicación de p y q a la proposición que se obtiene uniéndolas por
medio de conectivos “si y solo si”, se escribe “p ↔ q”, se lee “p si y solo q”.

LOGICA MATEMATICA. Página 7

 TABLA DE VERDAD.

p q p↔q

V V V

V F F

F V F

F F V

Def: p ↔ q (p → q) y (p → q)

Regla.- El valor de verdad de doble implicación de p y q es verdad si

ambas proposiciones tienen el mismo valor de verdad caso contrario es
falso.
Disyunción exclusiva.-Sea p y q dos proposiciones la disyunción exclusiva
de p y q es la proposición que se obtiene uniéndola por medio del
conectivo o excluyente se escribe p q, se lee “p o excluyente q”

LOGICA MATEMATICA. Página 8

 TABLA DE VERDAD.

P q p q

V V F

V F V

F V V

F F F

Def: p q= (p ↔ q)
Regla.- La disyunción exclusiva de dos proposiciones es verdadera cuando
ambos valores de verdad son diferentes, en otro caso es falso.
Formula proposicionales.- Una forma proposicional es una combinación de
proposiciones y conectivos lógicos que simboliza a una proposición
compuesta o molecular.
Ejemplo.
1) (p ∧ q) → r.
2) (p v ~q) → (~q v r).
3) p v q →r.
Tabla de verdad.- El valor de la verdad de la formula proposicional
depende de los valores de verdad de las proposiciones simples que las

LOGICA MATEMATICA. Página 9

componen. Es decir se analizan todas las posibles combinaciones de
valores de verdad las cuales se dan en la primera columna.
Por tanto si en una formula proposicional intervienen en proposiciones
simples, entonces en la tabla de valores de verdad habrá 2𝑛
combinaciones diferentes.
Ejemplos.
[(p → q) → (~q v r)] ∧ ~ (r → ~p)
n= 3
2𝑛 = 23 = 8.

Clasificación de fórmulas proposicionales.- Las formulas proposicionales

(formulas compuestas) se clasifican según el valor de verdad de las
diferentes combinaciones entre proposiciones simples las cuales son:
Tautología, contradicción y contingencia.

LOGICA MATEMATICA. Página 10

Tautología.- Es una formula proposicional que es verdadera para cualquier
valor de verdad de las proposiciones que la componen.
Contradicción.- es una formula proposicional que es falsa para cualquier
valor de verdad de las proposiciones que la componen.
Contingencia.- Es una formula proposicional que no es tautología ni
contradicción.
1) {[(p ∧ q) v [p ∧ (~p v q)]} ~ (p → ~q)
2= 22 = 4

Algebra de proposiciones.- Son operaciones lógicas que se realizan en una

formula proposicional aplicando adecuadamente ciertas reglas básicas
llamadas leyes lógicas. Es decir al igual que algebra básica donde las
simplificaciones de algebra básica es muy importante es lógica también

LOGICA MATEMATICA. Página 11

existe la necesidad de simplificar formulas proposicionales completas, de
ciertas equivalencias llamada leyes lógicas
Leyes lógicas.- Son formulas proposicionales lógicamente equivalente las
cuales citamos a continuación:
1. LEYES DE IDEMPOTENCIA.
p∧p≡p
p v p≡ p
2. LEYES CONMUTATIVAS.
p∧q≡q∧p
pvq≡qvp
3. LEYES ASOCIATIVAS
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p v (q v r) ≡ (p v q) v r
4. LEYES DE NEGACIÓN
~ (~ p) ≡ p
p∧~p ≡F
p v ~p≡V
5. LEYES DE IDENTIDAD
p∧V≡p
pvF≡p

LOGICA MATEMATICA. Página 12

6. LEYES DE MORGAN
~ (p ∧ q) ≡ ~ p v ~q
~ (p v q) ≡ ~ p∧ ~q
7. DEFINICIÓN DE IMPLICACIÓN
p → q ≡ ~p v q
8. LEYES DISTRIBUTIVAS
p ∧ (q v r) ≡ (p ∧ q) v (p ∧ r)
p v (q ∧ r) ≡ (p v q) ∧ (p v r)
9. LEYES DE ABSORCIÓN
p ∧ (p v q) ≡ p
p v (p ∧ q) ≡ p
p ∧ F≡ F
p v V≡ V
10. DEFINICIÓN DE DOBLE IMPLICACIÓN
p ↔ q ≡ (p → q) ∧ (q →p)
11. EQUIVALENCIA LÒGICA
p q ≡ ~ (p ↔ q)
Simplificación de fórmulas proposicionales.- Se trata de transformar una
formula proposicional a otra equivalente a ella pero lo más reducida
posible. Para lo cual se debe usar oportuna y correctamente las leyes
lógicas. A si mismo debe especificarse en cada paso la ley o leyes que
fueron utilizadas.
Ejemplo.
LOGICA MATEMATICA. Página 13
Simplificar las siguientes formulas proposicionales.

Ejemplo 2.

LOGICA MATEMATICA. Página 14

Ejemplo 3.

Ejemplo 4.
Sean p y r proposiciones cualesquiera, q y s proposiciones tales que
~ (~q ∧ s) es falsa. Hallar el valor de verdad de la proposición siguiente:

LOGICA MATEMATICA. Página 15

Circuitos lógicos.- Un circuito lógico con un interruptor puede estar abierto
o cerrado cuando el interruptor está abierto no permite el paso de
corriente mientras que cuando está cerrado si lo permite. Si asociamos
una proposición a un interruptor intuitivamente vemos que en el álgebra
de circuitos la V indica el interruptor está cerrado y F el interruptor esta
abierto. Así el circuito lógico se representa de la siguiente manera:
V (Abierto),
F (Cerrado).

Circuito en serie y paralelo.- Las operaciones proposicionales se pueden

representar mediante circuitos lógicos con tantos interruptores como
proposición es que componen dicho circuito combinados, en serie o en
paralelo según el conectivo lógico que unen las proposiciones.
La conjunción de 2 proposiciones (p ∧ q) está representada por un circuito
en serie.

LOGICA MATEMATICA. Página 16

Circuitos paralelos.- La disyunción de 2 proposiciones (p v q) está
representada por un circuito lógico en paralelo.
Ejemplo.

LOGICA MATEMATICA. Página 17

Ejemplo 2.

LOGICA MATEMATICA. Página 18

Inferencia lógica.- Se debe entender por inferencia lógica a un
razonamiento valido en el que a partir de un conjunto de premisas
(proposiciones) se obtiene un resultado llamado conjunción. Un
razonamiento es válido si y solamente si la conjunción de las premisas
implica la conjunción. Es decir si las premisas son todas verdaderas
LOGICA MATEMATICA. Página 19
entonces. Sin embargo si una o más premisas es falsa la conjunción de
todas las premisas será falsa.
P1
P2 (PROPOSICIONES)
P3 LA CONCLUSION
P4 ≅ P1 ∧ P2 ∧ P3 ∧ P4 ∧ Pn → Q
Pn CONJUNCION DE PREMISAS.
__________
Q
Reglas de inferencia.- Se llama reglas de inferencia a todo argumento
universalmente correcto (formulas correctas de razonamiento) que
representan métodos generales de razonamiento valido.
1. MODUS PONENDO PONENS (PP)
p→q
p
______
q

2. MODUS TOLLENDO TOLLENS (TT)

p→q
p
______

LOGICA MATEMATICA. Página 20

~p
3. SILOGISMO HIPOTETICO (SH)
p→q
q→r
______
p→r
4. MODUS TOLLENDO PONENS (TP)
pvq
~p
_______
q

pvq
~q
________
p

6. LEY DE SIMPLIFICACION(S)
p∧q p∧q
______ _______
p q

LOGICA MATEMATICA. Página 21

7. LEY DE ADICION (LA)
p
___
pvA
8. LEY DE CONJUNCION.
p
q
____
p ∧q
9. DILEMA CONSTRUCTIVO.
p→q
r→t
pvr
_______
qvt

10. DILEMA DESTRUCTIVO.

p→
r→

LOGICA MATEMATICA. Página 22

~q v ~t
_______
~p v ~r
Ejemplo.
Hallar la siguiente conclusión: Q →P, a partir de las premisas:
P1: P ∨ Q → P
P2: Q ∨ P
Solución:
3. ~ (P ∨ Q) ∨ P Sustitución (equivalencia 1) del condicional en 1.
4. (~P ∧ ~Q) ∨ P Sustitución (Equivalencia 3) en 3.
5. ~Q ∨ P Ley simplificación en 4.
6. Q → P Sustitución del condicional en 5.
En este último pasó, alcanzamos la conclusión: Q → P, luego el
argumento es válido.
Funciones proposicionales.- Una función proposicional en una variable x
es toda expresión en la que y representa al sujeto. La cual se convierte en
proposición para cada especificación de x. Si de x es una expresión que se
convierte en una proposición al sustituir la variable x por un objeto
matemático, se dice de p es una función proposicional. Así mismo existe
funciones proposicionales con más de una variable.
Ejemplo.
P (x) = “x es un numero primo”.
P (2)= “2 es un numero primo”.

LOGICA MATEMATICA. Página 23

P (87)= “87 es un numero primo”.
P (x, y)= “x es divisor de y”.
P (2, 5)= “2 es divisor de 52”. F
P (3, 15)= “3 es divisor de 15”. V
Cuantificadores.- A partir de funciones proposicionales se puede obtener
proposiciones generales mediante un proceso llamado de cuantificación
para ello introducimos los símbolos ∀, ∃ llamados cuantificadores
universal y existencial respectivamente. Los cuales asociados a la variable
x expresan lo siguiente:
∀x, para expresar “para todo x” o “cualquiera que sea x”.
∃x, para expresar “existe según x, tal que” o “existe el menos un x, tal
que”.

∀x: p(x), se lee “para todo x”, se verifica P(x).

∃x: P(x), se lee “existe algún x”, tal que se verifica P(x).
Negación de funciones proposiciones cuantificados.
~ (Vx: P(x))= ∃x/ ~P(x).
~(∃x/ P(x))= Vx: ~P(x).

Ejemplo.
Vx: P(x ) ~Q(x)
Negación.
LOGICA MATEMATICA. Página 24
~(∀x: P(x) y ~Q(x).
∃x/ ~(P(X) ~Q(x).
∃x/ ~P(X) ∧ Q(x)// Morgan , negación..

LOGICA MATEMATICA. Página 25