Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Presentado a:
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:
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 ) )
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:
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.
Ejercicio D.
Tarea 4: Razonamiento Deductivo e Inductivo