Está en la página 1de 6

Presentado por:

Daniela Murillo Murillo

Presentado a:

Universidad Nacional Abierta y a Distancia


Administraciòn de Empresas
2017
Actividades a Desarrollar

Tarea 1. Conceptualización de las reglas de inferencia.

Ejercicio D. Simplificación Disyuntiva, Absorción y Ley de Morgan

Ley de Simplificación Disyuntiva:


“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…”
PvQ
P→R
Q→R
.·. R

Dos premisas que se corresponden en forma disyuntiva (v), donde ambas continúan con una
implicación donde el consecuente es el mismo. Podemos concluir con el consecuente de ambos.
Ej.:
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)

Ley de De Morgan:
“Las leyes 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…”
¬(AvB) ↔ (¬A)^(¬B)

Esta Ley nos dice que la negación global de dos o mas premisas unidas, es equivalente a la
negación de dichas premisas en forma individual y viceversa…
Ej. : 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)

Ley de Absorción:

Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica
proposicional. La regla establece que si P implica Q, entonces P implica P y Q. La regla hace
posible introducir conjunciones en pruebas. Esto se llama ley de absorción ya que el
término p es "absorbido" por el término Q en la consecuencia.3
La absorción puede escribirse formalmente como:

P Q
.·. P →(P ᴧ Q)

O sea: siempre que aparezca una instancia de " P → Q " en una línea de alguna prueba, " P
→(P ᴧ Q)" se puede concluir en la línea siguiente.

Notación Formal:

La regla de absorción puede escribirse en la notación subsiguiente:


P → Q ˫ P → ( P ᴧ Q)

Donde ˫ es un símbolo meta lógico significando que P→(PᴧQ) en algún sistema lógico; y
expresado como una tautología o teorema de la lógica proposicional. El principio fue establecido
como un teorema de la lógica proposicional por Russell y Whitehead en Principia mathematica
como:
(P → Q ) ↔ ( P → ( P ᴧ Q ) )

Donde P, y Q son proposiciones expresadas en algún sistema lógico

Demostración por tabla de verdad:

P Q P→Q P→PᴧQ
V V V V
V F F F
F V V V
F F V V

Prueba formal:

PROPOSICIÒN DERIVACIÒN
P→Q Implicación
¬PνQ Implicación material
¬PνP Ley del tercero excluido
(¬PνP)ᴧ(¬PνQ) Conjunción
¬Pν(PᴧQ) Distribución inversa
P→(PᴧQ) Implicación material
Tarea 2. Problemas de aplicación I
Solucionar el siguiente enunciado y demostrar la validez o no validez del argumento dado a
través de:

 Uso de las tablas de verdad


 Uso de las reglas de inferencia
 Uso del simulador Truth Table

Ejercicio D.
La secretaria General de la Universidad está preocupada porque el proveedor de los diplomas
manifestó inconvenientes con su impresión, por ello la secretario les dio este argumento para que
cumplan con la fecha estipulada “No es cierto que el Rector no pudo dar el discurso o los
diplomas no llegan a tiempo, la fiesta de graduación tendría que cancelarse. La fiesta de
graduación tendría que cancelarse y los estudiantes se enojarían. Si la fiesta se cancelara, habría
que devolver el dinero. No se devolvió el dinero. Por lo tanto, el Rector pudo dar el discurso.

Tarea 3: Problemas de aplicación II


Expresar e lsiguiente enunciado en Lenguaje natural relacionada con la dinámica de la
Universidad de su rol como estudiante y demostrar la validez del argumento dado a través de:

 Uso de las tablas de verdad


 Uso de las reglas de inferencia
 Uso del simulador Truth Table

Ejercicio D.
Tarea 4: Razonamiento Deductivo e Inductivo

Identifique si del siguiente caso el razonamiento es deductivo o inductivo, argumentando la


respuesta con sus propias palabras.
Ejercicio A.

Explica la conclusión a la que llega el personaje, de acuerdo a la caricatura. Explica el método de


razonamiento ( inductivo o deductivo ) utilizado.

También podría gustarte