UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Lgica Matemtica

LOGICA MATEMATICA

APORTE TRABAJO COLABORATIVO PASO 4 METODOS PARA PROBAR

LA VALIDEZ DE ARGUMENTOS

DAVID RICARDO TAFUR ABREU

CODIGO 80.858.327

GRUPO: 90004A _ 291

Tutora:

Patricia Leguizamn

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ADMINISTRACION DE EMPRESAS

BOGOTA - NOVIEMBRE 2016

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Lgica Matemtica

Paso 4 Mtodos para probar la validez de argumentos

Tarea 1: Aplicacin de las reglas de inferencia.

Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos

Hipottico

Ejemplo

Cmo interpretar esta ley?, observa el siguiente ejemplo:

Daniel escucha la siguiente afirmacin Si llueve hace fro

En la siguiente escena, Daniel observa llover, es decir llueve

Qu puede concluir Daniel? Que har fro, es decir hace fro

Para obtener tan obvia conclusin, Daniel ha utilizado la ms comn de las

inferencias lgicas, la cual denominaremos MPP Modus Ponendo Ponens.

En este ejemplo, las proposiciones simples son:

p = llueve

q = hace fro

Ejemplo 1

Las proposiciones as declaradas, nos permiten expresar en lenguaje natural lo

expresado en lenguaje simblico as:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Lgica Matemtica
p q que equivale a: Si llueve hace fro

As que nuestro ejemplo puede ser representado en el lenguaje simblico de la

siguiente manera:

p q Se lee: si p entonces q

p Se lee: ocurre p

... q Se lee: de donde q

El smbolo ... (de donde) representa la conclusin de las premisas dadas; es

decir que la conclusin, en este caso, es la proposicin q

Modus Tollendo Tollens (MTT)

p q Se lee: si p entonces q

~ q Se lee: ocurre ~q

... ~ p Se lee: de donde ~p

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

consecuente es falso, entonces su antecedente ser necesariamente falso;
simblicamente se expresa as:

[(p q) ~q] ~p

Ejemplo 2

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.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Lgica Matemtica
q: La suma de los otros dos ngulos es menor de 90.

Premisa 1: p q

Premisa 2: ~ q

Conclusin: ~ p

Silogismo Hipottico (S: H)

p q Se lee: si p entonces q

q r Se lee: si q entonces r

... p r Se lee: de donde

Si p entonces r

Es un argumento que se expresa simblicamente as:

[( p q ) (q r )] ( p 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:

Sean las proposiciones p: El agua se hiela

q: Sus molculas forman cristales

r: El agua aumenta de volumen

Premisa 1. p q
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Lgica Matemtica
Premisa 2. q r

Conclusin. p r

Modus Tollendo Ponens (MTP)

pq

~p

... q

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:

[( p V q ) ~p] ~ q o [( p V q ) ~q] p

Ejemplo 1

Premisa 1: O la energa interna de un tomo puede cambiar con continuidad

o cambia slo a saltos.

Premisa 2: La energa interna de un tomo no puede cambiar con continuidad

Conclusin: La energa interna de un tomo cambia slo a saltos.

Simblicamente:

p: La energa de un tomo puede cambiar con continuidad

q: La energa de un tomo slo cambia a saltos

Premisa 1: p v q

Premisa 2: ~p

Conclusin: p
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Lgica Matemtica
Dilema constructivo (D.C)

( p q) (r s )

pVr

... q V s

Absorcin (Abs)

pq

... p (q p)

Simplificacin (Simp.)

p q

... p

Conjuncin (Conj)

... p q

Adicin (Ad.)

... p V q