INGENIERIA DE SISTEMAS DE INFORMACION

MATEMATICA PARA
INGENIERIA I

Docente: LUCY NEFRET RIOS LOPEZ

Semestre: 2021 – I
De lo observado

• ¿En qué se parecen las imágenes?

 Logro u objetivo de una sesión

Al finalizar la sesión, el estudiante será capaz de:

Al término de la semana, los alumnos realizan

las formalizaciones de enunciados
proposicionales aplicando la simplificación de
proposiciones, haciendo uso de las reglas,
jerarquías y el conectivo lógico básicos y
desarrollando las proposiciones equivalentes.
SESION 3

EQUIVALENCIAS
 TEMARIO

Simplificación de proposiciones simples y compuestas

Resolución de Proposiciones equivalentes.

Leyes de las lógicas.

 FORMALIZAR Y LUEGO APLICAR LA TABLA DE VERDAD

1. Es suficiente para aprender la lección, estar bien motivado

Proposición Conectivos lógicos Formalización

p q

V V
V F
F V
F F
2. Trabajar diariamente es condición suficiente para tener dinero.

Proposición Conectivos lógicos Formalización

p q

V V
V F
F V
F F
3.Solo si existe oferta, habrá demanda.

Proposición Conectivos lógicos Formalización

p q

V V
V F
F V
F F
4. Si es falso que, (no trabajé ni estudié), es obvio que no seguiré una carrera profesional.

Proposición Conectivos lógicos Formalización

5. Es falso que Teresa no sepa tocar el violín y que, además, no componga melodías, puesto que es egresada del
Instituto Nacional de Cultura.

Proposición Conectivos lógicos Formalización

6. Si es falso que la lógica y la matemática sean ciencias formales, ni la lógica ni la matemática utilizan la
inducción para demostrar sus principios.

Proposición Conectivos lógicos Formalización

7. El triángulo se llama isósceles si tiene dos lados iguales . No se llama isósceles . En consecuencia, no tiene dos
lados iguales.

Proposición Conectivos lógicos Formalización

8. El Pueblo es una masa pasiva que sigue bien las ideas de un gran hombre, o los preceptos de la idea
absoluta . Sigue los preceptos de la idea absoluta . Por lo tanto no sigue las ideas de un gran hombre.

Proposición Conectivos lógicos Formalización

 9. Sin variables , ni operadores no hay lenguaje formalizado . Ocurre que no hay variables ni operadores. Luego, no
hay lengua formalizado.

Proposición Conectivos lógicos Formalización

p: hay variables sin= PRIMERO: Sin variables ni operadores no hay
q: hay operadores ni= lenguaje formalizado. Ocurre que no hay variables
r: hay lenguaje formalizado no= ni operadores.
,= Ʌ SEGUNDO: no hay lengua formalizado.
8; la tabla de verdad tiene 8 .=Ʌ
filas Luego = PRIMERO Luego SEGUNDA P S

{[( Ʌ q ) Ʌ r ] Ʌ (p Ʌ q )} r
10. Si Pedro es Burgués, es propietario de los medios de producción social y emplea trabajo asalariado. Es Burgués
y propietario de los medios de producción social. Luego, Pedro emplea trabajo asalariado.

Proposición Conectivos lógicos Formalización

 EQUIVALENCIAS LÓGICAS
En todas las áreas de las matemáticas necesitamos mecanismos para saber cuando dos entidades son
iguales o esencialmente las mismas. En la lógica proposicional este concepto se llama equivalencia y se da
entre dos proposiciones cuando ambas siempre tienen el mismo valor de verdad para una misma asignación
de valores de verdad de las proposiciones que las componen.

Equivalencia lógica

Una proposición es lógicamente equivalente a otra cuando cada una de las asignaciones de valores de
verdad a las proposiciones simples que las componen genera el mismo valor de verdad en ambas
proposiciones. En otras palabras, dos expresiones son lógicamente equivalentes si sus tablas de verdad son
iguales.
  equivalencia lógica se representa con el símbolo y significa que podemos reemplazar una expresión con su
La
equivalente ya que ambas generan la misma tabla de verdad. La expresión A Ʌ B B Ʌ A nos indica que podemos
reemplazar cualquier ocurrencia de A Ʌ B B Ʌ A sin alterar los valores de las expresiones donde hacemos el cambio o la
validez de los procesos de razonamiento donde las utilizamos
Grimaldi, Ralph (1998) y Klement, Kevin (2015)
 Equivalencia material

  equivalencia material es una conectiva lógica representada con el símbolo cuyo valor de verdad es V si las
La
proposiciones a las que se aplica tienen el mismo valor de verdad y tiene un valor de verdad F si los valores
de verdad de las proposiciones son diferentes. Podemos representar el comportamiento de la conectiva con
la siguiente tabla de verdad:

V V V

V F F

F V F

F F V

Grimaldi, Ralph (1998)

En lenguaje natural esta conectiva está aproximadamente representada con la expresión «si y solo si» y
se le suele denominar bicondicional o doble implicación. Estos nombres se deben a que es lógicamente
equivalente a la conjunción de dos implicaciones donde el antecedente de una es el consecuente de otra
y el consecuente de la primera es el antecedente de la segunda. Esta relación la podemos ver con más
claridad en la siguiente tabla:

qp ) Ʌ (qp)

V V V V V V V
V F F V F V F
F V V F V F F
F F V V V V V

 
Dado que ) Ʌ (qp) y tienen la misma tabla de verdad, podemos decir que son
lógicamente equivalentes: ) Ʌ (qp)
 Diferencia entre la equivalencia lógica y la equivalencia material
