Tarea 1: Aplicacin 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:

A. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipottico

MODUS PONENDO PONENS

[( ) ]

Esta regla de inferencia se interpreta como Modo Afimando Afirmando donde se lee de la
siguiente forma:

Si p entonces q

y p (y se da p y ocurre q)

Entonces q (en conclusin q)

De acuerdo a esto, se lee Si p entonces q y se ocurre p, luego ocurre p.

Ejemplos extrados del Modulo de Lgica Matemtica UNAD, Pagina 96.

Referencia Bibliogrfica

ACEVEDO G. G. , (2008) Capitulo 4 Deduccin. Modulo Lgica Matemtica UNAD ( Pag

92-96). Bogota

Ejemplo 1:
[( ) ]

- Premisa 1: Si Julin estudia Ingeniera de sistemas a distancia, entonces l estudia

en la UNAD.
- Premisa 2: Julin estudia Ingeniera de sistemas a distancia.
- Conclusin: Julin estudia en la UNAD.
Simblicamente el ejemplo 1 se expresa as:

Si p: Si Julin estudia Ingeniera de sistemas a distancia,

q: l estudia en la UNAD.

Se utiliza el lenguaje simblico definido as:

Premisa 1:

Premisa 2: p

Conclusin: q

Ejemplo 2:

Premisa 1: Si x + y = z entonces y + x = z

Premisa 2: x + y = z

Conclusin: y + x = z

Simblicamente: Si p: x + y = z

q: y + x = z

Entonces: Premisa 1 :

Premisa 2: p

Conclusin: q
MODUS TOLLENDO TOLLENS

[( ) ~] ~

Esta regla de inferencia indica que si una implicacin es verdadera y su consecuente es

falso, entonces su antecedente ser falso donde se lee de la siguiente forma:

Si p entonces q

~ y no q (y no se da q y ocurre p)

~ Entonces no p (en conclusin no p)

De acuerdo a esto, se lee Si p entonces q y no se ocurre q, luego no ocurre p.

Ejemplos extrados del Modulo de Lgica Matemtica UNAD, Pagina 97.

Referencia Bibliogrfica

ACEVEDO G. G. , (2008) Capitulo 4 Deduccin. Modulo Lgica Matemtica UNAD ( Pag

97). Bogota

Ejemplo 1: Deducir una conclusin del siguiente conjunto de premisas

Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros

dos ngulos es menor de 90.

Premisa 2: La suma de los otros dos ngulos no es menor de 90.

Conclusin: Un ngulo de un tringulo no es mayor de 90.

Simblicamente:

p: Un ngulo de un tringulo es mayor de 90

q: La suma de los otros dos ngulos es menor de 90.

Premisa 1:

Premisa 2: ~

Conclusin: ~

Ejemplo 2: Deducir una conclusin del siguiente conjunto de premisas.

Premisa 1: ~

Premisa 2: ~(~)

Conclusin: ~

SILOGISMO HIPOTTICO

[( ) ( )] ( )

Esta inferencia se expresa de la siguiente forma:

Si p entonces q

Si q entonces r

de donde si p entonces r
Ejemplos extrados del Modulo de Lgica Matemtica UNAD, Pagina 99.

Referencia Bibliogrfica

ACEVEDO G. G. , (2008) Capitulo 4 Deduccin. Modulo Lgica Matemtica UNAD ( Pag

99). Bogota

Ejemplo 1:

Premisa 1: Si el agua se hiela, entonces sus molculas forman cristales.

Premisa 2: Si las molculas forman cristales, entonces el agua aumenta de volumen.

Conclusin: Si el agua se hiela, entonces el agua aumenta de volumen.

Simblicamente:

p: El agua se hiela

q: Sus molculas forman cristales

r: El agua aumenta de volumen

Premisa 1:

Premisa 2:

Conclusin:

Ejemplo 2:

Premisa 1 :