Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 3K vistas

    Logica de Proposiciones Compuestas

    Cargado por

    Xheyla
    CURSO: FILOSOFÍA Y LÓGICA LÓGICA DE PROPOSICIONES COMPUESTAS. Formalización de proposiciones. Leyes de la lógica. Las tablas de verdad. El método abreviado. Katherine Sheyla De la Torre Zevallos ENUNCIADOS SIMPLES V ³Proposición que no está formado por otros enunciados y por ello no contiene términos de enlace o conectivas´. conectivas´. F 2 Los enunciados simples del lenguaje natural se sustituirán por las variables proposicionales simbolizadas mediante las letras minúsculas: minúsculas

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd

    Logica de Proposiciones Compuestas

    Cargado por

    Xheyla
    3K vistas32 páginas
    CURSO: FILOSOFÍA Y LÓGICA LÓGICA DE PROPOSICIONES COMPUESTAS. Formalización de proposiciones. Leyes de la lógica. Las tablas de verdad. El método abreviado. Katherine Sheyla De la Torre Zevallos ENUNCIADOS SIMPLES V ³Proposición que no está formado por otros enunciados y por ello no contiene términos de enlace o conectivas´. conectivas´. F 2 Los enunciados simples del lenguaje natural se sustituirán por las variables proposicionales simbolizadas mediante las letras minúsculas: minúsculas

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    CURSO: FILOSOFÍA Y LÓGICA LÓGICA DE PROPOSICIONES COMPUESTAS. Formalización de proposiciones. Leyes de la lógica. Las tablas de verdad. El método abreviado. Katherine Sheyla De la Torre Zevallos ENUNCIADOS SIMPLES V ³Proposición que no está formado por otros enunciados y por ello no contiene términos de enlace o conectivas´. conectivas´. F 2 Los enunciados simples del lenguaje natural se sustituirán por las variables proposicionales simbolizadas mediante las letras minúsculas: minúsculas

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    3K vistas32 páginas

    Logica de Proposiciones Compuestas

    Cargado por

    Xheyla
    CURSO: FILOSOFÍA Y LÓGICA LÓGICA DE PROPOSICIONES COMPUESTAS. Formalización de proposiciones. Leyes de la lógica. Las tablas de verdad. El método abreviado. Katherine Sheyla De la Torre Zevallos ENUNCIADOS SIMPLES V ³Proposición que no está formado por otros enunciados y por ello no contiene términos de enlace o conectivas´. conectivas´. F 2 Los enunciados simples del lenguaje natural se sustituirán por las variables proposicionales simbolizadas mediante las letras minúsculas: minúsculas

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    Está en la página 1de 32

    CURSO: FILOSOFA Y LGICA

    LGICA DE PROPOSICIONES COMPUESTAS. Formalizacin de proposiciones. Leyes de la lgica. Las tablas de verdad. El mtodo abreviado.

    Katherine Sheyla De la Torre Zevallos

    ENUNCIADOS SIMPLES

    Proposicin que no est formado por otros enunciados y por ello no contiene trminos de enlace o conectivas. conectivas.

    F
    2

    Los enunciados simples del lenguaje natural se sustituirn por las variables proposicionales simbolizadas mediante las letras minsculas: minsculas: m, n, o, p, q, r, etc. etc.

    p = La casa es roja

    q = Del Solar es DT de la seleccin peruana de ftbol


    3

    ENUNCIADOS COMPUESTOS
    Enunciado compuesto por varios enunciados simples o varios compuestos, enlazados por conectores como: y, o, pero, si..entonces, como: si..entonces, s y slo si, no, ni.. ni, una de dos, por lo ni tanto, etc. etc.
    Su valor de verdad se determina completamente por medio del valor de verdad de sus enunciados simples junto con la forma cmo ellos se conectan para conformar un enunciado compuesto.
    4

    Los trabajadores estn cosechando lechugas y papas p = Los trabajadores estn cosechando lechugas. q = Los trabajadores estn cosechando papas.
    5

    SINTAXIS DE LA LGICA PROPOSICIONAL


    El primer paso en el estudio de un lenguaje es definir los smbolos bsicos que lo constituyen (alfabeto) y cmo se combinan para formar sentencias. Est constituido por: -Smbolos de veracidad: se pueden usar (V) para verdadero y (F) para falso. Tautologa (T), Contradiccin ( ) y Contingencia (Q) -Smbolos de variables: p, q, ... , z -Smbolos de conectivas: ~, , V, V, , -Smbolos auxiliares: parntesis ( ), corchetes [ ] y llaves { } para evitar ambigedades. -Metavariables: A, B, C,,Z

    LENGUAJE DE LA LGICA PROPOSICIONAL


    FUNCTORES, OPERADORES O CONECTIVOS LGICOS
    Conectivo No Y O O O Si Entonces Si Solo Si Nombre Lgico Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Implicacin o Condicional Doble Implicacin o Bicondicional

    Smbolo ~

    V V

    EXPRESIONES QUE REPRESENTAN CONECTORES


    NEGACIN no no es el caso de que es falso que no es verdad que no es cierto que no es posible es imposible que jams nunca tampoco CONJUNCIN y pero sin embargo no obstante adems tambin a la vez a la par al mismo tiempo a pesar de que sino CONDICIONAL DIRECTO p luego q p por lo tanto q p de ah que q p en consecuencia q p en conclusin q p por lo que q p, es as que q p, se sigue (que) q DISYUNCIN o oo o bieno bien ya seaya sea CONDICIONAL INDIRECTO q porque p q puesto que p q pues p q como p q dado que p q de p q debido a p q ya que p BICONDICIONAL p si y slo si q p si y solamente si q p cuando y solamente cuando q p entonces y slo entonces q p es condicin necesaria y suficiente que q

    Cmo formalizar el lenguaje natural:


     

    (I) Identificar los enunciados simples (II) Asignar a cada enunciado simple su contexto, siempre afirmado. (III) Identificar los conectores lgicos: negacin, disyuncin inclusiva, disyuncin exclusiva, condicional, bicondicional. (IV) Reconstruir los enunciados complejos a partir de los simples y las partculas lgicas: Simbolizacin.
    9

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Hume canta o Kant baila o Hegel da palmas

    Hume canta | p Kant baila | q Hegel da palmas | r

    pqr

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Hume canta y Kant baila y Hegel da palmas

    Hume canta | p Kant baila | q Hegel da palmas | r

    pqr

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Hume canta, o Kant baila y Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r

    p (q r)

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Hume canta o Kant baila, y Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r

    (p q) r

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Si Hume canta, Kant baila Hume canta | p Kant baila | q Hegel da palmas | r

    ppq

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Si Hume canta, Kant baila Hume canta | p Kant baila | q Hegel da palmas | r

    ppq

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Si Hume canta y Kant baila, Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r

    (p q) p r

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Hume canta, y, si Kant baila, Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r

    p (q p r)

    ALGUNAS FORMALIZACIONES SENCILLAS


    -Hume canta si y slo si Hegel da palmas Hume canta | p Kant baila | q Hegel da palmas | r

    pmr

    ALGUNAS FORMALIZACIONES SENCILLAS


    - Si Hume canta, entonces Kant baila si Hegel no da palmas

    Hume canta | p Kant baila | q Hegel da palmas | r

    p p (r p q)

    ALGUNAS FORMALIZACIONES SENCILLAS


    - Hume canta, si y slo si Kant no baila si Hegel da palmas

    Hume canta | p Kant baila | q Hegel da palmas | r

    p m (r p q)

    FUNCIONES VERATITIVAS: NEGACIN (~) Consiste en cambiar el valor de una proposicin CONJUNCIN ( ) -La sentencia ser verdadera slo cuando ambas variables proposicionales sean verdaderas. DISYUNCIN INCLUSIVA (V) -La sentencia ser verdadera cuando una o ambas variables proposicionales sean verdaderas. DISYUNCIN EXCLUSIVA (V) -La sentencia ser verdadera slo cuando slo una de las dos variables proposicionales sea verdadera. CONDICIONAL ( ) -La sentencia ser falsa cuando se cumpla que es vlido p, pero NO lo es q, en el resto de los casos la sentencia es verdadera. BICONDICIONAL () -La sentencia ser verdadera cuando ambas variables proposicionales sean iguales.

    TABLAS DE VERDAD
    p
    F

    q
    F

    p
    V

    pq
    F

    pq
    F

    pvq
    F

    pq
    V

    pq
    V

    REGLAS DE DIAGRAMAS SEMANTICOS

    CLASIFICACIN DE LAS FRMULAS PROPOSICIONALES Considerando la distribucin de los valores de verdadero y falso, en la matriz principal de la tabla de verdad de las frmulas proposicionales, stas se clasifican en: tautolgicas, contingentes y contradictorias. -FRMULAS PROPOSICIONALES TAUTOLGICAS (T). Son aquellas cuya matriz principal contiene nicamente valores de verdadero. -FRMULAS PROPOSICIONALES CONTINGENTES (Q). Son aquellas cuya matriz principal contiene tanto valores de verdadero como de falso. -FRMULAS PROPOSICIONALES CONTRADICTORIAS (B). Son aquellas cuya matriz principal contiene nicamente valores de falso.

    MTODO ABREVIADO Es un mtodo que abrevia la elaboracin de la tabla de verdad. Consiste en los siguientes pasos: 1. Suponemos que el operador principal de la frmula es falso o verdadero. 2. Elegimos alternativas de asignacin de valores que permitan que se cumpla o no este supuesto en todo el esquema, respetando la jerarqua de los operadores. 3. Si se cumple la suposicin, o sea no hay incoherencias veritativas, cuando menos hay un caso de falso o de verdadero en la tabla de verdad, y por ende el esquema no ser tautolgico o no ser contradictorio respectivamente. (En el primer caso faltara descartar si la funcin proposicional es contradictoria o contingente; en el segundo caso, si es tautolgica o contingente) 4. Si no se cumple dicha suposicin, es decir, si se halla una contradiccin, podemos concluir que no hay ni un solo caso de falso o de verdadero, y que, por lo tanto, la frmula ser tautolgica o contradictoria, respectivamente. 5. Por ltimo, si el esquema no presenta incoherencias bajo ninguno de los 2 presupuestos bsicos (que la frmula sea verdadera o falsa), entonces no es ni tautolgico ni contradictorio. Esto implicar que sea contingente

    EJEMPLO DE APLICACIN DEL MTODO ABREVIADO Aplique el mtodo abreviado: [p(p q)] q -Supongamos que el conector de mayor jerarqua, es decir, , es falso. -Pero sabemos que cuando una condicional es falsa su antecedente es verdadero y su consecuente es falso. -Si esto as, entonces q deber ser falso. O sea, q=F -Adems, [p(p q)] tendr que ser verdadero. -Pero sabemos que una conjuncin es verdadera nicamente cuando sus componentes son verdaderas. -De ah que p tenga que ser verdadero (p=V) y (p q) tenga que ser tambin verdadero. -Pero si p=V y q=F, (p q) debera ser falso. Hemos llegado a una contradiccin. -Podemos concluir que suponiendo que toda la frmula es falsa, se llega a una contradiccin, lo cual prueba que no hay ningn mundo en el cual la frmula sea falsa, es decir, el esquema analizado es una tautologa pues resulta verdadera en todos los mundos posibles.

    LEYES LGICAS

    EJERCICIOS DE FORMALIZACIN
    

    Cuando el ventero est en la puerta, el diablo est en la venta, pero cuando no est en la puerta, el diablo sigue estando en la venta

    p | el ventero est en la puerta q | el diablo est en la venta

    (p p q) (p p q)

    EJERCICIOS DE FORMALIZACIN
    

    Si es un cuadrado pequeo, es rojo; ni es un cuadrado grande ni es un cuadrado rojo; es un tringulo si es rojo


    p | es pequea s | es grande q | es cuadrada t | es triangular r | es roja u | es azul

    [(q p) p r] [(q s) (q r)] (t p r)

    EJERCICIOS DE FORMALIZACIN
    

    No es un cuadrado grande; no es un tringulo azul; es roja si y slo si es pequea


    p | es pequea s | es grande q | es cuadrada t | es triangular r | es roja u | es azul

    (q s) (t u) (r m p)

    EJERCICIOS DE FORMALIZACIN
    

    Si es un cuadrado o es roja, es grande; es grande si y slo si es azul; slo es un cuadrado si es roja


    p | es pequea s | es grande q | es cuadrada t | es triangular r | es roja u | es azul

    [(q r) p s] (s m u) (q p r)

    EJERCICIOS DE FORMALIZACIN
    

    Aprobar lgica, si Dios quiere. Aprobar lgica si y slo si estudio y hago todos los ejercicios. Sin embargo, no he hecho los ejercicios. Por tanto, Dios no quiere que apruebe lgica.

    p | apruebo lgica r | estudio

    q | Dios quiere que apruebe s | hago los ejercicios

    hay algn modo de marcar la diferencia de ese por tanto?

    S: es la conclusin de un argumento. Vamos a marcarla con el smbolo @, que equivale a la implicacin final de un argumento (p)
    (q p p) [p m (r s)] s
    @ q

    {(q p p) [p m (r s)] s } p q

    También podría gustarte