Lógica Matemática y Cálculo Proposicional

Lógica Matemática y Cálculo Proposicional

1. PROPOSICIÓNES

   • simples o atómicas
   • compuestas o moleculares
   • Lenguaje natural y simbolico
     • natural-simbolico
     • simbolico-natural

2. OPERADORES LOGICOS: valor de verdad

   • conjunción
   • disyunción inclusiva
   • disyunción exclusiva

3. PROPOSICIONES CONDICIONALES

   • implicación
   • equivalencia

4. TABLAS DE VERDAD

   • 1. valores
   • 2.traduccion logica
   • 3.combinaciones
   • 4. valores verdad
   • 5. resolver operaciones

5. ARGUMENTOS

   • Tautología
   • contradicción
   • contingencia

6. METODOS DEMOSTRACIÓN

   • Tabla verdad
   • prueba formal validez
   • prueba de invalidez
   • prueba condicional

7. INDUCCION MATEMATICA

Imagens e arquivos do mapa