IMPLICANCIAOBJETIVOS Deducir(inferir) con certeza una o ms concluciones, a partir de uno o ms proposiciones llamadas premisas, por medio del uso de los diagramas de Venn.

PROPOSICIN CATEGRICA:Es un enunciado o proposicin que afirma o niega una relacin de inclusin o exclusin, total o parcial entre conjuntos o clases(sujeto y predicado)Ejemplo: Todos los hombres son mortales. Algunas personas son sinceras. No todos los nios son felices.

INFERENCIA:Es un razonamiento en el cual a partir de una o ms proposiciones llamadas premisas se deriva una nueva proposicin llamada conclusin. Ejemplo: Todos los peruanos son honestos.. Todos los limeos son peruanos. D e ambas premisas podemos deducir que: Todos los limeos son honestos.

Tipos de inferencia: 1)Inductiva: 2)Inductiva:Las inferencias deductivas pueden ser inmediatas o mediatas:

INMEDIATAS: Son aquellas inferencias que estn formadas porsolo una premisa y su correspondiente conclusin. Ejemplo: Todos los ingenieros son matemticos. Entonces: Algunos ingenieros son matemticos.

MEDIATAS: Son aquellas inferencias que estn conformadas pordos o ms premisas y su respectiva conclusin.

Ejemplo: Todos los limeos son sinceros. Algunas mujeres son limeas. Entonces: Algunas mujeres son sinceras.

EXTENSIONES DE LA PROPOSICIONES De acuerdo a su cantidad: 1)Universal:Todos los perros son caninos. Todos los gatos son felinos

2)Particular:Algunas personas son cariosas. Alguna plantas son comestibles.

De acuerdo a su calidad: 1)Afirmativa:Marcos es varn. Algunos hombres son obreros.

2)Negativa:Ningn pez es plantgrado. Algunos marsupiales son no canguros.

NEGACIN DE PROPOSICIONES CATEGRICASNEGACIN LGICA TodosAlgunos no. AlgunosnoTodos. NingunoAlguno s. Ejemplo: Algunos.Ningun o. La negacin de: Todos los universitarios son crticos.

TRMINO

Ser: Algunos universitarios no son crticos.

REPRESENTACIN GRFICA MEDIANTE EL DIAGRAMA DE VENNTodos los estudiantes son honestos. E H E H

E

H

Ningn carnvoros es pez. C C P P C P

Algunos estudiantes son trabajadores. E E T T

Algunas personas no son amables.P P A A

Ejemplo 1: Si afirmamos: Todo orangutn es simio Entonces: Resolucin: *Todos los orangutanes son simios: O S O S

Algunos orangutanes son simios. No hay orangutn que no sea simio.

*Respuesta: Algunos orangutanes son simios. No hay orangutn que no sea simio.

Ejemplo 2: Si afirmamos: Ningn vietnamita es americano Muchos valientes son vietnamitas. Entonces: Resolucin: *Ningn vietnamita es americano: *Muchos valientes son vietnamitas: V V A A Val Val V V

Uniendo adecuadamente ambas grficas tenemos:A Val V

Algunos valientes no son americanos