 Inventor  Ley de separación  Ley de silogismo  Diagrama de Venn

 Las leyes separación y silogismo fueron expresadas por primera vez por el lógico matemático Aristóteles.  Aristóteles consideraba la lógica como lógica de relación de términos.

 Una forma de razonamiento deductivo que dice que si todos los hechos son ciertos, la conclusion sera cierta.

 Ley de separación (también conocida como Modus Ponens (MP)) es la primera forma de pensamiento deductivo.  Se hace un enunciado condicional y se establece una hipótesis a la que se refiere como P.  Se deduce una conclusión del enunciado y la hipótesis a la que se refiere como Q.

 Manera básica de presentarlo: P→Q (enunciado condicional lleva a una conclusión) P (hipótesis) Q (conclusión deducida)  Por lo tanto, si p=>q es cierta y p es cierta, entonces q debe ser cierta.

 Si yo envuelvo regalos, entonces me cortaré con el papel.  Yo envolví regalos. Yo me corté con el papel si mi hermana viene a la cena de Acción de Gracias, entonces mi hermano está ahí.  Mi hermano estaba ahí. LA CONCLUSIÓN NO ES VÁLIDA

 Si afuera está frío, entonces me pondré un abrigo.  Si afuera está frío, entonces va a nevar. LA CONCLUSIÓN NO ES VÁLIDA

 Forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos.  Fue formulado por primera vez por Aristóteles, en su obra lógica recopilada como El Organon, de sus libros conocidos como Primeros Analíticos, (en griego Proto Analytika, en latín –idioma en el que se conoció la obra en Europa Occidental-, Analytica Priora).

Tiene dos premisas:  Premisa mayor, en la que se encuentra el término mayor, que es el predicado de la conclusión, que se representa como P.  Premisa menor, en la que se encuentra el término menor, que es el sujeto de la conclusión, que se representa como S.  Entre ambas se realiza la comparación del término sujeto y el término predicado con respecto al término medio, que se representa como M. CONSECUENTE = Una conclusión:  En la que se establece la relación entre el término sujeto S, y el término predicado P.

Tiene dos premisas:  Si Sujeto es M  Y Predicado es M.  Entonces sujeto es predicado. CONSECUENTE = Una conclusión:  En la que se establece la relación entre el término sujeto S, y el término predicado P.

 Si me canso, entonces me voy a dormir.  Si me duermo, entonces voy a soñar.  Si me canso, entonces voy a soñar. LA CONCLUSIÓN NO ES VÁLIDA

 El silogismo no puede tener más de tres términos. Consideremos el siguiente silogismo: › Los hombres son esencialmente libres. › Las mujeres no son hombres. › Las mujeres no son libres.  Los términos no deben tener mayor extensión en la conclusión que en las premisas.  El término medio no puede entrar en la conclusión.  El término medio ha de tomarse en su extensión universal por lo menos en una de las premisas.

 Los diagramas de Venn son ilustraciones usadas en la rama de la matemática y lógica de clases conocida como teoría de conjuntas. Estos diagramas se usan para mostrar gráficamente la agrupación de cosas elementos en conjuntos, representando cada conjunto mediante un círculo o un óvalo.

TRISTRE FELIZ

Si darren esta triste y Xavier feliz, entonces todos los hombres estan felices y tristes.

 GRACIAS