unidad4 presentacion ii reglas de inferencia

7/25/2019 Unidad4 Presentacion II Reglas de Inferencia

1/22

Reglas de Inferencia

La inferencia es la forma en la queobtenemos conclusiones en base adatos y declaraciones establecidas.

Un argumento, por ejemplo es unainferencia, donde las premisas son losdatos o expresiones conocidas y de

ellas se desprende una conclusin. Una inferencia puede ser: Inductiva,

deductiva, transductiva y abductiva.


2/22


Inductivade lo particular a lo general!

"jemplo Un joven le dice a un amigo, tu todos los d#as

dices mentiras, y el contesta, no es cierto,ayer en todo el d#a no dije una sola mentira.

la inferencia inductiva es la ley generalque se obtiene de la observacin de uno o

m$s casos y no se puede asegurar que laconclusin sea verdadera en general.


3/22


Deductivade lo general a lo particular!

"jemplo se sabe que siempre que llueve %ay nubes, concluimos

que el d#a de %oy que est$ lloviendo %ay nubes.

"s deductiva cuando tenemos un caso que anali&atodos los posibles resultados y de acuerdo a laspremisas slo %ay una posible situacin, en estecaso decimos que la situacin 'nica es la

conclusin. "stamos seguros de que si laspremisas son verdaderas entonces la conclusintambi(n lo es.


4/22


La inferencia deductiva es la 'nicaaceptada como v$lida enmatem$ticas y computacin para%acer comprobaciones y sacarconclusiones.


5/22


Transductivade particular aparticular o de general a general!

"jemplo

Un maestro que llega tarde durantelos primeros d#as y concluimos que ellunes siguiente tambi(n llegar$ tarde

ser#a de particular a particular


6/22


Abductivaes semejante a la deductiva,tambi(n utili&a la estrategia de anali&artodas las posibilidades, pero en este caso

%ay varios casos que se pueden presentar. "jemplo

si se sabe que siempre que llueve %aynubes y se sabe que %ay nubes se puedeconcluir que llueve, pero no se tiene lacerte&a, es necesario conocer m$sinformacin para poder veri)car la valide&.


7/22

Reglas de Inferenciadeductiva

*odo +onendo +ones *++!

)rmar a)rmando

"jemplo -i tengo apendicitis, entonces me

deben extraer el ap(ndice y tengoapendicitis, entonces me debenextraer el ap(ndice


8/22


-i tengo apendicitis, entonces medeben extraer el ap(ndice p q

/engo apendicitis p

"ntonces me deben extraer elap(ndicep q

p

q


9/22


Identi)ca las premisas y laconclusin de

-i x 0 1, entonces x10 2, mediantela argumentacin *++


10/22

*odus /ollendo tollens*//!

3egar 3egando

-e niega el consecuente entonces seniega la conclusin

"jemplo

-i tengo apendicitis, entonces medeben extraer el ap(ndice y no medeben extraer el ap(ndice , entoncesno tengo apendicitis


11/22

*odus /ollendo tollens*//!

-i tengo apendicitis, entonces medeben extraer el ap(ndice p q

3o me deben extraer el ap(ndice 4q

"ntonces no tengo apendicitis 4 p

p 4 q

4 q

4 p


12/22

MODUS TOLLENDOPONENS (TP)

6uando podemos elegir cualquierade dos enunciados unidos por unadisyuncin, pero ambos no pueden

ser falsos. /+ signi)ca negando a)rmo.

"jemplo 7e ido al cine o me %e ido de compras,

no %e ido de compras por tanto, %e idoal cine


13/22

MODUS TOLLENDOPONENS (TP)

7e ido al cine o me %e ido decompras p 8 q

3o %e ido de compras 4q

+or tanto, %e ido al cine p

p 8 q

4qp


14/22

SILOGISMO HIPOTTICO(SH)

si una causa se sigue una consecuencia, y(sta consecuencia es a su ve& causa deuna segunda consecuencia, se puede decir

que esa primera causa es causa de esasegunda consecuencia.

"l patrn de ra&onamiento consta de dospremisas condicionales. La consecuencia

es otra proposicin condicional esta ley se le llama tambi(n la regla de la

cadena


15/22


"jemplo

-i dos rectas son perpendiculares,entonces se intersecan y si dosrectas se intersecan, entonces noson paralelas por lo que concluimosque si dos rectas son

perpendiculares, entonces no sonparalelas


16/22


-i dos rectas son perpendiculares,entonces se intersecan p q

si dos rectas se intersecan, entonces

no son paralelas q 4 r si dos rectas son perpendiculares,

entonces no son paralelas p 4 r

p qq 4 r

p 4 r


17/22

SILOGISMO DISUNTI!O(DS)

9adas tres premisas, dos de ellasimplicaciones, y la tercera unadisyuncin en la cual sus miembros

son los antecedentes de loscondicionales, podemos concluir enuna nueva premisa en forma de

disyuncin, cuyos miembros ser$nlos consecuentes de las dosimplicaciones.


18/22


"jemplo

-i llueve, entonces las calles semojan y -i la tierra tiembla, losedi)cios se caen, como Llueve o latierra tiembla, entonces Las calles semojan o los edi)cios se caen


19/22


-i llueve, entonces las calles se mojanp q

-i la tierra tiembla, los edi)cios se caen

r s Llueve o la tierra tiembla p 8 r

Las calles se mojan o los edi)cios se

caen q 8 sp q

r s

p 8 r


20/22

SIMPLI"ICACI#NDISUNTI!A (SD)

-i disponemos de dos premisas quecorresponden a dos implicacionescon el mismo consecuente, y sus

antecedentes se corresponden conlos dos miembros de una disyuncin,podemos concluir con el consecuente

de ambas implicaciones.


21/22


"jemplo

7elado de fresa o %elado de vainilla y-i tomas %elado de fresa, entoncesrepites o -i tomas %elado de fresa,entonces repites entonces repites


22/22


7elado de fresa o %elado de vainilla p 8 q

-i tomas %elado de fresa, entonces repites p r

-i tomas %elado de vainilla, entonces repites q r

Luego, repites r

p 8 q

p rq r

r

unidad4 presentacion ii reglas de inferencia

Documents