TRABAJO COLABORATIVO FASE 4 UNIDAD 2

MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

Presentado por:
LUIS YEHIZON ORTIZ VARGAS
CDIGO 1075252977

Grupo: 90004A_363

Presentado a:
Tutor
JUAN MANUEL CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Administrativas, Contables,
Econmicas y de Negocios
Lgica Matemtica
Neiva, Huila
2017-2
Actividad a desarrollar
Tarea 1: Conceptualizacin de las reglas de inferencia.
Socializar en el Foro diseado para el desarrollo de la actividad la conceptualizacin y dos
ejemplos especficos (En caso de ser extrado por alguna fuente bibliogrfica, se debe citar
correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lgica.

(Solo selecciona un grupo de los 5 mostrados e informa en el foro cual escogi, para que no sea
escogido por otro integrante), las cuales son:

d. Simplificacin Disyuntiva, Absorcin y Ley de Morgan

Ley de Simplificacin Disyuntiva

Si disponemos de dos premisas que corresponden a dos implicaciones con el
mismoconsecuente, y sus antecedentes se corresponden con los dos miembros de unadisyuncin,
podemos concluir con el consecuente de ambas implicaciones
PvQ
PR
QR
.. R
Dos premisas que se corresponden en forma disyuntiva (v), dondeambas continan con una
implicacin donde el consecuente es elmismo. Podemos concluir con el consecuente de ambos.
Ej.:
Jessica sube a la rueda de la fortuna o a la montaa rusa
(R v O)
Jessica sube a la rueda de la fortuna, entonces se marea
(RM)
Jessica sube a la montaa rusa, entonces se marea
(OM)
Jessica se marea
(.. M)
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 disyuncin, podemos concluir
con el consecuente de ambas implicaciones.

p V q Helado de fresa o helado de vainilla

p r Si tomas helado de fresa, entonces repites

q r Si tomas helado de vainilla, entonces repites

Ley de de Morgan
Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (oinvertidas)
es igual al producto de las n variables negadas individualmente; y queinversamente, 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 negacin global de dos o ms premisas unidas, es equivalente a la
negacin de dichas premisas en forma individual y viceversa
Ej.:
La negacin de: Si Karen sale o Francisco compra un obsequio
(KvF)

Karen no sale y Francisco no compra el obsequio.

(K)^ (F)

Las reglas pueden ser expresadas en un lenguaje formal con dos proposiciones P y Q, de esta
forma:

Donde:
es el operador de negacin (NO)
Es el operador de conjuncin (Y)
Es el operador de disyuncin (O)
es un smbolo metalgico que significa "puede ser reemplazado en una prueba lgica"
La regla de la negacin de la conjuncin se puede escribir en la subsiguiente notacin:

La negacin de la regla de disyuncin se puede escribir como:

En forma de regla: negacin de la conjuncin

y negacin de la disyuncin

y se expresa como una tautologa verdad-funcional o teorema de lgica proposicional:

Donde ,y son proposiciones expresadas en algn sistema formal.

Ley de absorcin
Absorcin es una forma lgica de argumento vlido y una regla de inferencia de la lgica
proposicional.1 2 La regla establece que se implica , entonces implica y . La regla
hace posible introducir conjunciones en pruebas. Esto se llama ley de absorcin ya que el
trmino es "absorbido" por el trmino en la consecuencia.
Formalmente:

o sea: siempre que aparezca una instancia de " " en una lnea de alguna prueba, "
" se puede concluir en la lnea siguiente.
La regla de absorcin puede escribirse en la notacin subsiguiente:

donde es un smbolo metalgico significando

que es consecuencia sintctica de en algn sistema lgico;
y expresado como una tautologa o teorema de la lgica proposicional. El principio fue
establecido como un teorema de la lgica proposicional por Russell y Whitehead enPrincipia
mathematica como:

donde ,y son proposiciones expresadas en algn sistema lgico.

Tarea 2: Problemas de aplicacin I

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.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para que no sea
escogido por otro integrante)

D. 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.

:
:
:
:
:
Lenguaje simblico

