1. HISTORIA SIGLO V- SIGLO 1 A.C.
1.1. CHINA
1.2. INDIA
1.3. GRECIA
1.3.1. PRECURSOR
1.3.1.1. ARISTOTELES
1.3.1.1.1. TERMINO"LOGICA"
1.3.1.1.2. NACE LÓGICA FORMAL
1.3.2. ANTECESORES
1.3.2.1. PARMENIDES
1.3.2.2. ZELEO
2. EVOLUCIÓN MATEMÁTICA
2.1. LEONHARD EULER
2.2. GEORGE BOOLE
2.3. INICIA LA LÓGICA MODERNA, MATEMÁTICA, SIMBÓLICA O LOGÍSTICA
3. LEYES DE LA LÓGICA
3.1. PRINCIPIO DE IDENTIDAD
3.1.1. TODO OBJETO ES IDÉNTICO A SI MISMO
3.1.1.1. A ES A
3.2. PRINCIPIO DE NO CONTRADICCIÓN
3.2.1. ES POSIBLE QUE ALGO SEA Y NO SEA AL MISMO TIEMPO Y EN EL MISMO SENTIDO
3.2.1.1. ES POSIBLE QUE A SEA B Y NO SEA B
3.3. PRINCIPIO DEL TERCERO EXCLUIDO
3.3.1. DECLARA QUE TODO TIENE QUE SER O NO SER
3.3.1.1. A ES B O A NO ES B
3.4. PRINCIPIO DE RAZÓN SUFICIENTE
3.4.1. TODO OBJETO DEBE TENER UNA RAZÓN SUFICIENTE QUE LA ESPLIQUE
3.4.1.1. NADA EXISTE SIN UNA CAUSA O RAZÓN DETERMINANTE
4. TABLAS DE VERDAD
4.1. FREGE, PEIRCE Y SCHRODER
4.1.1. DECADAS DE 1880
4.1.2. 1920 USADAS AMPLIAMENTE
4.1.2.1. USO CONSOLIDADO
4.1.2.1.1. APLICACIÓN ECHA POR WHITTGENSTEIN
4.2. PROCEDIMIENTO
4.2.1. SE SIMPLIFICAN LAS VARIABLES (P, Q, R)
4.2.2. APARECEN EN LA TABLA LAS VARIABLES NEGADAS
4.2.3. APARECEN LOS PARÉNTESIS POR ORDEN DE COMPLEJIDAD HASTA ALCANZAR LA FORMILA COMPLETA
4.2.4. COMBINACIONES DE VALORES DE VERDAD DE LAS FORMULAS SIMPLIFICADAS
4.2.5. INTERPRETACIÓN DE LA TABLA
4.3. CASOS DE ESTUDIO
4.3.1. CONTRADICCION
4.3.1.1. CUANDO LA FORMULA SIEMPRE ES FALSA
4.3.1.1.1. P^¬P
4.3.1.1.2. 0
4.3.1.1.3. 0
4.3.2. TAUTOLOGIA
4.3.2.1. CUANDO LA FORMULA ES SIEMPRE VERDADERA
4.3.2.1.1. Pv¬P
4.3.2.1.2. 1
4.3.2.1.3. 1
4.3.3. INDETERMINACION
4.3.3.1. CUANDO LA FORMULA AVECES ES FALSA Y AVECES VERDADERA
4.3.3.1.1. P^¬Q
4.3.3.1.2. 0
4.3.3.1.3. 1
4.3.3.1.4. 0
4.3.3.1.5. 0
5. JERARQUÍA DE CONECTORES
5.1. <->
5.1.1. BICONDICIONAL
5.2. ->
5.2.1. CONDICIONAL
5.3. v
5.3.1. DISYUNCION
5.4. ^
5.4.1. CONJUNCION
5.5. ¬
5.5.1. NEGACION
6. ENUNCIADOS
6.1. SIMPLES O ATÓMICOS
6.1.1. NO TIENEN CONECTORES DE NINGUNA CLASE
6.1.1.1. EN LA CLASE HAY 7 ALUMNOS
6.1.1.2. CHIAPAS ESTA EN MÉXICO
6.2. COMPUESTOS O MOLECULARES
6.2.1. UTILIZAN CONECTORES QUE UNEN VARIOS SEGMENTOS LINGÜÍSTICOS
6.2.1.1. EN CLASE DE MATEMÁTICAS HAY 6 HOMBRES Y UNA MUJER
7. PREDICADOS
8. TABLA CONECTIVOS LÓGICOS
8.1. CONECTIVA
8.1.1. EXPRECION EN EL LEGUAJE MATEMATICO
8.1.1.1. EJEMPLO
8.1.1.1.1. SIMBOLO
8.2. NEGACION
8.2.1. NO
8.2.1.1. NO ESTA LLOVIENDO
8.2.1.1.1. ¬
8.3. CONJUNCION
8.3.1. Y
8.3.1.1. ESTA LLOVIENDO Y ESTA NUBLADO
8.3.1.1.1. ^
8.4. DISYUNCION
8.4.1. O
8.4.1.1. ESTA LLOVIENDO O ESTA NUBLADO
8.4.1.1.1. v
8.5. CONDICIONAL MATERIAL
8.5.1. SI.. ENTONCES
8.5.1.1. SI ESTA SOLEADO, ENTONCES ES DE DIA
8.5.1.1.1. ->
8.6. BICONDICIONAL
8.6.1. SI Y SOLO SI
8.6.1.1. ESTA ESTA NUBLADO SI Y SOLO SI HAY NUBES VISIBLES
8.6.1.1.1. <->
8.7. NEGACION CONJUNTA
8.7.1. NI...NI
8.7.1.1. NI ESTA SOLEADO NI ESTA NUBLADO
8.7.1.1.1. .
8.8. DISYUNCIÓN EXCLUYENTE
8.8.1. O BIEN... O BIEN
8.8.1.1. O BIEN ESTA SOLEADO O BIEN ESTA NUBLADO
8.8.1.1.1. .
9. LOGICA PROPOSICIONAL
9.1. AFIRMACIÓN VERDADERA
9.1.1. V
9.1.1.1. 1
9.2. AFIRMACIÓN FALSA
9.2.1. F
9.2.1.1. 0
9.3. SISTEMA FORMAL DEDUCTIVO QUE GENERA FORMULAS PROPOSICIONALES BASADAS EN AFIRMACIONES
9.3.1. ALFABETO
9.3.1.1. ATOMOS
9.3.1.1.1. P, Q, R
9.3.1.1.2. P' , Q', R', P''....
9.3.1.2. OPERACIONES LOGICAS
9.3.1.2.1. ^, ~, v, ->, ¬
9.3.1.3. SEPARADORES
9.3.1.3.1. (, ) [AVECES SE UTILIZAN SEPARADORES ESPECIALES Y OBLIFGATORIOS , < Ó >]
9.3.1.4. SÍMBOLOS AUXILIARES
9.3.1.4.1. PARÉNTESIS () Y CORCHETES []
10. ESTUDIA ARGUMENTOS RACIONALES EN FORMA ESTRICTAMENTE ESQUEMATIZADA Y ORGANIZADA
10.1. PARTE DE LA IDEA
10.1.1. TODOS RAZONAMOS BIEN E INTENTAMOS MEJORAR EL RAZONAMIENTO A NIVELES