MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

PRESENTADO POR:
ANYY LORENA RUEDA PARRA

TUTOR:
EDGARDO ALEXANDER ESCORCIA

CURSO:
LGICA MATEMTICA 90004A_291

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA DE ADMINISTRACIN DE EMPRESAS
NOVIEMBRE DE 2016

INTRODUCCION

Los mtodos para probar la validez de argumentos dependen de la relacin lgica que haya
Segn sea la dependencia entre ellos, cabe hablar de razonamientos vlidos o invlidos, correctos
o incorrectos, bien construidos o mal construidos, sabemos que un argumento es vlido cuando
tiene lgica y sentido, para saber si un argumento es vlido o invalido se basa en el hecho de que
sus caractersticas sean propias del mismo.

OBJETIVOS

OBJETIVO GENERAL
Poner en prctica los conocimientos adquiridos a travs de las investigaciones y trabajos
realizados hasta el momento

OBJETIVOS ESPECIFICOS

Estudiar los conceptos sobre validez de argumentos

Analizar la Simplificacin, Adicin y Silogismo Disyuntivo
Desarrollar los puntos escogidos

TAREA 1: APLICACIN DE LAS REGLAS DE INFERENCIA

Simplificacin, Adicin y Silogismo Disyuntivo

Simplificacin
Norma que se aplica a proposiciones unidas con "&. Como ambas premisas son verdaderas
por tanto la conclusin tambin lo ser es por ello que esta norma nos permite pasar de una
conjuncin a cada una de las proposiciones.
Ejemplo:
Una familia es un conjunto de personas que pretenden un sentimiento mutuo y el amor es un
sentimiento mutuo.
P: Una familia es un conjunto de personas que pretenden un sentimiento mutuo
Q: el amor es un sentimiento mutuo.
P&Q
S

P&Q
Q

En la primera conclusin que una familia es una sociedad de individuos que pretenden un
sentimiento mutuo, y en la segunda que el amor es un sentimiento mutuo.
Adicin
Dado un enunciado cualquiera acompaado por cualquier otro enunciado la disyuncin de
aquella proposicin ha de ser tambin cierta
Ejemplo:

S: he comido naranjas
S V B: he comido naranjas o he comido mandarinas
S
SVB
Este cuaderno es verde
M: este cuaderno es verde
M

MVT

MVP

CursoMatemticasDiscretas.Sites.google.com.Recuperado de:
https://sites.google.com/site/cursomatematicasdiscretas/home
Silogismo Disyuntivo
Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces
necesariamente la otra proposicin ser verdadera
Ejemplo:
Premisa 1: o gano Colombia o gano Argentina
Premisa 2: gano Argentina
Conclusin: entonces no gano Colombia

Simblicamente
P: gano Colombia
Q: gano Argentina
Premisa 1: P V Q
Premisa 2: ~P
Conclusin: P
Leccin 22: leyes de inferencia. Datateca.unad.edu.co. Recuperado de:
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_22_leyes_de_inferenci
a.html

TAREA 2: PROBLEMAS DE APLICACIN 1

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.
En un evento sobre investigaciones de vida extraterrestre, un conferencista hace una
intervencin manifestando la importancia de los medios de comunicacin, para la socializacin
de investigaciones realizadas por las instituciones dedicadas a ello, por eso realiza la siguiente

afirmacin: Si hay vida extraterrestre en el universo, la prensa lo informara. Si los humanos no

estamos solos, hay vida extraterrestre en el universo. La prensa lo informara o estn
escondiendo la informacin a la humanidad. Por lo tanto, si la prensa no lo informado, estn
escondiendo la informacin a la humanidad
P = Si hay vida extraterrestre en el universo
Q = la prensa lo informara
R = Si los humanos no estamos solos
S = hay vida extraterrestre en el universo
(pq) ( pr) & ( pr) (rs)
P

(pq) ( pr) & ( pr) (rs)

q r
s
(pq) ( pr)

V
V
V

V
V
V

V
V
F

V
F
V

V
V
V
V
V
F
F
F
F

V
F
F
F
F
V
V
V
V

F
V
V
F
F
V
V
F
F

F
V
F
V
F
V
F
V
F

( pr
)

(rs)

( pr)

( pr)

(rs)

(pq)

(pq)
( pr) &
( pr)
(rs)

V
V

V
V

F
V

V
V

F
V

V
V

V
V
F
F
F
F
V
V
V

F
F
V
V
F
F
V
V
V

V
V
V
V
V
V
V
F
V

V
F
F
V
V
F
F
V
V

F
F
F
F
F
F
V
V
V

V
F
F
V
V
F
F
F
V

V
F
F
V
V
F
V
V
V

V
V

V
V

V
F

V
F

V
V

V
V

V
V

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.

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

Tabla de verdad

Uso de las reglas de inferencia.

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

Modus Ponens
Por el cual la regla es cuando P Q y P aparecen por s mismos en una misma
lnea, Q puede ser escrito vlidamente en una lnea subsiguiente.
.
Un ejemplo de modus ponens es:
p q: Si est lloviendo, te espero dentro de la casa
r s: Est lloviendo.
qs: Por lo tanto, te espero dentro de la casa.

TAREA 4: RAZONAMIENTO DEDUCTIVO E INDUCTIVO

Cada estudiante del grupo colaborativo debe plantear una situacin, donde se evidencie un
razonamiento deductivo y otra situacin para el razonamiento inductivo, argumentando con sus
propias palabras el argumento planteado.
Razonamiento deductivo
Cuando se razona deductivamente, utilizamos datos conocidos para obtener conclusiones
lgicas que sabemos son verdaderas.
Se conoce como razonamiento deductivo, a la actividad de la mente que permite inferir
necesariamente una conclusin partiendo de una serie de premisas. Esto quiere decir que,

partiendo

de

lo

general,

se

llega

lo

particular.

Ejemplo:
Premisa mayor: todos los sbados Andrs hace ejercicio
Premisa menor: hoy es sbado
Conclusin: hoy Andrs saldr hacer ejercicio
En la premisa mayor podemos ver la afirmacin de que todos los elementos especificados
como " todos los sbados" tienen la propiedad " Andrs hace ejercicio". La premisa menor nos
asegura que " hoy es sbado" integrante del conjunto " todos los sbados

entonces la

conclusin nos asegura que " hoy Andrs saldr hacer ejercicio"
Razonamiento inductivo
El razonamiento inductivo es aquel que parte de los casos particulares para expresar un
concepto, definicin, donde se pasa de algo particular a lo general, partiendo de los efectos a las
causas.
Es el mtodo ms usual el cual se basa en observacin, clasificacin y estudio de los hechos,
el cual permite llegar a una generalizacin y la conclusin
Ejemplo:
Premisa1: Diana sale a broncearse sin aplicarse bloqueador y se quema
Premisa 2: Andrs sale a broncearse sin aplicarse bloqueador y se quema
Premisa 3: Oscar sale a broncearse sin aplicarse bloqueador y se quema
Conclusin: si sales a broncearte sin bloqueador te quemaras

CONCLUSIONES

El presente ensayo pretende dar a entender que son las reglas de inferencia, el uso de las

tablas de verdad, el razonamiento inductivo y el deductivo, etc.

Permite conocer los aspectos principales de como establecer proposiciones y comprobar
su validez.

BIBLIOGRAFIA

https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion
http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-q-modus.html
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_22_leyes_de_infere
ncia.html
http://definicion.de/razonamiento-deductivo/