Cálculo proposicional e inferencia Lógica

amparoisa_1125
Mind Map by amparoisa_1125, updated more than 1 year ago
amparoisa_1125
Created by amparoisa_1125 about 6 years ago
6483
0

GoConqr Review

Mapa mental que proporciona un resumen sobre el cálculo preposicional y las inferencias lógicas.

Resource summary

Cálculo proposicional e inferencia Lógica
  1. proposiciones Una proposición es una expresión con sentido completo mediante la cual se afirma o se niega algo que puede ser verdadero o falso
    1. Proposiciones- Proposiciones simples (o atómicas) - Proposiciones compuestas (o moleculares) - La conjunción -La disyunción EL condicional- Recíproca, contrarrecíproca e inversa - EL bicondicional -Tablas de verdad de proposiciones compuestas- Prioridad de los conectivos lógicos -Traducción de frases del lenguaje natural- Juegos de lógica- Tautologías y contradicciones -Implicaciones y equivalencias lógicas- Tablas de equivalencias lógicas importantes Álgebra declarativa - Formas normales - Tablas de verdad y formas normales -Ejercicios y temas adicionales
    2. Se llama inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema. Ambas expresiones se relacionan mediante una relación de equivalencia
      1. Modus Ponendo Ponens Regla de Doble Negación Modus Tollendo Tollens -. Ley de Adjunción y Ley de Simplificación -Modus Tollendo Ponens -Ley de Adición -Ley del Silogismo Hipotético - Ley del Silogismo Disyuntivo -Ley del Simplificación Disyuntiva -Leyes Conmutativas -Leyes de DE Morgan 12. Ley de Proposiciones Bicondicionales
      Show full summary Hide full summary

      Similar

      Reglas de inferencia logica
      Hector Galvis
      Análisis de argumentos
      Karen Muñoz
      10 Basic English Questions - Quiz 1
      Leo JC
      A Level: English language and literature techniques = Lexis
      Jessica 'JessieB
      English Language Terms
      ekimlauretta
      GCSE CHEMISTRY UNIT 2 STRUCTURE AND BONDING
      ktmoo.poppypoo
      Computing Hardware - CPU and Memory
      ollietablet123
      B1.1.1 Diet and Exercise Flash Cards
      Tom.Snow
      Physics 1
      Peter Hoskins
      Longevidad y Envejecimiento Fisiológico
      Isaac Alexander