Mindmap

LÓGICA SIMBÓLICA

Alejandra Monroy Ingeniería Spanisch

Mapa mental: Lógica simbólica

Inhalt der Mindmap

LÓGICA SIMBÓLICA

Es la disciplina que se ocupa del estudio de:
- -Los razonamiento -Las deducciones -Las inferencias
Las proposiciones
- Oraciones declarativas del lenguaje español
  - Afirmación de la que se puede decir si es verdadera o falsa
- Se pueden combinar para obtener otras
  - Conectivos lógicos
    - TABLAS DE VERDAD
      - Tautología: Algunas formulas que tienen la propiedad de recibir solo el valor V
      - Contradicción: Formulas que reciben F en cada una de las filas de su tabla de verdad
    - -Negacion ("No") -Disyuncion ("o") -Conjuncion ("y") -Condicional ("si,entonces") -Bicondicional ("Si,y solo si")
  - Mediante
- Proposiciones Simples
  - Proposiciones Compuestas
    - Proposición Condicional
      - Si P, entonces Q
        P se llama antecedente Q se llama consecuente
    - Proposición con algún conectivo
    - Su valor de verdad depende exclusivamente de los valores de verdad de las proposiciones simples que aparezcan en ella
  - Proposición sin ningún conectivo
- Corresponde a:
- Pueden ser: