Observaciones en color rojo

Actividad Colaborativa Paso 4

Unidad 2: Paso 4 - Mtodos para probar la validez de argumentos

Lgica Matemtica

Grupo 90004_351

XIMENA PATRICIA RIVAS BERMUDEZ

Tutor
ALAN FERNANDO CUADROS

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Universidad nacional abierta y a distancia

Cali valle 2017

 1. Simplificacin Disyuntiva, Absorcin y Ley de Morgan

Simplificacin Disyuntiva: Nos permite pasar de dos premisas a la conclusin, esta regla se
aplica siempre que se d una proposicin condicional y se d precisamente el consecuente.
La misma regla se aplica tanto si el antecedente y consecuente es una proposicin
atmica como molecular.
P Q (1) P V M T & Q
P (2) P V M
---------- _____________________
.: Q .: (3) T & Q PP 1.2

EJ: Si esta planta no crece, entonces o necesita ms agua o necesita mejor abono. Esta planta
no crece.

P: esta planta crece.

Q: necesita ms agua.
A: necesita mejor abono

PQVA
P
______________
.: Q V A

En palabras podemos concluir que esta planta necesita ms agua o ms abono

Tomado de: http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-

q-modus.html
Ley de Morgan

Tiene dos formas en las que se puede aplicar la ley. A partir de una proposicin en conjuncin
negada, se puede obtener la negacin de cada uno de los conjuntivos pero cambiando el
conectivo a disyuncin, pero cambiando el conectivo a conjuncin.

[~(P ^ Q)] (~P v ~Q) negacin de la conjuncin

o bien

[~(P v Q)] (~P ^ ~Q) negacin de la disyuncin

1. ~ (p q) ~ p ~ q A continuacin se muestra en su tabla correspondiente:

Las leyes de Morgan permiten el cambio del conjuntor en disyuntor y viceversa, Las
proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden
estar afirmadas o negadas
 Estrategia general en la aplicacin de las leyes de Morgan

Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de

Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus
miembros negados.

SU ESQUEMA ES EL SIGUIENTE:

(P Q) ( P Q)

1. Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley

de Morgan nos permite transformarla en una proposicin disyuntiva con cada
uno de sus miembros negados.

SU ESQUEMA ES EL SIGUIENTE:

(P Q) ( P Q)

2. Si nos encontramos con una proposicin conjuntiva afirmada, la ley de

Morgan nos permite transformarla en una proposicin disyuntiva negada en
su totalidad y en sus miembros.

SU ESQUEMA ES EL SIGUIENTE:

(P Q) ( P Q)

3. Si nos encontramos con una proposicin disyuntiva afirmada, la ley de

Morgan nos permite transformarla en una proposicin conjuntiva negada en
su totalidad y en sus miembros.

SU ESQUEMA ES EL SIGUIENTE:

(P Q) ( P Q)

Recuperado de:
Leyes De Implicacin y Equivalencia
https://argumentosdevalides.wordpress.com/
http://www.paginasobrefilosofia.com/html/derivada.html
Absorcin: es una forma lgica de argumento vlido y una regla de inferencia de la lgica
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 absorcin ya que el trmino
P es absorbido" por el trmino Q en la consecuencia.
La absorcin puede escribirse formalmente como:

osea: siempre que aparezca una instancia de " " en una lnea de alguna prueba "
( )

La regla de absorcin puede escribirse en la notacin subsiguiente:

Demostracin por Tabla de Verdad

Recuperado de: https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)

 2. Solucionar los siguientes enunciados y demostrar la validez o no validez del
argumento dado a travs de:
Uso de las tablas de verdad.
Uso de las reglas de inferencia.
Uso del simulador Truth Table.
La secretara General de la Universidad est preocupada porque el proveedor de los
diplomas manifest inconvenientes con su impresin, por ello la secretara 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 graduacin
tendra que cancelarse. La fiesta de graduacin tendra que cancelarse y los
estudiantes se enojaran. Si la fiesta se cancelara, habra que devolver el dinero. No
se devolvi el dinero. Por lo tanto, el Rector pudo dar el discurso.

Proposiciones.
P. cumplir con las fechas estipuladas
Q. la fiesta tenga que cancelarse
R. devolver el dinero
S. el discurso del rector
T. el rector ser el responsable

q) (q (r V s) (s t) ( s)]
{[( r } p
p
{[( q) (q (r V s) (s t) (r s)] p
p }
V V V V V V V V V V V V V V V V V V V
V V V V V V V V F V F V F F V F F V V
V V V V V V F V V V V V V F F F V V V
V V V V V F F F F F F V F F F F F V V
V F F F F V V V V V V V V V V V V V V
V F F F F V V V F V F V F F V F F V V
V F F F F V F V V V V V V F F F V V V
V F F F F V F F F F F V F F F F F V V
F V V V V V V V V V V V V V V V V F F
F V V V V V V V F V F V F F V F F V F
 F V V V V V F V V V V V V F F F V V F
F V V V V F F F F F F V F F F F F V F
F V F F F V V V V V V V V V V V V F F
F V F F F V V V F V F V F F V F F V F
F V F F F V F V V V V V V F F F V V F
F V F F F V F F F V F V F V F V F F F

Uso de leyes de inferencia.

Hay contingencia, por lo tanto no se puede demostrar el argumento mediante reglas de
inferencia.
Uso del simulador Truth Table

Falta la aplicacin de las leyes de inferencia

3. Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinmica de la
Universidad de su rol como estudiante y demostrar la validez del argumento dado a travs
de:

Uso de las tablas de verdad.

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

{( ) [( ) ] [( ) ] }

No s a resuelto

4. Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,

argumentado la respuesta con sus propias palabras

a. Todos los seres humanos sentimos temor a provocar la muerte de otra persona. Las
personas con creencias religiosas tienen esta prohibicin como norma de conducta.
Adems este temor es compartido por personas sin religin. Finalmente, este repudio
a lastimar a otro, existe en todo tipo de culturas, en cualquier parte del mundo. Por lo
tanto, esto es un valor que es independiente de la religin, y del contexto cultural, y
al ser compartido por todos los seres humanos, es un valor Universal.

El razonamiento es Deductivo

Premisa 1: Todos los seres humanos sentimos temor a provocar la muerte

Premisa 2: La creencia o no de la religin, tienen el mismo temor
Premisa 3: Las personas de distintas culturas comparten el mismo repudio de lastimar a otro
ser humano
Conclusin
Sin importar la religin y las culturas, el ser humano siente temor de lastimar a otro ser
humano.
Premisa 1: p q
Premisa 2: p r
Premisa 3: p
Conclusin: (q )

Muy bien

La conclusin es vlida ya que ningn rengln tiene premisas verdaderas y conclusin falsa.
 Bibliografia

Villalpando, B. J. F. (2014). Matemticas discretas:

aplicaciones y ejercicios. : Larousse - Grupo Editorial Patria.
Pginas 29 38. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=40&docID=11013570&tm=1492519542738

Rodrguez, V. R. (2013). Conjuntos numricos, estructuras

algebraicas y fundamentos de lgebra lineal. Volumen I:
conjuntos numricos, complementos. Madrid, ES: Editorial
Tbar Flores. Pginas 17-29. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=18&docID=10995629&tm=1492519731065

Prez, A. R. (2013). Una introduccin a las matemticas

discretas y teora de grafos. Crdoba, AR: El Cid Editor.
Pginas 3-22. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=20&docID=10732485&tm=1492519941380

Chvez, C. P. (2000). Compendio de lgica. : Larousse -

Grupo Editorial Patria. Pginas 163-166. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=178&docID=11046000&tm=1492520104862