ACT.

3 UNIDAD 2 PASO 4 - MTODOS PARA PROBAR LA VALIDEZ DE

ARGUMENTOS.

PRESENTADO POR:

DEYBISON MARTINEZ LIDUEAS COD. 1.065.641.316

TUTOR
GONZALO FESTER AVILA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA: INGENIERIA DE SISTEMAS

LOGICA MATEMATICA_9000_26

CEAD: VALLEDUPAR

VALLEDUPAR CESAR

MARZO DEL 2017

 INTRODUCCION

La Lgica Matemticas es un rea de las matemticas que en las ltimas dcadas ha

tenido un significativo desarrollo con el aporte de las ciencias computacionales. Su
aplicabilidad en diversos campos del saber ha generado la necesidad de articularla al
proceso formativo del profesional de hoy en da como herramienta de apoyo para
resolver problemas en las ms diversas disciplinas.

En este sentido y por su carcter mismo, el curso hace aportes significativos al

desarrollo de las competencias y aptitud matemtica en el estudiante, en tanto potencia
habilidades de pensamiento de orden superior, como la abstraccin, el anlisis, la
sntesis, la induccin, la deduccin, etc.
OBJETIVO GENERAL

Que el estudiante comprenda el conjunto de conocimientos relacionados con los

fundamentos bsicos que constituyen el campo terico y aplicativo de las proposiciones,
conjuntos y razonamiento lgico a travs del estudio y anlisis de fuentes documentales
y situaciones particulares en diferentes campos del saber.

OBJETIVOS ESPECIFICOS

Evidenciar en el estudiante una apropiacin conceptual que refleje el

entendimiento de nociones como la de proposicin, conjunto, razonamiento
lgico, complementada con un manejo pertinente de las operaciones con los
mismos.

Lograr que el estudiante conozca de cerca el concepto de los temas relacionados

en la unidad, lo lleve a espacios ms generales y reconozca su importancia en
aplicaciones ms especficas. Adems, debe entender y manejar con propiedad
las distintas operaciones que con ellos se pueden realizar.
 TABLA 1 ANEXO 2
TABLA 1:PLAN DE ACCION - GRUPO ##
Datos Estudiante Fotografa Rol dentro del Ejercicios Ejercicios
Trabajo seleccionados a seleccionados
Colaborativo desarrollar revisar
1065587597 Entrega Tarea 1:A Tarea 1:B
Jorge Luis Villero Wolf
CEAD VALLEDUPAR Tarea 2:A Tarea 2:B

Tarea 3:A Tarea 3:B

Tarea 4:A Tarea 4:B

1065641316 Tarea 1: E Tarea 1: D

DEYBISON MARTINEZ
LIDUEAS Tarea 2: E Tarea 2: D
CEAD VALLEDUPAR
Tarea 3: E Tarea 3: D

Tarea 4: E Tarea 4: D

Identificacin Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Tarea 4: Tarea 4:

Identificacin Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Tarea 4: Tarea 4:

Identificacin Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Tarea 4: Tarea 4:
 Tarea 1: Aplicacin de las reglas de inferencia.

Socializar la conceptualizacin y dos ejemplos especficos de un grupo de las Reglas de

Inferencia Lgica, las cuales son:

Distributiva, Exportacin, y Contraposicin

REGLA DE LA EXPORTACIN: es una regla de reemplazo vlida de la lgica

proposicional. La regla establece que se P implica Q, entonces P implica P y Q. La
regla permite sentencias condicionales que tengan antecedentes conjuntivos que se
sustituyen por declaraciones que tienen consecuentes condicionales y viceversa en
pruebas lgicas. Es la regla de que:

((P Q) R) (P (Q R))

Donde es un smbolo metalgico que representa "puede ser reemplazado en una

demostracin con."

NOTACIN FORMAL

La regla de exportacin puede escribirse en la notacin subsiguiente:

Donde es un smbolo metalgico significando que es consecuencia

sintctica de en algn sistema lgico; o en forma de regla.

REGLA DISTRIBUTIVA: Consiste en que si primero realizamos la operacin de los

parntesis y luego realizamos la operacin con el nmero que est por fuera, va a ser lo
mismo que primero tomramos el nmero que esta por fuera y realizramos la
operacin con cada uno de los nmeros que est dentro del parntesis, su resultado ser
el mismo.
En la lgica proposicional tenemos que:

P (Q R) (P Q) (P R)

