LOGICA MATEMATICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LOGICA MATEMATICA
INTRODUCCION
 TAREA 1

SIMPLIFICACIÓN DISYUNTIVA, ABSORCIÓN Y LEY DE MORGAN

SIMPLIFICACION DISYUNTIVA:

Esta regla de inferencia nos dice que si se tiene la disyunción de una proposición consigo
misma, se obtiene la misma proposición, es decir:

Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo

consecuente, y sus antecedentes se corresponden con los dos miembros de una disyunción,
podemos concluir con el consecuente de ambas implicaciones.

Ejemplo 1:

- Juan visita a su abuela o Juan visita a su novia: (p v q).

- Juan visita a su abuela, entonces va en carro: (p → r).

- Juan visita a su novia, entonces va en carro: (q → r)

- Juan va en carro: (.•. r).

p q r ( ( p ∨ q ) → r )
T T T T T T T T
T T F T T T F F
T F T T T F T T
T F F T T F F F
F T T F T T T T
F T F F T T F F
F F T F F F T T
F F F F F F T F
Ejemplo 2:

Jessica sube a la rueda de la fortuna o a la montaña rusa (R v O)

Jessica sube a la rueda de la fortuna, entonces se marea (R → M)

Jessica sube a la montaña rusa, entonces se marea (O → M)

Jessica se marea… ( M )

R O M ( ( R ∨ O ) → M )
T T T T T T T T
T T F T T T F F
T F T T T F T T
T F F T T F F F
F T T F T T T T
F T F F T T F F
F F T F F F T T
F F F F F F T F
ABSORCION:

Esta regla de inferencia nos dice que si P implica a Q entonces P implica P y Q, es decir:

Siempre que se tenga una instancia de P → Q, podemos concluir con P → (P Ʌ Q).

Ejemplo 1:

- Si va a llover, entonces llevaré mi abrigo. (p → q)

- Luego, si va a llover entonces va a llover y llevaré mi abrigo. .•. p → (p Ʌ q)

p q ( p → ( p & q ) )

T T T T T T T

T F T F T F F

F T F T F F T

F F F T F F F

Ejemplo 2:

P v (P ^ Q) = P

P ^ (P v Q) = P
LEYES DE MORGAN:

“Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (o

invertidas) es igual al producto de las n variables negadas individualmente; y que
inversamente, el producto de n variables globalmente negadas es igual a la suma delas n
variables negadas individualmente…”

¬ ( A v B ) ↔ ( ¬A ) ^ ( ¬B )

Esta Ley nos dice que la negación global de dos o más premisas unidas, es equivalente a la
negación de dichas premisas en forma individual y viceversa.

Son dos leyes de transformación, las normas permiten la expresión de las conjunciones y
disyunciones solamente en términos de sí vía negación.

Estas contienen un par de reglas:

Las reglas serían:

• La negación de la conjunción es la disyunción de las negaciones.

• La negación de la disyunción es la conjunción de las negaciones.

Se podría expresar de esta manera informal:

"no (A y B)" es lo mismo que "(no A) o (no B)"

"no (A o B)" es lo mismo que "(no A) y (no B)"

También se podría expresar de esta manera formal:

  es el operador de negación (NO)
 es el operador de conjunción (Y)
 es el operador de disyunción (O)
 es un símbolo metalógico que significa "puede ser reemplazado en una prueba
lógica"

Las leyes de Morgan son un ejemplo de concepto más general de dualidad matemática.

Ejemplo 1:

La negación de: Si Karen sale o Francisco compra un obsequio ¬ ( K v F )

Karen no sale y Francisco no compra el obsequio. ( ¬K ) ^ ( ¬F )

Ejemplo 2:

(A U B)` = A` ∩ B`

A' ∩ B' = A' ∩ B'

 TAREA 2

b) Supongamos que tenemos el argumento “Si no compramos una parcela, entonces

construimos una casa. Si construimos una casa, no compramos un apartamento. Si no
compramos un apartamento entonces compramos muebles. No compramos una parcela. No
compramos muebles o compramos un apartamento. Por lo tanto, compramos un
apartamento”

¬p = no compramos una parcela

q = construimos una casa

¬r = no compramos un apartamento

s = compramos muebles

(¬p→q) ∧ (q→¬r) ∧ (¬r→s) ∧ (¬p) ∧ (¬s) ∨ (r) → r

Esta expresión nos muestra una tautología

 TAREA 3

a. [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑝 ⟶ 𝑟) ∧ (𝑟 ⟶ 𝑠)] ⟶ (∼ 𝑞 ⟶ 𝑠)

P: María estudia

Q: aprueba el examen

∼P: María no estudia

R: pierde el examen

S: Maria pierde el año

∼Q: maria no aprueba el examen

Si Maria estudia entonces aprueba el examen, si Maria no estudia, entonces pierde el examen,
Si Maria pierde el examen entonces pierde el año. Maria no aprueba el examen entonces
pierde el año.

La expresión es una tautología

CONCLUSIONES
 REFERENCIAS

http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-q-modus.html
https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion
https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)
https://es.wikipedia.org/wiki/Leyes_de_De_Morgan