LGICA MATEMATICA

Trabajo individual
Fase 4
Mtodos para probar validez en argumentos

Presentado por:
DIANA MARCELA BECERRA GMEZ
Cd.: 1.098.652.490

Tutor:
JHON JAIME AMAYA DURAN

Universidad Nacional Abierta y a distancia- UNAD

CEAD- Bucaramanga
Administracin de Empresas
Bucaramanga Santander
Noviembre 2017
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.

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

MODUS PONENDO PONENS

[ (p q ) p ]q

Esta regla de inferencia se interpreta como el Modo que, al afirma, afirma

donde se lee de la siguiente forma:

pq Si p entonces q

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

q Entonces q (en conclusin q)

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

Ejemplo 1:
[ ( p q ) p ]q

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: p q
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: p q
Premisa 2: p +
Conclusin: q
Bibliografa

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

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

b. MODUS TOLLENDO TOLLENS

[ ( p q ) q] p

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: "el
modo que, al negar, afirma"
p q Si p entonces q
q y no q (y no se da q y ocurre p)
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 .

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: p q
Premisa 2: q
Conclusin: p

Ejemplo 2:

Deducir una conclusin del siguiente conjunto de premisas.

Premisa 1: q r
Premisa 2: ( r )
Conclusin: q

Bibliografa

PERILLA, Sandra (2010) Sobre Lgica Matemtica. Universidad Santo Tomas

Bogot.

c. SILOGISMO HIPOTTICO

[ ( p q)( q r) ] ( p r)

El silogismo hipottico es una forma de argumento vlido que consiste en un

silogismo con una sentencia condicional para una o ambas de sus premisas.
En la lgica proposicional, el silogismo hipottico es una regla de inferencia vlida
(llamado tambin argumento cadena, regla de cadena, o el principio de
transitividad de la implicacin, y a veces abreviado SH).
Esta inferencia se expresa de la siguiente forma:
p q Si p entonces q
q r Si q entonces r
p r de donde si p entonces r

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: p q

Premisa 2: q r
Conclusin: p r

Tarea 2:

Problemas de aplicacin.

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.