Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 73 vistas

    Readme

    Cargado por

    Gabriel Saona
    La lógica proposicional estudia las proposiciones, sus valores de verdad y nivel de verdad. Se representan proposiciones mediante variables simbolizadas con letras. Las expresiones se construyen a partir de variables, conectores lógicos y símbolos. Las tablas de verdad determinan los valores de verdad de una expresión para todas las interpretaciones posibles de las variables.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Readme

    Cargado por

    Gabriel Saona
    73 vistas5 páginas
    La lógica proposicional estudia las proposiciones, sus valores de verdad y nivel de verdad. Se representan proposiciones mediante variables simbolizadas con letras. Las expresiones se construyen a partir de variables, conectores lógicos y símbolos. Las tablas de verdad determinan los valores de verdad de una expresión para todas las interpretaciones posibles de las variables.

    Descripción original:

    LOGICA PROPORCIONAL

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    La lógica proposicional estudia las proposiciones, sus valores de verdad y nivel de verdad. Se representan proposiciones mediante variables simbolizadas con letras. Las expresiones se construyen a partir de variables, conectores lógicos y símbolos. Las tablas de verdad determinan los valores de verdad de una expresión para todas las interpretaciones posibles de las variables.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    73 vistas5 páginas

    Readme

    Cargado por

    Gabriel Saona
    La lógica proposicional estudia las proposiciones, sus valores de verdad y nivel de verdad. Se representan proposiciones mediante variables simbolizadas con letras. Las expresiones se construyen a partir de variables, conectores lógicos y símbolos. Las tablas de verdad determinan los valores de verdad de una expresión para todas las interpretaciones posibles de las variables.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 5

    LÓGICA PROPOSICIONAL

    La lógica proposicional es una rama de la lógica clásica que estudia las proposiciones o
    sentencias lógicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel
    absoluto de verdad.
    La lógica proposicional se preocupa por la manera de representar las cosas.
    Proposición: se define una proposición como un enunciado declarativo que puede ser
    verdadero o falso, pero no ambos a la vez. Las proposiciones se representan
    mediante variables proposicionales simbolizadas mediante letras.

    SINTAXIS DE LA LÓGICA DE PROPOSICIONAL

    Los patrones o expresiones de la lógica proposicional se construyen a partir de un


    alfabeto que consta de los siguientes símbolos:

     Las constantes lógicas Verdadero ( ) y Falso ( ). También pueden ser V o F


     Los símbolos de variables tales como P y Q.
     Los conectivos lógicos Ù , Ú , Û , Þ , y Ø
     Símbolos de puntuación: paréntesis ( ), corchetes [ ] y llaves { } para evitar ambigüedades

    Todas las oraciones se forman combinando los símbolos anteriores mediante ciertas
    reglas.

     Las constantes lógicas Verdadero y Falso constituyen oraciones en sí mismas


     Las variables proposicionales P, Q, R,… son oraciones
     Encerrar entre paréntesis una oración produce también una oración, por ejemplo
    (P Ù Q).

    Combinar oraciones con los conectadores lógicos siguientes forma una oración

    Oraciones: son Un conjunto de palabras con sentido gramatical.

     La oración es la mínima unidad comunicacional, con significado completo.


     La oración en la lógica, es la unidad de análisis fundamental.

    BERMELLO LUIS VII “SISTEMAS”


     Conjunción (Λ) (y): A la oración cuyo conector principal es Ù (y) se le llama conjunción,
    y a sus partes se les llama coyuntos.
     Disyunción (V) (o): A la oración cuyo conector principal es Ú (o) se le llama disyunción,
    y a sus partes se les llama disyuntos.
     Implicación (Þ): Una oración como P Þ R se conoce como implicación (o condicional),
    su premisa o antecedente es P y su conclusión o consecuente es R. A las implicaciones
    también se les llama reglas o aseveraciones si-entonces.
     Premisas: Son los antecedentes de una implicación.
     Equivalencia: Dos sentencias α y β son equivalentes lógicamente si es que son
    verdaderas con el mismo conjunto de hechos.
    o Negación (Ø) (no): A una oración como Ø P se le llama negación de P. Ø es el único de
    los conectores que funcionan como una sola oración.

    TABLAS DE VERDAD

    Se emplean en la lógica para determinar los posibles valores de verdad de una expresión
    o proposición. O si un esquema de inferencia, como argumento, es formalmente válido
    mostrando que, efectivamente, es una tautología.
    La tabla de verdad de una sentencia es una tabla en la que se presentan todas las
    posibles interpretaciones de las variables proposicionales que constituyen la sentencia
    y el valor de verdad de la sentencia para cada interpretación.
    Dado que en el cálculo proposicional se opera sólo sobre dos valores de verdad, para
    cualquier expresión existe un número finito de valuaciones posibles que se pueden
    tabular.

    La tabla de verdad de una expresión con n variables proposicionales tiene 2n filas


    Semántica

     Negación Consiste en cambiar el valor de verdad de una variable proposicional.

    p
    V F
    F V
     Disyunción: La sentencia será verdadera cuando una o ambas variables proposicionales
    sean verdaderas.

    p q

    V V V
    V F V
    F V V
    F F F

    BERMELLO LUIS VII “SISTEMAS”


     Conjunción: La sentencia será verdadera sólo cuando ambas variables proposicionales
    sean verdaderas.

    p q
    V V V
    V F F
    F V F
    F F F

     Condicional

    La sentencia será verdadera cuando se cumpla si es válido p entonces lo es q.

    p q
    V V V
    V F F
    F V V
    F F V

     Bicondicional

    La sentencia será verdadera cuando ambas variables proposicionales sean iguales.

    p q
    V V V
    V F F
    F V F
    F F V
     Disyunción exclusiva

    La sentencia será verdadera sólo cuando sólo una de las dos variables proposicionales
    sea verdadera, pero no las dos.

    P q
    V V F
    V F V
    F V V
    F F F

    BERMELLO LUIS VII “SISTEMAS”


    EJERCICIOS

    1. ((P Ú H) Ù Ø P ) Þ P
    2.
    Solución

    Respuesta: sí es valida

    3. Determinar La Validez De La Siguiente oración compleja


    o Si no llueve salgo al campo. Si salgo al campo respiro. Por tanto, respiro si y sólo si
    no llueve."

    Respuesta:

    NO es válido, puedo salir al campo, lloviendo y respirar. Luego no se deduce que


    respire si y solo si no llueve.
    o Si ha nevado será difícil conducir. Si no es fácil conducir llegaré tarde si no salgo
    temprano. Ha nevado. Luego saldré temprano.

    Respuesta

    El razonamiento NO es válido porque puede darse el caso de NO salir temprano y


    llegar tarde habiendo nevado y siendo difícil conducir. Cumpliéndose todas las
    premisas.

    3.9 REGLAS DE INFERENCIA

    • Existen ciertos patrones de inferencia que se presentan una y otra vez, lo que
    permite establecer de una vez por toda su confiabilidad.
    • La regla permite evitar pasar por las tablas de verdad.
    3. A partir de una implicación y la premisa de la implicación, se puede inferir la
    Conclusión.

    4. Modus ponen o implicación-Eliminación:

    BERMELLO LUIS VII “SISTEMAS”


    A partir de una conjunción se puede inferir cuales son los coyuntos (elementos)

    5. Y- Eliminación: (eliminación de ^ )

    A partir de una lista de oraciones es posible inferir su conjunción

    6. Y- Introducción (Introducción del ^)

    A partir de una oración es posible inferir su disyunción con todo lo demás.

    7. O- Introducción (Introducción del Ú )

    A partir de una oración doblemente negada, es posible inferir una oración


    positiva

    8. Eliminación de la doble negación:

    A partir de una disyunción, si uno de los disyuntos es falso, entonces se puede


    inferir que el otro es verdadero.

    BERMELLO LUIS VII “SISTEMAS”

    También podría gustarte