Lgica Deductiva y Silogismos

Mtodos de Inferencia

Deduccin:

Razonamiento lgico Las conclusiones se desprenden de las premisas Inferencia que pasa de lo especfico a lo general. Teora no comprobada. La respuesta solo aparece Los Sistemas Expertos no realizan este tipo de inferencia.

Induccin:

Intuicin:

Mtodos de Inferencia

Heurstica:

Reglas empricas basadas en la experiencia A menudo utilizado en la planeacin Razonamiento hacia atrs Va desde la conclusin a las premisas que la causaron Si no hay conocimiento especfico, toma conocimiento general.

Ensayo y error:

Abduccin:

Predeterminacin:

Mtodos de Inferencia

Autoepistemologa:

Conocimiento de si mismo Conocimiento previo puede ser incorrecto con nueva evidencia. Infiere una solucin comparndola con otra situacin. Combinacin de tipos No implementable aun en Sistemas Expertos.

No montono:

Analoga:

Sentido Comun:

Lgica Deductiva

Uno de los mtodos ms comunes para realizar inferencias. Un grupo de afirmaciones donde la ltima se justifica en base a las anteriores (premisas). La secuencia de premisas constituyen la cadena de razonamiento. Silogismo: razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusin.

Lgica Deductiva
Premisa: Cualquiera que pueda programar es inteligente Premisa: Juan puede programar Conclusin: Por lo tanto, Juan es Inteligente

Las premisas (antecedentes) se utilizan como evidencia para respaldar las conclusiones (consecuencia). La conclusin verdadera se obtiene de las premisas verdaderas.

Lgica Deductiva

Los silogismos se pueden representar mediante reglas: SI cualquiera que pueda programar es inteligente Y Juan puede programar ENTONCES Juan es inteligente

Lgica Deductiva

Silogismo Categrico:

Las premisas y conclusiones son de las siguientes cuatro formas:

Lgica Deductiva

P. Trmino Mayor S: Termino Menor M: Trmino Medio

Silogismo en Forma normal.

Lgica Deductiva

Las afirmaciones categricas:

A e I: Afirmativas en Calidad E y O: Negativas en Calidad

El verbo ser o estar se denomina cpula y conecta las dos partes de la afirmacin.

Lgica Deductiva

Cuantificador:

Decribe la porcin de la clase incluida. Todo y No: Cuantificadores Universales. Algunos: Cuantificador particular.

El modo de un silogismo indica las letras que dan forma a las premisas Mayor, Menor y a la Conclusin.

Lgica Deductiva

Es un modo AAA

Lgica Deductiva

Existen cuatro patrones para ordenar S, P y M Cada patrn se denomina Figura y su nmero especifica el tipo.

Lgica Deductiva

El silogismo:

Es de tipo: AAA-1

Lgica Deductiva

El Procedimiento de Desicin prueba la validez de los argumentos del silogismo. Se pueden utilizar los diagramas de Venn. Reglas para diagramas de Venn:

La porcin vaca de una clase se sombrea. Las afirmaciones universales A y E se dibujan antes que las particulares. Si una clase tiene por lo menos un miembro se marca con * Si una afirmacin no especifica en cual de las dos clases adyasentes existe un objeto, se coloca el * en la lnea entre las clases. Si un rea ha sido sombreada no se puede colocar un * en ella.

Lgica Deductiva

Lgica Deductiva

Ejercicios:

Para los siguientes silogismos determine:

Tipo de Silogismo Su validez mediante diagramas de Venn.

Todos los autos son medios de transporte. Ningn Camin es un auto .'. Ningn Camin es un medio de transporte

Ningn ave es un mamfero. Toda paloma es un ave .'. Ninguna paloma es un mamfero

Ejercicios
Algunos computadores son laptops Todas las laptops son porttiles Algunas porttiles son computadores Ningn historiador es matemtico Algunos ecuatorianos son matemticos Algunos ecuatorianos son historiadores

Todo ecuatoriano es sudamericano Algunos ingenieros son son ecuatorianos Por lo tanto, algunos ingenieros son sudamericanos

Toda persona apasionada es vehemente Toda persona apasionada es impetuosa Toda persona impetuosa es vehemente

Todo religioso es creyente Nign ateo es religioso Ningn ateo es creyente

Todos los payasos son graciosos Nign militar es payaso Nign militar es gracioso

Ejercicios
Todos los Mdicos son profesionales. Algunos mdicos son ecuatorianos Algunos ecuatorianos son profesionales. Algunas mujeres son sirenas Algunas mujeres son vegetarianas Algunas vegetarianas son sirenas

Ningn criminal es confiable Todos los filsofos son confiables Algunos filsofos no son criminales.

Nign cohete es camin Todos los cohetes son espaciales Nign camin es espacial

Todas las personas capaces son matemticos Nign matemtico es abogado Nign abogado es persona capaz

Algunos cantantes no son aficionados Todos los creadores son aficionados Algunos cantantes no son creadores

Ejercicios
Algunos periodistas son indiscretos Todos los profesionales minuciosos son discretos Algunos periodistas no son profesionales minuciosos