{[(pq)(q(rVs))(st)(rs)]}p

Uso de la tabla de verdad

{[((p q) (q (r s)) (s t) (r s)]} p
{[((p q) (q (r s)) (s t) (r s)]} 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
 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.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para que no sea
escogido por otro integrante)

D. {[ ( )] ( ) ( ) ]} ( )

P: Yo realizo el trabajo de lgica a tiempo

Q: Yo obtendr buena nota
R: Mis compaeros no aportan al foro
S: Yo entrego el trabajo con mis compaeros
T: El profesor hace los aportes respectivos

Si yo realiza el trabajo de lgica a tiempo entonces obtendr buena nota o mis compaeros no
aportan al foro. Si yo entrego el trabajo con mis compaeros entonces no obtendr buena nota. Si
el profesor hace los aportes respectivos entonces mis compaeros aportan al foro. Yo realizo mi
trabajo a tiempo y el profesor hace los aportes respectivos.

Uso de la tabla de verdad

P Q R S T Q v () ~q ~r P^t 1 1q
r
V V V V V V V F F F F V F V
V V V V F V V F F F V F F V
V V V F V V V F V F F V F V
V V V F F V V F V F V F F V
V V F V V V V F V V V V V V
V V F V F V V F V V V F F V
V V F F V V V F V V V V V V
V V F F F V V F V V V F F V
V F V V V V V V V F F V F V
V F V V F V V V V F V F F V
V F V F V V V V V F F V F V
V F V F F V V V V F V F F V
V F F V V F F V V V V V F V
V F F V F F F V V V V F F V
V F F F V F F V V V V V F V
V F F F F F F V V V V F F V
F V V V V V V F F F F F F V
F V V V F V V F F F V F F V
F V V F V V V F V F F F F V
F V V F F V V F V F V F F V
F V F V V V V F F V V F F V
F V F V F V V F F V V F F V
F V F F V V V F V V V F F V
F V F F F V V F V V V F F V
F F V V V V V V V F F F F V
F F V V F V V V V F V F F V
F F V F V V V V V F F F F V
F F V F F V V V V F V F F V
F F F V V F V V V V V F F V
F F F V F F V V V V V F F V
F F F F V F V V V V V F F V
F F F F F F V V V V V F F V

1= {[()]()()()}

Uso de leyes de inferencia

1. ()
2.
3.
4. P^t
---------------
q
5. P simplificacin 4
6. T simplificacin 4
7. ~r Ponendo ponens entre 3 y 6
8. Qvr Ponendo ponens entre 5 y 1
9. Q Tolendo ponens

Uso del simulador Truth

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

(Solo selecciona uno de los 5 casos e informa en el foro cual escogi, para que no sea escogido
por otro integrante)

e. Premisa1: El estudio de los pacientes con niveles bajos de glucosa en la sangre, tienen
deficiencia de las funciones del pncreas.
Premisa2: Las personas sanas tienen niveles normales de azcar.
Conclusin: Las personas con deficiencias de las funciones del pncreas estn
enfermas y tienen deficiencia de glucosa en la sangre

Respuesta: es razonamiento deductivo porque la conclusin sigue necesariamente a las premisas,

siendo que las premisas son verdaderas; la conclusin solo puede ser verdadera.
 Bibliografa

Gutirrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado

de http://hdl.handle.net/10596/6543

OVI Unidad 2 Leyes de inferencia (Validacin de argumentos).

Este Objeto Virtual de Informacin (OVI) llamado " Leyes de inferencia (Validacin de
argumentos)", tiene como objetivo, ilustrar la aplicacin de las reglas de inferencia Modo
Ponendo Ponens, Adjuncin y simplificacin para probar la validez de un argumento. Este OVI
sirve como material de consulta para el desarrollo de las actividades de la Unidad 2 del curso y en
particular, Probar la validez de argumento mediante leyes de inferencia

Rodrguez, H. (2017). Leyes de inferencia (Validacin de argumentos). [Archivo de video].

Recuperado de: http://hdl.handle.net/10596/11486