La inferencia es el proceso por el cual a partir de una o ms proposiciones se obtiene una conclusin. Inferencia Existen dos tipos: o Inferencias Mediatas. Son aquellas que se obtienen a partir de dos o ms proposiciones.
o Inferencias Inmediatas. Son aquellas que se obtienen a partir de una sola proposicin. Inferencias Mediatas Todos los automviles son vehculos Algn objeto es Automvil o Por lo tanto, algn objeto es vehculo
Ningn artista es soberbio Botero es artista o Por lo tanto, Botero no es soberbio Inferencias Inmediatas Conversin Simple Por Accidente Equivalencia Subalternacin Obversin Recproca Contraposicin Conversin o Consiste en el intercambio del sujeto con el predicado, sin que se altere el valor de verdad
o Es necesario conocer la cantidad del sujeto y del predicado. Cantidad del Sujeto est determinada por la cantidad de la proposicin Cantidad de la Proposicin Universal Sujeto Universal Particular Sujeto Particular Cantidad de la Proposicin Afirmativa Predicado Particular Negativa Predicado Universal Cantidad del Predicado est determinada por la cualidad de la proposicin Todo S es P --- --- U P A Ningn S es P --- --- U U E Algn S es P --- --- P P I Algn S no es P --- --- P U O onicamente se realiza en las proposiciones de tipo E y de tipo I. E: Ningn S es P ningn P es S I: Algn S es P algn P es S Premisa: E Ningn batracio es insecto U U Verdadero Conclusin: E ningn insecto es batracio U U Verdadero Premisa: I Algn estudiante es responsable P P Verdadero Conclusin: I alguien responsable es estudiante P P Verdadero
onicamente se realiza en las proposiciones de tipo E y de tipo A. A: Todo S es P algn P es S E: Ningn S es P algn P no es S Premisa: E Ningn ave es cuadrpedo U U Verdadero Conclusin: O algn cuadrpedo no es ave P U Verdadero Premisa: A Todo argentino es sudamericano U P Verdadero Conclusin: I algn sudamericano es argentino P P Verdadero Todo aptico es mediocre (A) Algn mediocre es aptico (I) Ninguna msica es ruidosa (E) Algn ruido no es msica (O) Ningn ruido es msica (E) Algn conquistador es cruel (I) Algn cruel es conquistador (I) onicamente se realiza en las proposiciones de tipo A y de tipo O. A: Todo S es P todo no P es no S O: Algn S no es P algn no P no es no S Premisa: A Todo vegetal es viviente Conclusin: A todo no viviente es no vegetal Premisa: O Algn manat no es marsupial Conclusin: O algn no marsupial no es no manat Todo mexicano es honrado (A) Todo no honrado es no mexicano Todo planeta es un astro (A) Todo no astro es un no planeta Algn gobernante no es veraz (O) Algn no veraz no es no gobernante Algn pulpo no es vertebrado (O) Algn no vertebrado no es no pulpo