Fundamentos de la Lógica Matemática y Cálculo Proposicional

Description

Fundamentos de la Lógica Matemática y Cálculo Proposicional
Jaime   Acevedo Hernandez
Mind Map by Jaime Acevedo Hernandez, updated more than 1 year ago
Jaime   Acevedo Hernandez
Created by Jaime Acevedo Hernandez over 6 years ago
25
0

Resource summary

Fundamentos de la Lógica Matemática y Cálculo Proposicional
  1. La Proposicion
    1. Es un enunciado que constituye una oracion de clasificacion de verdad o falsedad
      1. la proposicion de ser demostrable su veracidad, no cataloga las preguntas y valores imaginativos como propociciones
      2. Proposiciones Simples o Atomicas
        1. “Hoy no es martes”, se puede escribir “~q”
          1. Si se tiene la proposición simple: “Miguel Hidalgo es el padre de la Patria”, es posible escoger las variables proposicionales m para hacer alusión a “Miguel Hidalgo” y p para “padre de la Patria”.
          2. Supóngase que se quiere negar alguna proposición simple, denotada como “~”; entonces, si se quiere decir que “Hoy no es martes”, se puede escribir “~q”, haciendo referencia a la variable proposicional elegida.
          3. Proposiciones Compuestas o moleculares
            1. Son dos o mas proposiciones en una misma oración unidas por operadores logicos ^,v entre otros. ejemplo Pitagoras era griego y geometra
              1. Miss Universo es atractiva e inteligente. En primera instancia, se puede observar que la proposición en cuestión está constituida por las proposiciones simples: a: Miss Universo es atractiva. i: Miss Universo es inteligente. por lo que a ^ i es su traducción lógica.
              2. Al combinar ambas proposiciones se utiliza el operador lógico “^”, que se estudiará más adelante. Dicha proposición compuesta se puede representar como: “p y q”, haciendo referencia a las variables proposicionales utilizadas.
              3. las proposiciones se pueden representar como p,q,r,s
                1. OPERADOR LOGICO
                  1. las proposiciones se reprecentan con ñetras p, q, r, s
                    1. Operadores Logicos
                      1. Negación (~) La negación de cualquier proposición p será falsa cuando se niegue una proposición verdadera y será verdadera cuando se niegue una proposición falsa.
                          1. Conjunción (^) Si p y q representan dos proposiciones simples, entonces la proposición compuesta p ^ q, solo será verdadera cuando las dos proposiciones lo sean. p ^ q = q ^ p
                            1. Disyunción inclusiva ( V )Si p y q representan dos proposiciones simples, entonces la proposición compuesta p V q solo será falsa cuando las dos proposiciones lo sean. Algunas formas de la disyunción inclusiva son: o, o bien, u, entre otras. La disyunción también es conmutativa, es decir: p V q = q V p
                              1. Disyunción exclusiva (+) Si p y q representan dos proposiciones simples, entonces la proposición compuesta p +q solo será falsa cuando las dos proposiciones tuvieren el mismo valor de verdad. Se denomina disyunción exclusiva porque se tiene que elegir una de cualquiera de las dos disyuntivas, pero no ambas. Algunas formas de la disyunción exclusiva son: o, o bien, u, o… o, entre otras. La disyunción exclusiva es conmutativa, es decir: p + q = q + p
                              2. Proposiciones condicionales
                                1. Condicional o implicación (→) Si p y q representan dos proposiciones simples, entonces la proposición compuesta p q solo será falsa cuando p, llamado antecedente o hipótesis, sea verdadero y q, llamado consecuente o conclusión, sea falso. Algunas formas de la condicional o implicación son: si … entonces, se sigue, por tanto, se infiere, de ahí que, se deduce, implica, entre otras. La condicional no es conmutativa, es decir: p → q ≠ q → p
                                  1. Bicondicional o Equivalencia (↔) Si p y q representan dos proposiciones simples, entonces la proposición compuesta p ↔ q, solo será verdadera cuando ambas proposiciones tengan el mismo valor de verdad. Algunas formas de la bicondicional son: si y solo si, entonces y solo entonces, es idéntico, equivale a, es equivalente a, entre otras mas. La bicondicional es conmutativa, es decir: p ↔ q = q ↔ p
                                  2. TABLA DE LA VERDAD
                                    1. Aunque ya se han utilizado las tablas de verdad para obtener los valores de verdad de proposiciones simples y compuestas, aun no las hemos definido formalmente. Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, así como de algunos casos de proposiciones simples, cuando estas utilizan los operadores lógicos de negación y doble negación, dependiendo de los operadores lógicos usados y de los valores de verdad de las proposiciones simples involucradas.
                                  Show full summary Hide full summary

                                  Similar

                                  BIOLOGY B1 1
                                  x_clairey_x
                                  Revision Timetable
                                  katy.lay
                                  AQA AS Biology Unit 2 The Cell cycle
                                  elliedee
                                  Python Quiz
                                  karljmurphy
                                  Paradise Lost Themes/Quotes
                                  Kirsty S
                                  MARXIST ROLE OF EDUCATION
                                  ashiana121
                                  PHR Sample Questions
                                  Elizabeth Rogers8284
                                  Mga Tauhan ng Ibong Adarna
                                  mark.sy7054
                                  CHEMISTRY TEST
                                  kingi kigongo
                                  NSI Test First day
                                  Adedipe Odunayom
                                  Maths: Formulas for Areas & Perimeters of Shapes
                                  Annan S