26/8/2015

ReglasdeInferencia

Abre una cuenta Facebook

Comuncate con tus amigos y familia Es gratis y lo ser siempre.

Matemticas Discretas

ndice

ndice............................................................................... 2
Lgica Inductiva y Deductiva..................................... 4
Lgica Deductiva................................................... 4
Deduccin...................................................... 4

Lgica Inductiva.................................................... 4
Induccin Completa...................................... 5
Induccin Incompleta Cientfica.............. 5

Mtodos Inductivos.............................................. 5
Tabla de Presencia....................................... 5
Tabla de Ausencia........................................ 6
Tabla de Grados............................................ 6

Hiptesis......................................................................... 6
Teorema.......................................................................... 6
Reglas de Inferencia.................................................... 6
Inferencia............................................................... 6
Reglas de Inferencia............................................ 7
Reglas de Adicin.......................................... 8
Reglas de Simplificacin.............................. 8
Reglas de Silogismo Disyuntivo................... 8
Reglas de Silogismo Hipottico................... 9
Reglas de Conjuncin.................................... 9
Reglas de Ponendo Ponens............................ 9

Mtodos de Demostracin.......................................... 9
Demostracin por el Mtodo Directo................ 10
Demostracin por Contradiccin......................... 11
http://mayascencio.mx.tripod.com/apuntmac.htm

1/6

26/8/2015

ReglasdeInferencia

Bibliografa..................................................................... 13

Lgica Inductiva y Lgica Deductiva

I.Lgica Deductiva.

Desde Aristteles se ha dado especial relevancia a la Lgica Deductiva, y en algunos casos se ha llegado a identificar razonamiento
con deduccin, como si no hubiera ms tipos de razonamiento.

Deduccin
Es un razonamiento que va de lo general a lo menos general. Tambin podemos definir a la deduccin como la inferencia inmediata
que parte de dos o ms juicios llamados premisas, para obtener otro juicio llamado conclusin.
En la deduccin se infiere con absoluta necesidad la conclusin de las premisas. Si la forma es correcta y las premisas son
verdaderas, la conclusin ser verdadera y el razonamiento ser vlido. El razonamiento deductivo es vlido si sigue las leyes del
pensamiento de lo contrario, es invlido. A la lgica le interesa la validez o invalidez de los razonamientos.
La deduccin es tambin un mtodo que se utiliza en todas las ciencias, particularmente en las Ciencias Formales.

II.Lgica Inductiva.

Segn Aristteles es el razonamiento que permite pasar de lo particular a lo universal su introduccin al mtodo cientfico,
Gutirrez Senz proporciona la siguiente definicin de induccin: Es el raciocinio en donde, a partir de la observacin de una relacin
constante entre fenmenos, se obtiene una relacin esencial, y por tanto, universal y necesaria entre dichos fenmenos. La induccin
puede ser completa o incompleta.

Induccin Completa
Va de todos los hechos particulares observados a su sntesis en una proposicin general.
a b c..... son (sujeto)
a b c..... son (predicado)
todos los S son P

El oro, el plomo, el hierro... son metales

Sobre esta clase de Induccin Completa Galileo
El oro, el plomo, el hierro... se dilatan con el calor opinaba que La induccin, si tuviera que pasar por
Todos los metales se dilatan con el calor
todos los particulares, sera imposible o intil

imposible, cuando los particulares fueran innumerables y cuando fuesen numerables, el considerarlos a todos hara intil o nula la
inferencia por medio de la induccin.

Induccin Incompleta o Cientfica

Es aquella que va de varios hechos particulares a una proposicin general o universal.
La induccin incompleta se llama tambin Baconiana en honor a Sir Francis Bacon, quin expuso sus principios con toda claridad.
Este pensador ingls propuso un Nuevo Organon(Novum Organum) que sustituyera al de Aristteles y sirviera de fundamento a la
ciencia. Bacon sostena que la verdad se fundaba en el silogismo sino en la observacin y el mtodo inductivo.

