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

B. Modus Tolendo Ponens, Doble Negacin y Adjuncin

MODUS TOLENDO PONENS:

Esta ley se enuncia as:

Si una disyuncin es verdadera y una de sus proposiciones simples es falsa,

entonces necesariamente la otra proposicin ser verdadera.

Simblicamente se escribe as:

{( ) } {( ) }

Ejemplo:

Si el agua hierve, entonces soltara vapor.

No suelta vapor.
Por lo tanto, no est hirviendo el agua.

DOBLE NEGACION:

Demostraremos que las proposiciones p y la proposicin (p) son lgicamente

equivalentes. Para lograrlo construiremos la tabla de verdad de la proposicin
p (p)

P p (p) p (p)
V F V V
F V F V
Ejemplo:

p: el acusado es inocente
luego:
p: es culpable
p: el acusado no es culpable
__________________________
p= p
Por lo tanto

ADJUNCION
Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjuncin, podemos unirlos en una sola premisa utilizando el
operador (conjuncin).

p Juan es cocinero

q Pedro es polica

___________________________________

p q Juan es cocinero y Pedro es polica

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.
 a. El paciente tuvo su cita anual con el gastroenterlogo, muy
preocupado le realiz la consulta sobre su alimentacin, as que
le describi lo siguiente: Si como frijoles y como lentejas,
entonces tendr dolor de estmago. No es cierto que si como
lentejas, me duela el estmago. Como carne o como frijoles. Si
como carne, obtengo protenas. Por lo tanto, obtengo
protenas.

P: Como Frijoles
q: Como Lentejas
r: Dolor de estomago
S: Come carne
t: Obtengo protenas

Prueba formal de la validez:

1. ( p q ) r
2. q r
3. s V p
4. s t

Aplicacin Leyes de Inferencia

[( ) ] [ ( )] [( )] ( ) ley de exportacin
( ) [ ( )] [( )] ( ) Modus Tollendo Tollens
[( )] ( ) Silogismo Disyuntivo
( ) Modus Ponendo Ponens

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

1. ( )
2. ( )
3. ( )
4. ( )

Si es estudiante de la facultad de administracin en la UNAD entonces es del

programa de administracin de empresa o del programa de economa. Si su
enfoque profesional es la relacin social entre la distribucin y consumo de bienes
entonces no es del programa de administracin de empresa. Si su enfoque es
hacia la gestin de las empresas entonces no es del programa de economa. Si es
estudiante de la facultad de administracin y si su enfoque es hacia la gestin de
las empresas por lo tanto es del programa de administracin de empresas

E. {[ ( )] ( ) ( ) ( )} ley asociativa

[ ( ) ] ( ) (( ) ) ley asociativa y Modus Ponendo ponens

(( ) ) ( ) Silogismo Disyuntivo
( ) ley contra positiva
( ( )) ley de absorcin
( ) ley de simplificacin

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

C. Se ha soltado desde la azotea del edificio donde vivo una hoja

tamao oficio, otra hoja de papel hecha bola, un limn y un
tomate con un peso de 4 Kg. Mientras tanto un observador en
el piso midi el momento de llegada de los tres objetos. El
resultado de la observacin es que la hoja tamao oficio le
afect la resistencia del aire, en tanto que los otros tres objetos
llegaron al mismo tiempo al suelo, independientemente de su
 peso. Por lo tanto, la gravedad afecta igualmente a todos los
objetos, independientemente de su peso.

El razonamiento es deductivo: Es una forma de pensamiento lgico que usa

generalizaciones para obtener conclusiones especficas basadas en una serie
de pasos lgicos, el razonamiento deductivo puede usar reglas, leyes o teoras
para apoyar o justificar una conjetura.

Conclusin: la gravedad afecta igualmente a todos los objetos,

independientemente de su peso. Por lo tanto para llegar esta conclusin se fue
de lo general a lo especfico donde la gravedad juega un papel muy importante
en los objetos independientemente de su peso.