Calculo Proporsicional
作者:Clau Dia
1. Método de demostración
1.1. Método inductivo
1.1.1. Razonamiento
1.2. Método deductivo
1.2.1. Doble negación
1.2.2. Adjunción y conjunción
1.2.3. Directo
1.2.4. silogismo
1.2.5. Contrareciproco
1.3. Método de contraejemplo
1.3.1. Cuantificadores
1.3.1.1. Universal
1.3.1.2. Existencial
2. Formalizar Prepociciones
2.1. gerarquía
2.1.1. coma
2.1.2. punto y coma
2.1.3. punto
3. Lenguaje Natural
4. conectivos lógicos
4.1. negaciòn
4.2. conjunción
4.3. disyunción
4.4. implicación
4.5. dobleimplicación
5. Tablas de verdad
5.1. Tautologia
5.2. Contrdicción
5.3. contigencia
6. proposiciones
6.1. verdaderas
6.2. falsas
7. Lenguaje formal
7.1. atomicas
7.1.1. q
7.1.2. p
7.1.3. r
7.1.4. s
7.2. atomicas
7.2.1. q