Calculo Proporsicional
von 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