III.Mtodos Inductivos.
El primero que ide un mtodo inductivo fue Francis Bacon. Este mtodo se conoce, precisamente, con el nombre de Tablas de
Bacon.

Tabla de Presencia
Sobre una naturaleza determinada deben comparecer ante el entendimiento todas las caractersticas que se den en dicha
naturaleza, incluyendo las materias opuestas.

Tabla de Ausencia
http://mayascencio.mx.tripod.com/apuntmac.htm

2/6

26/8/2015

ReglasdeInferencia

Deben comparecer ante el entendimiento las caractersticas que no se realicen.

Tabla de Grados
Deben comparecer ante el entendimiento las caractersticas que se dan ms o menos veces, sea haciendo una comparacin de
aumento y disminucin en el mismo sujeto, o comparando varios sujetos entre si(Novum Organum, P II, XI, XII, XIII).

IV.Hiptesis.

Este trmino proviene del griego: tesis = poner, hipo = debajo. Es decir, la hiptesis es un supuesto, una explicacin provisional de
algn hecho o fenmeno. Para hacer una induccin la hiptesis debe ser comprobada mediante la experiencia. Si las premisas estn
justificadas y el argumento es valido inductivamente, la hiptesis esta justificada.

V.Teorema.

Proposicin que se obtiene a partir de axiomas y que afirma una verdad que se puede demostrar racionalmente.

VI.Reglas de Inferencia.

1.Inferencia.
Es deducir, y deducir es obtener conclusiones a partir de unas premisas. El clculo inferencial tiene como finalidad facilitar el
anlisis de argumentos mediante el lenguaje simblico y las Reglas de la Inferencia.

2. Reglas de Inferencia
Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende
solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos
argumentos se les llaman reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una
demostracin.

Ejemplo:
Es valido el siguiente argumento?.
Si usted invierte en el mercado de valores, entonces se har rico.
Si se hace usted rico, entonces ser feliz.
Si usted invierte en el mercado de valores, entonces ser feliz.

Sea:
p: Usted invierte en el mercado de valores.
q: Se har rico.
r: Ser feliz

De tal manera que el enunciado anterior se puede representar con notacin lgica de la siguiente manera:
pq
qr
pr

A continuacin se cita una lista de las principales reglas de inferencia que se pueden aplicar en una demostracin.

http://mayascencio.mx.tripod.com/apuntmac.htm

3/6

26/8/2015

ReglasdeInferencia

a)Reglas de Adicin:
Con cualquier premisa o conclusin podemos formular una conclusin disyuntiva en la que uno de sus miembros sea esa premisa o
conclusin.
p
pwq

b)Reglas de Simplificacin:
Las premisa o conclusiones conjuntivas pueden simplificarse en cualquiera de sus miembros.
pwq
p

c)Reglas de Silogismo Disyuntivo:

Siempre que se de una disyuncin y dos enunciados condicionales cuyos antecedentes sean cada uno un miembro distinto de esa
disyuncin, se puede concluir con la disyuncin de los consecuentes de los enunciados condicionales
pwq
p
p

d)Reglas de Silogismo Hipottico:

Siempre que se den dos condicionales, siendo el consecuente del primero el antecedente del segundo, se puede concluir con un
condicional cuyo antecedente del primer condicional y cuyo consecuente sea el consecuente del segundo condicional.
pq
qr
pr

e)Reglas de Conjuncin:
Toda premisa o conclusin puede ser enlazada por una conjuncin.
p
q
pvr

f)Reglas de Ponendo Ponens:

En una proposicin condicional, siempre que se afirme (Poniendo) el antecedente, podemos afirmar (Ponens) el consecuente.
pq
p

VII.Mtodos de demostracin.
Toda demostracin debe comenzar con las hiptesis, seguidas de las tautologas y reglas de inferencia necesarias, hasta llegar a la
conclusin.
Se aplica el procedimiento general para demostracin de enunciados vlidos. A continuacin se demuestra el teorema respaldando
cada uno de sus pasos en tautologas o reglas de inferencia ya conocidas.

