Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 1K vistas

    Proposiciones e Inferencias Lógicas

    Cargado por

    amdamjaguares
    1) Un documento habla sobre proposiciones lógicas, que son el significado de enunciados declarativos y cómo se simbolizan usando variables proposicionales y conectivas lógicas. 2) Las conectivas lógicas como la negación, conjunción, disyunción, condicional y bicondicional vinculan proposiciones para formar fórmulas proposicionales complejas. 3) Las tablas de verdad muestran todos los casos posibles para las fórmulas proposicionales basadas en los

    Copyright:

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

    Proposiciones e Inferencias Lógicas

    Cargado por

    amdamjaguares
    1K vistas3 páginas
    1) Un documento habla sobre proposiciones lógicas, que son el significado de enunciados declarativos y cómo se simbolizan usando variables proposicionales y conectivas lógicas. 2) Las conectivas lógicas como la negación, conjunción, disyunción, condicional y bicondicional vinculan proposiciones para formar fórmulas proposicionales complejas. 3) Las tablas de verdad muestran todos los casos posibles para las fórmulas proposicionales basadas en los

    Descripción original:

    Lógica jurídica.

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    1) Un documento habla sobre proposiciones lógicas, que son el significado de enunciados declarativos y cómo se simbolizan usando variables proposicionales y conectivas lógicas. 2) Las conectivas lógicas como la negación, conjunción, disyunción, condicional y bicondicional vinculan proposiciones para formar fórmulas proposicionales complejas. 3) Las tablas de verdad muestran todos los casos posibles para las fórmulas proposicionales basadas en los

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    1K vistas3 páginas

    Proposiciones e Inferencias Lógicas

    Cargado por

    amdamjaguares
    1) Un documento habla sobre proposiciones lógicas, que son el significado de enunciados declarativos y cómo se simbolizan usando variables proposicionales y conectivas lógicas. 2) Las conectivas lógicas como la negación, conjunción, disyunción, condicional y bicondicional vinculan proposiciones para formar fórmulas proposicionales complejas. 3) Las tablas de verdad muestran todos los casos posibles para las fórmulas proposicionales basadas en los

    Copyright:

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

    Proposiciones e Inferencias Lgicas

    Al hablar, nos expresamos mediante enunciados; esto es, oraciones como este es un libro
    de Lgica. Los conjuntos de palabras son oraciones por que cumplen con el requisito de
    ser significativas, de expresar cabalmente una idea.
    Cuando varios enunciados tienen el mismo significado decimos de ellos que expresan la
    misma proposicin. Ej: saltamos nosotros o nosotros saltamos
    Una proposicin es, pues, el significado de un enunciado declarativo o descriptivo.
    La lgica se maneja a travs de los llamados valores de verdad, que -en un sistema
    bivalente como el que analizamos- son dos: verdadero o falso. (Algunos prefieren decirlo
    de modo ms abstracto y utilizan los smbolos 1 y 0)
    Cuando un enunciado hacer referencia a cierto estado de cosas, de tal suerte que sea posible
    determinar si es verdadero o falso, decimos que es un enunciado descriptivo o declarativo
    cuya verdad depende de la existencia real del estado de cosas descripto. Si el enunciado
    puede ser verdadero o falso, entonces es descriptivo y constituye materia prima para la gran
    maquinaria lgica.

    Simbolizacin de las Proposiciones.


    Variables, conectivas y signos auxiliares. Simbologa y notacin.
    La Lgica (lgica simblica o matemtica) utiliza un lenguaje formal compuesto por
    smbolos convencionales. Estos smbolos permiten manejar las proposiciones segn las
    relaciones que tengan entre s, sin prestar atencin a su contenido.
    Formula Algebraica
    a+b=b+a
    No nos interesa saber qu nmero puede asignarse a cada una de las letras minsculas
    utilizadas, siempre que cada una de ellas tenga en todos los casos dentro del mismo
    clculo- en valor idntico.
    Si suponemos que a es 4 y b es 5 tenemos
    a+b=b+a

    4+5=5+4
    En la lgica proposicional las letras minsculas no representa no representan nmeros, sino
    proposiciones. Se llaman por esto variables proposicionales, ya que podemos asignarles
    como contenidos cualquier proposicin concreta que deseamos. Este es el nombre ms
    extendido, pero algunos autores las llaman tambin letreas esquemticas o letreas
    sentenciales.
    Por costumbre se usan preferentemente las letras p, q, r, s, t, w. z;
    Cada variable puede representar distintas proposiciones, pero dentro del mismo contexto, el
    significado que se asigne a cada variable deber ser siempre idntico.
    Trminos de enlace o conectivas lgicas de las proposiciones.

    El lenguaje natural suele vincular entre s dos o ms enunciados para formar un enunciado
    ms complejo. Ej: Llueve y hace fro. En castellano esa funcin vinculatoria es cumplida
    por palabras tales como y, o, si, pero, y otras.
    El lenguaje formal representa aquellos vnculos mediante signos especiales, que reciben el
    nombre de conectivas extensionales (conectivas a secas, para los ntimos), signos lgicos,
    constantes lgicas u operadores.
    La notacin ms extendida es la llamada inglesa o de Russell, cuyas conectivas principales
    se representa mediante los smbolos siguientes:

    , ., v,
    , ,

    Por el modo en que las conectivas afectan a las variables a que se refieren, se las divide en
    mondicas y didicas o binarias.
    El signo
    es mondico, porque slo afecta a una proposicin: la representada por al
    frmula de la derecha. As, la verdad de la frmula -p depender del valor de verdad de
    p modificado por el operador -. Las dems conectivas mencionadas se llaman didicas
    por que afectan a dos proposiciones conjuntamente: las situadas a la derecha e izquierda del
    signo de que se trate.
    Smbolos auxiliares
    Aparte de las variables y de las conectivas, la lgica cuenta tambin con smbolos
    auxiliares, que hacen las veces de signos de puntuacin y sirven para separar, en caso
    necesario, unas frmulas de otras. Se trata de los parntesis ( ), los corchetes [ ], las
    llaves { } entre otras.
    Formula Proposicional
    Una formula proposicional es una expresin simblica que est compuesta exclusivamente
    por variables proposicionales, conectivas o signos lgicos y smbolos auxiliares. Los
    componente de una formula no pueden estar mesclados al azar, han de respetar las llamadas
    reglas de formacin o normas sintcticas convencionales que rigen la estructura simblica
    de las frmulas. Estas reglas pueden enunciarse as.
    1) Una variable proposicional es una formula Ej p, q, r.
    2) Una formula precedida por un operador mondico es una frmula. Ej -p, -q, -r.
    3) Dos frmulas encerradas dentro de un par de signos auxiliares y entre las cuales hay
    un operador didico (y solo un operador didico), constituye una frmula.
    Ej:

    No son frmula bien formadas por tanto:


    Casos posibles
    Una proposicin describe un estado de cosas, y su verdad depende de que dicho estado de
    cosas exista en realidad. Rente a cada descripcin simple (por ejemplo el ro est crecido)
    caben, pues dos posibilidades: que ella sea verdadera o sea falsa. En simbolos suele usarse
    una tabla de certeza o tabla de verdad.
    Tabla de certeza
    Una tabla de verdad, o tabla de valores de verdad, o tabla de certeza es una tabla que
    muestra el valor de verdad de una proposicin compuesta, para cada combinacin de
    valores de verdad que se pueda asignar a sus componentes.
    Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms
    popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
    publicado en 1921.

    P
    __
    V
    F
    La formula atmica que se encuentra encima de la lnea horizontal representa la
    proposicin a que nos referimos, y las iniciales V y F simbolizan los dos casos posible
    que existen para P, que p sea verdadero o que p sea falso. El panorama de casos se
    complica cuando la proposicin se compone de dos o ms estados de cosas o en lenguaje
    simblico cuando una formula se compone de dos o ms frmulas atmicas (p . q).

    p
    q
    ____ ____
    V
    V
    F

    Por cada variable proposiconal corresponden dos casos (V y F. El nmero de casos


    posibles, pues, es 2n, donde n es el nmero de variables proposicionales presentes en una
    frmula y la base 2 representa ladualidad de valores de verdad en la lgica binaria: V y F.
    Conectivas
    Negacin
    Conjuncin
    Disyuncin
    Condicional
    Bicondicional

    También podría gustarte