Separamos la disyuncin con la primera proposicin que en este caso ser P con Q y
luego P con R y luego lo conectamos con la conjuncin.

P (Q R) (P Q) (P R)

En este caso, se separan de la misma manera que el ejemplo anterior, solo se invierten
los conectores.

REGLA DE LA CONTRAPOSICIN: En lgica, la contraposicin lgica es una ley

que dice que, para cada sentencia condicional, hay una equivalencia lgica entre la
misma y su contraposicin. En la contraposicin de una sentencia, el antecedente y
consecuente son invertidos y negados: por lo tanto, la contraposicin de P Q, es, por
lo tanto Q P.

Por ejemplo, la proposicin "Todos los murcilagos son mamferos" puede ser reescrita
en su forma condicional "Si algo es murcilago, entonces es mamfero." Por ltimo, la
ley dice que la sentencia es idntica a su contrapositiva "Si algo no es mamfero,
entonces no es murcilago."

La contrapositiva puede ser comparada con otras tres relaciones entre sentencias
condicionales:

Inversin (la inversa): P Q.

"Si algo no es murcilago, entonces no es mamfero." A diferencia de la contrapositiva,

el valor-verdad de la inversa no depende del todo del valor de verdad de la sentencia
original. La inversa, aqu, claramente no es verdadera.
Conversin (la recproca): Q P
"Si algo es mamfero, por lo que es murcilago." Lo contrario es, de hecho, la
contrapositiva de la inversa, por lo tanto, siempre posee el mismo valor-verdad de
inversa, por lo tanto, no es necesariamente el mismo que el de la proposicin original.

Negacin: (P Q).

"Existe un murcilago que no es mamfero." Si la negacin es verdadera, la proposicin

original (y, consecuentemente, la contrapositiva) es falsa. En el ejemplo mostrado, la
negacin es claramente falsa.

TAREA 2: PROBLEMAS DE APLICACIN I

Solucionar el siguiente enunciado 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

Desde muy joven empec a trabajar para poder buscar tener una buena calidad de vida,
pero siempre me fue complicado poder ingresar a hacer mis estudios superiores; hoy en
da afortunadamente la UNAD ofrece una excelente oportunidad de formacin
acadmica para quienes tenemos una vida laboral muy densa, pues la virtualidad,
aunque demanda de disciplina y adecuados hbitos de estudio, nos permite contar con
las 24 horas del da, los siete das de la semana para ingresar a realizar las actividades
segn las fechas lmites establecidas; esto es algo que me ha alegrado mucho y le hice el
siguiente comentario a mis amigos, para que se motiven e ingresen a estudiar en la
UNAD: He ingresado a estudiar administracin de empresas y lograr materializar mi
proyecto de vida. Si he ingresado a estudiar en la UNAD Administracin de empresas,
entonces conseguir un mejor estatus laboral. Por lo tanto, conseguir un mejor estatus
laboral y lograr materializar mi proyecto de vida.
 USO DE LAS REGLAS DE INFERENCIA

SOLUCIN:

Declaracin de las proposiciones simples:

P: He ingresado a estudiar administracin de empresas

Q: lograr materializar mi proyecto de vida

R: conseguir un mejor estatus laboral

Declaracin de las premisas y conclusin:

Premisa 1:

Premisa 2:

Conclusin:

Por regla de simplificacin, simplifico a (1) para obtener (3):

(3)

Premisa 3: P

Aplico la regla Modus Ponendo Ponens MPP a (2) y (3) para obtener (4)

( )
( )

Premisa 4: R

Por regla de simplificacin, simplifico a (1) para obtener (5):

(5)

 Premisa 5: Q

Aplico la ley de la conjuncin a (4) y (5) para obtener (6)

( )
( )

Premisa 6:

Vemos que aplicando las reglas de inferencias a nuestras premisas llegamos a la

conclusin.

USO DE LA TABLA DE VERDAD

(P (R
P Q R (P Q) [(P Q) (P R)] [(P Q) (P R)] (R Q)
R) Q)
V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F F F F V
F V V F V F V V
F V F F V F F V
F F V F V F F V
F F F F V F F V

USO DEL SIMULADOR TRUTH TABLE

 TAREA 3: PROBLEMAS DE APLICACIN II

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.

[[() ()][( )] ()]

USO DEL SIMULADOR TRUTH TABLE

 USO DE LA TABLA DE VERDAD