http://mayascencio.mx.tripod.com/apuntmac.htm

4/6

26/8/2015

ReglasdeInferencia

1.(pq)rHiptesis
2.rsHiptesis
3.q(qp)Adicintautologa10
4.q(pq)3leyconmutativa,regla2
5.qr4,1silogismohipottico,regla22
6.qs5,2regla22
7.s'q'6contrapositiva,regla7.
El enunciado es vlido aunque la conclusin puede ser falsa o verdadera.

1.Demostracin por el Mtodo Directo.

Supngasequepqesunatautologa,endondepyqpuedenserproposicionescompuestas,enlasqueintervengancualquiernmerode
variablespropositivas,sedicequeqsedesprendelgicamentedep.Supngaseunaimplicacindelaforma.
(p1 p2 ....... pn) q
Es una tautologa. Entonces est implicacin es verdadera sin importar los valores de verdad de cualquiera de sus componentes. En
este caso, se dice que q se desprende lgicamente de p1, p2,......, pn. Se escribe.
p1
p2
M
pn
q
Realmente el camino que se debe seguir para llevar a cabo una demostracin formal usando el mtodo directo. Significa que s se
sabe que p1 es verdadera, p2 es verdadera,...... y pn tambin es verdadera, entonces se sabe que q es verdadera.
Prcticamente todos los teoremas matemticos estn compuestos por implicaciones de este tipo.
(p1 p2 ....... pn) q
Donde la pi son llamadas hiptesis o premisas, y q es llamada conclusin. Demostrar el teorema, es demostrar que la implicacin
es una tautologa. Note que no estamos tratando de demostrar que q (la conclusin) es verdadera, sino solamente que q es verdadera
si todas las pi son verdaderas.

2.Demostracin por Contradiccin.

El procedimiento de la demostracin por contradiccin es semejante a la que se realiz por el mtodo directo con la diferencia de
que las lneas iniciales de dicha demostracin no son nicamente las hiptesis, sino adems se incluye en la demostracin una lnea con
la negacin de la conclusin. Por otro lado el objetivo de la demostracin es llegar a una contradiccin.
La demostracin del siguiente teorema por el mtodo de contradiccin es como se indica
p (p r) (q s) t (p s) t

Demostracin

1.p(pr)Hiptesis
2.(qs)tHiptesis
3.psHiptesis
4.tNegacindelaconclusin
5.(qs)2,4Modustollens,regla25
6.qs5LeydeMorgan,6
7.q6Simplificacin,regla20
8.sq6Leyconmutativa,2b
9.s8Simplificacin,regla20
10.sp3Leyconmutativa,2
11.p10,9Silogismodisyuntivo,regla21
12.qr11,1Modusponens,regla24
13.q12Simplificacin,regla29
14.qq13,7Conjuncin,regla23
15.Contradiccin.
http://mayascencio.mx.tripod.com/apuntmac.htm

5/6

26/8/2015

ReglasdeInferencia

Bibliografa.

Libro

Autor

Editorial

Estructuras de Matemticas
Discretas

Bernard Kolman,
Robert C. Bisby,
Sharon Ross

Prentice Hall

Elements of Discrete
Mathematics

C.L.Liu

Mc graw Hill

Matemticas Discreta y
Combinatoria

Ralph P. Grimaldi

Addiso Wesley

Matemticas Discretas con

aplicacin a las ciencias de la
computacin

Jean Paul Tremblay,

Ram Manohar

CECSA

Matemticas Discretas

Kenneth A. Ross,
Charles R.B. Wright

Prentice Hall

Matemtica Discreta y Lgica

Winfried Karl, Jean

Paul Tremblay

Prentice Hall

Matemticas Discretas

Richard
Johnsonbaugh

Gpo. Editorial
Iberoamerica

Lgica, testo y cuaderno de

trabajo

Jos W. Wiechers
Rivero

Humanismo y
Sentido

http://mayascencio.mx.tripod.com/apuntmac.htm

6/6