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 DeductivaPremisa: 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
EjerciciosAlgunos 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
EjerciciosTodos 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
EjerciciosAlgunos periodistas son indiscretos Todos los profesionales minuciosos son discretos Algunos periodistas no son profesionales minuciosos
Top Related