Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica Proposicional, En la primera columna de la izquierda (que estará…

- - - - Emplea un lenguaje artificial en el que simboliza las preposiciones simples generalmente con letras minúsculas "p", "q", "r", etc., y se les denomina "variables".
      - Es aquella lógica que difiere de la lógica tradicional, pues trata el estudio del pensamiento pero se divide en la estructura del contenido.
      - Es la lógica de los términos, se expresa por medio del lenguaje común y sólo se simbolizan los términos
  - - - Son aquellas que están formadas por solo un sujeto y un predicado.
      - En ellas no se expresa más que un solo juicio declarativo que cuenta con sujeto y predicado
      - Serán verdaderas o falsas dependiendo del sujeto; carecen de términos de enlace o conectivos.
    - - Son aquellas que se componen de dos o más juicios simples, o formado de varias proposiciones anatómicas. Además de contar con términos de enlace o conectivos.
  - - - Símbolo: V
      - Expresión: O
      - Lenguaje simbólico: p V q
      - Regla: Una Disyunción Inclusiva, será verdadera cuando al menos una de la proposición
        sea verdadera, los demás casos, serán falsos.
    - - Símbolo: ⊻
      - Expresión: O...o
      - Lenguaje simbólico: p ⊻ q
      - Regla:Será verdadera una Disyunción Exclusiva, cuando necesariamente una de las
        proposiciones sea verdadera y la otra necesariamente falsa o viceversa.
    - - Símbolo: ¬ ˜
      - Expresión: No
      - Lenguaje simbólico: ¬p
      - Regla: La negación es el único Conector Lógico o Término de Enlace que NO une proposiciones.
        Y lo único que hace, es cambiar el valor de verdad.
    - - Símbolo: ←→
      - Expresión: Si y sólo si...
      - Lenguaje simbólico: p←→q
      - Regla:Será verdadera la Bicondicional, cuando ambas proposiciones que la formen tengan el
        mismo valor de verdad (VV) o (FF).
    - - Símbolo: →
      - Expresión: Si... entonces
      - Lenguaje simbólico: p → q
      - Regla: Será falsa cuando el antecedente sea verdadero y el consecuente falso. Es el único
        caso, donde será Falsa. Los demás casos serán verdaderos.
    - - Símbolo: ¬ ¬ ˜ ˜
      - Expresión: No...no
      - Lenguaje simbólico: ¬ ¬ p
      - Regla: La negación cambia el valor de verdad de la proposición si es verdadera y la niego se
        convierte en falsa. Y si es falsa y la niego se convierte en verdadera.
    - - Símbolo: ʌ
      - Expresión: Y
      - Lenguaje simbólico: p ʌ q
      - Regla: Una conjunción será verdadera si las dos proposiciones que la formen son verdaderas,
        los demás casos, serán falsos.
  - - - Se sustituyen por, los Signos de Agrupación: Paréntesis (p Λ q), corchetes [p V q], y llaves {p V q}.
        
        Traducción del lenguaje natural al simbólico.
        
        Una forma de guiarnos para utilizar correctamente los signos de agrupación es utilizando los signos de puntuación del lenguaje natural.
        
        La coma "," = ( ), el punto y coma ";" = [ ], y el punto "." = { }
  - - - Procedimiento:
        
        Tautología.
        
        Cuando en el resultado final, todas son verdaderas.
        
        Se pasa la Proposición Compuesta o Molecular, al lado derecho.
        
        Se hacen las líneas que separan variables de constantes.
        
        Se trabaja la variable p con la r, utilizando la regla de la condicional.
        
        Recordando la regla de la negación, no se unen proposiciones y sólo cambia el valor de verdad a la proposición.
        
        Si la “q” tiene dos V y dos F…solo se cambia el valor de verdad.
        
        Exactamente se hará con la proposición (r).
        
        Se hace la tabla considerando
        el número de variables del lado
        izquierdo.
        
        Trabajaremos la “p” con la no (~), de acuerdo a lo que diga la regla de la condicional: Será falsa la condicional, cuando el antecedente sea V y el consecuente F, los demás casos serán verdaderos.
        
        Se trabaja la condicional, con la negación (~), para que salga la conjunción.
        
        La regla de la Conjunción, dice: será verdadera cuando las 2
        proposiciones que la formen sean ambas verdaderas, los demás
        casos serán falsas.
        
        La última que se trabaje, es la que nos determinará el Valor de
        Verdad.
      - Cuando en el resultado final, todas son falsas.
    - - Cuando en el resultado final, hay valores
        verdaderos y falsos.