Conceptos

VERDADERO:Se aplica al relato o afirmación que es conforme a la verdad: una historia verdadera. verídico. falso. Se aplica al sentimiento que es real: tengo verdadero pánico a montar en moto. auténtico. Se aplica a la persona o cosa que es realmente lo que se indica de ella

CIERTO:Que es verdadero o no puede ponerse en duda: no es cierto, nunca estuve ahí; lo cierto es que nadie sabe lo que ocurrirá. Que no está determinado de forma precisa o no se quiere determinar: cierto día de abril llegaron a la ciudad. Que se da en pequeña cantidad o intensidad

LOGICA:La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio".

LOGICA MATEMATICA:La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.

LOGICA FORMAL:La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y suceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal

Concepto de las figuras del silogismo

Modo del silogismo es la forma que toma éste de acuerdo con la cantidad y la cualidad de las premisas y la conclusión. De la aplicación de las leyes de los silogismos a los 64 modos posibles resultan válidos solamente 19 y son los que tradicionalmente se memorizan atendiendo a los modos válidos de cada figura con sus premisas y conclusión.

Así los modos válidos Se memorizaban cantando De la primera figura AAA, EAE, AII, EIO BARBARA, CELAREN, DARII, FERIO
De la segunda figura EAE, AEE, EIO, AOO CESARE, CAMESTRES, FESTINO, BAROCO
De la tercera figura AAI, IAI, AII, EAO, OAO, EIO DARAPTI, DISAMIS, DATISI, FELAPTON, BOCARDO, FERISON
De la cuarta figura AAI, AEE, IAI, EAO, EIO BAMALIP, CAMENES, DIMATIS, FESAPO, FRESISON

Nota bene: También son válidos para la primera figura los modos subalternos BARBARI, CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta: CAMENOP

Inferencia Deductiva

1ronaldinho es jugador y juega futbol
2Lionel Messi es jugador y juega futbol
3Samuel Eto es jugador y juega
Por lo tanto
Todos los jugadores juegan futbol

1El profe cuenta un chiste el lunes
2El profe cuenta un chiste el martes
3El profe cuenta un chiste el miercoles
Por lo tanto
El profe todos los dias cuenta un chiste

Pumas compra 2 jugadores por temporada
America compra 2 jugadores por temporada
Cruz azul compra 2 jugadores por temporada
Por lo tanto
Los equipos compran 2 jugadores por temporadadeductivo

Todos los hombres son mortales
juan es hombre
por lo tanto
juan es mortal

Modos del silogismo

CELARENT

E todos los hombres no son infieles

A todos los mexicanos son hombres

E todos los mexicanos no son infieles

BARBARA

A todas las mujeres son bonitas

A todas las niñas son mujeres

A todas las niñas son bonitas

FERIO

E todos los ancianos son amargados

I algunos señores son ancianos

O algunos señores no son amargados

FIGURA 2

CESARE

E todos los changos no son bonitos

A todos los animales son bonitos

E todos los animales no son changos

CAMESTRE

A todos los bebes son tiernos

E todos los Juan no son tiernos

E todos los Juan no son bebes

FESTINO

E todos los alumnos no son listos

I algunos amigos son listos

O algunos amigos no son alumnos

BAROCO

A todos los hombres son chismosos

O algunos vecinos no son chismoso

O algunos vecinos no son hombres

FIGURA 3

DARAPIT

A todos los dulces son de azúcar

A todos los dulces son con caramelo

I algunos caramelos son de azúcar

FELAPIO

E todos oos niños no son mensos

A Todos los niños son grandes

O algunos grandes no son mensos

DISAMIS

I algunos animales son salvajes

A todos los animales son monos

I algunos monos son salvajes

DATISI

A todos los mamíferos son grandes

I algunos mamíferos son gatos

I algunos gatos son grandes

BOCARDO

O algunos humanos no son hombres

A todos los humanos son juan

O algunos juan no son hombres

FERISON

E todas las niñas son inteligentes

I algunas niñas son traviesas

O algunas traviesas no son inteligentes

FIGURA 4

MALITIN

A todos los estudiantes son audaces

I algunos audaces son Carlos

I algunos Carlos son estudiantes

CAMENTES

A todos los ángeles son tiernos

E todos los tiernos son julio

E todos los julios no son ángeles

DIMATIS

I algunos árboles tienen frutas

A todas las frutas son plátanos

I algunos plátanos los dan los arboles

FESAPO

E algunas flores no son rojas

A todas las rojas son rosas

O algunas rosas no son flores

FRESISO

E algunos automóviles no son camionetas

I algunas camionetas son amarillas

O algunas amarillas no son automoviles

ARBOL DE PORFIRIO