Lógica Simbólica

Beschreibung

SEMESTRE 2
lorena cortes
Mindmap von lorena cortes, aktualisiert more than 1 year ago
lorena cortes
Erstellt von lorena cortes vor fast 7 Jahre
28
0

Zusammenfassung der Ressource

Lógica Simbólica
  1. El personaje más significativo de la lógica matemática es G. W. Leibniz
    1. Características
      1. 1. La lógica se maneja como un calculo, 2. En esta lógica se construye un sistema formal y después se interpreta en el lenguaje ordinario y 3. Las leyes se construyen en un lenguaje artificial, símbolos similares a los matemáticos.
        1. Calculo lógico
          1. Grupo de signos lógicos
            1. Grupo de reglas para operar dichos signos
        2. Los enunciados y los conectivos
          1. Tienen afirmaciones o (negaciones), El contenido se puede calificar como verdadro o falso
            1. A. Nuestra desventura ya se transformó en dicha. B. Nuestros sufrimientos ya terminaron.
            2. 1. Y (conjunción).
              1. Simbolos (p,q.v.s)
                1. 2. O (disyunción inclusiva).
                  1. 3. O… o (disyunción exclusiva).
                    1. 4. Si… entonces (condicional).
                      1. 5. Si y sólo si (bicondicional).
                        1. 6. No (negación).
                        2. Tablas de verdad: exposocion gráfica de todos los valores de verdad que tiene un enunciado extencional

                          Anmerkungen:

                          • y & o ∨ o - o ∨ Si — entonces → Si y sólo si ↔ No, no es verdad que ¬
                          1. Taulogías: tablas de la verdad, valores veritativos correspondiente al conectivo principal son todos V
                            1. Anmerkungen:

                              • y & o ∨ o - o ∨ Si — entonces → Si y sólo si ↔ No, no es verdad que ¬
                            2. Los valores de verdad son las dos propiedades que puede tener cualquier enunciado, considerando que dicho enunciado o es verdadero o es falso; pero no ambas cosas
                              1. Ejemplo: C. N: Hay satélites naturales. D. A: Hay satélites artifi ciales.
                              2. Enunciados extensionales: Cualquier enunciado atómico o es verdadero o es falso, y el tener uno u otro valor depende de su propio contenido.
                                1. Ejemplo: E. Me duele la cabeza porque estuve estudiando durante cuatro horas. Es posible que el enunciado simple anterior sea verdadero o no lo sea.
                              Zusammenfassung anzeigen Zusammenfassung ausblenden

                              ähnlicher Inhalt

                              LOGICA SIMBOLICA
                              Mauro 19
                              LOGICA
                              Pablo Morales
                              Pensamiento Lógico y Matemático
                              tatianamarizance
                              TEORÍA DE CONJUNTOS
                              Isabella Arboleda
                              LOGICA SIMBOLICA
                              LORENA SANTOS
                              PENSAMIENTO LOGICO Y MATEMATICO
                              mayehueq
                              PENSAMIENTO LÓGICO Y MATEMATICO
                              laidyacosta
                              LÓGICA SIMBÓLICA
                              Sebastián Peralta
                              LÓGICA PROPOSICIONAL
                              Edna Medina
                              Es cualquier agrupaciòn de palabras o simbolos que en un momento dado se puede afirmar si es V o F
                              alexagrisol
                              logica proposicional
                              maria isabel hernandez diaz