Tenemos 5 proposiciones, lo cual nos indica que le nmero de combinaciones es de 32.

[(P -> Q) [(Q -> S) -> T] [[(P -> Q) (R -> S)] [(Q -> S) -> T] [[(P -> Q) (R -> S)]
P Q R S T (P -> Q) (R -> S) (Q -> S) (Q -> S) -> T (P R)
(R -> S)] (P R) (P R)] [(Q -> S) -> T] (P R) ] -> T

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

REGLAS DE INFERENCIA LOGICA

[[(P Q) (R S)] [(Q S) T] (P R)] T

Determinamos las premisas

P1 = [(PQ) (RS)]
P2 = [(Q S) T]
P3 = (P R)
C=T

Aplicamos la ley de la simplificacin en la premisa 3, (P R) para obtener la premisa 4.

(P R)
P4 =
P4 = R

Aplicamos la ley de la simplificacin en la premisa 1, [(PQ) (RS)] para obtener la premisa 5.

 [(PQ) (RS)]
P5 = P5 = (R S)
(RS)

Aplico la regla Modus Ponendo Ponens en las premisas 4 y 5, para obtener la premisa 6.

(R S)
6 = P6 = S

Aplicamos la ley de la simplificacin en la premisa 3, (P R) para obtener la premisa 7.

(P R)
P7 = P7 = P

Aplicamos la ley de la simplificacin de la premisa 1, [(PQ) (RS)] para obtener

la premisa 8

[(PQ) (RS)]
P8 = P8 = (P Q)
(PQ)

Aplico la regla Modus Ponendo Ponens en las premisas 7 y 8, para obtener la premisa 9.

(P Q)
9 = P9 = Q

Aplico la conjuncin en las premisas 6 y 9

P9 = (Q S)

Aplicamos Modus Ponendo Ponens en las premisas 2 y 9, para obtener la premisa 10.

(Q S) T)
10 = (Q S) P10 = T

Vemos que aplicando las reglas de inferencias a nuestras premisas llegamos a la

conclusin.
 TAREA 4: RAZONAMIENTO DEDUCTIVO E INDUCTIVO

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

argumentado la respuesta con sus propias palabras.

Se sabe que en Bogot casi todos los fanticos del ftbol, son hinchas de Millonarios,
Santa f o Nacional, pero no todos. Cierto da me encuentro con una persona en Bogot,
amante del ftbol y prejuzgo, que probablemente, con base en los conocimientos
anteriores, esta persona es hincha de Nacional.

El razonamiento es inductivo.

Podramos concluir que la persona es hincha de Nacional, pero, que la mayora sean de
nacional, no quiere decir que lo sean todos. De este modo, tambin podramos concluir
que es Millonarios o Santa fe, yendo ms all de las premisas. No hay certeza absoluta,
hay, simplemente, probabilidad. En el razonamiento deductivo, la certeza es del 100%,
pero no en el inductivo. En el razonamiento inductivo, se va ms all de las premisas.
 CONCLUSIONES

La realizacin de este trabajo me permite poner en practica y reforzar los conocimientos

adquiridos en la unidad.
As como adquirir habilidades que me permiten mayores destrezas objetivas en la
temtica de la unidad, como concepto bsico de los diferentes tipos de conjuntos y
proposiciones, razonamiento logico e inferencia logica, inductivo y deductivo, asi como
sobre las reglas de inferencia logica y sus aplicaciones.
Igualmente nos sirven para elaborar modelos matematicos muy usados en la ingeniera,
estadistica, clculos, etc. Cmo en los dems campos del saber humano.
Por ltimo son infintas sus aplicaciones en las ramas del conocimiento.
 REFERENCIAS BIBLIOGRAFICAS

Contraposicin lgica. (03.03.2017). Es.wikipedia.org. Recuperado de:

https://es.wikipedia.org/wiki/Contraposicin_lgica

Exportacin lgica. (26.03.2017). Es.wikipedia.org. Recuperado de:

https://es.wikipedia.org/wiki/Exportacin(lgica)

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. : Larousse

- Grupo Editorial Patria. Pginas 19 - 29. Recuperado de:
http://hdl.handle.net/10596/6551

Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria. Pginas

151- 162. Recuperado de: http://hdl.handle.net/10596/6552

Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la
educacin media. Bogot, CO: Educar Editores S.A. Pginas 151 -162 Recuperado de:
http://hdl.handle.net/10596/6541