La equivalencia lógica y la equivalencia material son conceptos relacionados pero no son la misma cosa y no se pueden
usar de forma intercambiable. La equivalencia lógica nos permite reemplazar unas proposiciones lógicas por otras siempre
que las tablas de verdad que generan sean iguales. La equivalencia material nos permite construir expresiones complejas
y puede tener valores de verdad diferentes dependiendo de los valores de verdad de las expresiones a las que se aplica.

V V V F F F F F V F
V F F V F V V V V V
F V F V V F V V V V

F F F V V V V V V V

F F F V V V V V V V

Podemos identificar claramente el concepto que estamos usando en un momento determinado de la siguiente manera:
Si reemplazamos una expresión con otra durante un proceso de razonamiento entonces estamos usando una equivalencia
lógica.
Si construimos proposiciones compuestas usando el símbolo ↔ entonces estamos usando una equivalencia material.
Equivalencias de uso más frecuente
  de involución o doble negación
Ley  
Leyes conmutativas
Negar una proposición dos veces equivale a una afirmación. Conmutar significa cambiar de lugar u orden es decir se
( p) p conmutan .
Ejemplo:
( p v q )] p v q pɅq qɅp pvq qvp

p v ( q Ʌ t) ( q Ʌ t) v p
  de idempotencia
Ley
Significa igual valor; esto quiere decir que al hacer una o  
Leyes asociativas
varias veces una acción se obtendrá el mismo resultado. “Las leyes asociativas para la conjunción, disyunción y
pvp p bicondicional establecen que si en un esquema hay más
pɅp p de una de las tres, con igual alcance, ellos pueden
agruparse indistintamente”
p v q v r (p v q) v r p v (q v r) ( pv r) v q
(p Ʌ r ) v (p Ʌ r) p Ʌ r p Ʌ q Ʌ r (p Ʌ q) Ʌ r p Ʌ (q Ʌ r) ( p Ʌ r ) Ʌ q
( p r ) v (p r) p r
(p q) Ʌ (q ← p ) (p q) p Ʌ q Ʌ r (p Ʌ q) Ʌ r p Ʌ ( q Ʌ r)
 
Leyes distributivas   condicional
Ley
p Ʌ (q v r) (p Ʌ q) v (p Ʌ r) p q pvq

p q (p ) v q
s Ʌ ( q v r) (s Ʌ q) v (s Ʌ r) p q pv q

Ley bicondicional
 
Leyes de Morgan
Al negar una conjunción o disyunción de dos proposiciones p q ( p q ) Ʌ (q p )
obtendremos la negación de cada una de estas pero cambiando
la conjunción por la disyunción y viceversa.
Ejemplo:
(p Ʌ q) ( p v q) p q ( p q ) Ʌ ( q p)
(p v q) ( p Ʌ q)

Ejemplo:
(p v q ) p Ʌ ( q )
(p v q ) v p Ʌ q
 
Leyes de absorción
Absorción total debemos obtener operadores diferentes  Ley del término excluido

Ejemplo: (p v p) V
pɅ(pvq) p
Ejemplo: pɅp F
rv(rɅp) r

 
Absorción parcial  Ley de Identidad  Ley de denominación
Ejemplo:
pɅ(pvq) pɅq pv p pv V
Ejemplo:
pɅ(pvq) pɅq pɅ p pɅ F
PRACTICAR

  a) Demostrar que
  b) Demostrar que

  c) Demostrar que
  d) Demostrar que ] ((
  e) Demostrar que ]
f)  Demostrar que ] v
 FORMALIZAR

1. Los trabajadores están siendo despedidos porque estamos en crisis económica

2. Fisher es un jugador de ajedrez porque y sólo porque domina la deducción lógica, sin embargo
ha perdido el campeonato.

3. La lógica es una ciencia formal, tiene aplicaciones prácticas, no obstante la lógica no estudia el
contenido del pensamiento, tampoco estudia los valores

4. Es mentira que la inflación sea un indicador de pobreza a menos que ésta sea equivalente
a un indicador poblacional

5. No es verdad que haya un profesor en la UNT

6. Es innegablemente falso que varios químicos son gaseosos.

 FORMALIZAR APLICANDO LAS TABLAS DE VERDAD

1. Si eres fiscal, eres abogado. Si eres profesional, eres abogado. Luego, si eres fiscal, eres profesional.

2. Si eres cardiólogo, eres médico. Si eres médico, eres colegiado. Luego, si eres cardiólogo, eres colegiado.
RESOLVER

  a) Demostrar que

b)  Demostrar que ]

 EXPERIMENTAR

Los estudiantes como tarea para la próxima clase deben presentar en hojas adicionales lo
siguiente:

Resuelve los ejercicios planteados en la practica plasmado en el aula

virtual.
 BIBLIOGRAFIA

URL DESCRIPCIÓN
https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional/Equivalencias#cite_ref- Griamldi, Ralph (1998) “Matemática discreta y combinatoria “ 3era edición –EE.UU
grimaldi1998_1-3

https://es.wikiversity.org/ wiki/L%C3%B3gica_proposicional/Equivalencias#cite_ref- Klement, Kevin (2015) “La Enciclopedia de la Filosofía en Internet”. EE.UU.
grimaldi1998_1-3

https://www.redalyc.org/pdf/4418/441849209003.pdf Cárdenas Marín William Orlando: 2016 “la proposición lógica como instrumento para la
comprensión y transformación de la realidad”

Venero B. Armando : 2004 “Matemática Básica”

https://es.slideshare.net/pcastillosoria/libro-matematica-basica Universidad Tecnológica del Perú : 2007 “ Matemática Básica”
 “Triste época la nuestra.
Es mas fácil desintegrar un átomo
que superar un prejuicio.” A. Einstein
GRACIAS