Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 39 vistas

    Lógica Proposicion

    Cargado por

    stephania viany paucar segundo
    El documento habla sobre la lógica proposicional. Estudia proposiciones que pueden ser verdaderas o falsas pero no ambas. Usa conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional para combinar proposiciones. Representa proposiciones usando letras y conectores lógicos con tablas de verdad.

    Copyright:

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

    Lógica Proposicion

    Cargado por

    stephania viany paucar segundo
    39 vistas16 páginas
    El documento habla sobre la lógica proposicional. Estudia proposiciones que pueden ser verdaderas o falsas pero no ambas. Usa conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional para combinar proposiciones. Representa proposiciones usando letras y conectores lógicos con tablas de verdad.

    Título original

    lógica proposicion

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento habla sobre la lógica proposicional. Estudia proposiciones que pueden ser verdaderas o falsas pero no ambas. Usa conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional para combinar proposiciones. Representa proposiciones usando letras y conectores lógicos con tablas de verdad.

    Copyright:

    © All Rights Reserved
    Descargue como PPT, PDF, TXT o lea en línea desde Scribd
    Descargar como ppt, pdf o txt
    39 vistas16 páginas

    Lógica Proposicion

    Cargado por

    stephania viany paucar segundo
    El documento habla sobre la lógica proposicional. Estudia proposiciones que pueden ser verdaderas o falsas pero no ambas. Usa conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional para combinar proposiciones. Representa proposiciones usando letras y conectores lógicos con tablas de verdad.

    Copyright:

    © All Rights Reserved
    Descargue como PPT, PDF, TXT o lea en línea desde Scribd
    Descargar como ppt, pdf o txt
    Está en la página 1de 16

    LÓGICA

    PROPOSICIONAL
    LÓGICA PROPOSICIONAL

    La lógica proposicional o también


    llamada lógica matemática estudia las
    proposiciones, entendiendo como tales
    a los enunciados declarativos que
    tienen la propiedad de ser verdaderos o
    falsos ; pero no ambas al mismo
    tiempo
    Proposición Lógica

    Enunciado que puede ser


    verdadero o falso, pero no ambos.

    •El Sol es fuente de energía V


    •Alejandro Toledo fue Presidente de Perú. V
    •Alfonso Ugarte es un héroe chileno F
    •3 - 4 = 7 F
    •Yurimaguas es una provincia del Perú V
    Los conectivos lógicos se utilizan
    para combinar proposiciones y
    obtener nuevas proposiciones.

    Simples o Atómicas
    •El Misti queda en Arequipa
    Proposiciones
    Compuestas
    •El Misti queda en
    Arequipa y Machupicchu
    en Cuzco
    Formalización Lógica

    Letras P, q, r,
    s
    Conectores v, ^, , 

    Signos de ( ), [ ], { }
    agrupación
    Letras

    •El Misti queda en Arequipa y Machupicchu


    en Cuzco.

    El Misti queda en Arequipa = p


    Machupicchu en Cuzco = q
    Principales Conectivos Lógicos

    Negación
    Conjunción
    Disyunción
    Condicional
    Bicondicional
    Expresión en el
    lenguaje natural
    Ejemplo Símbolo

    no No está lloviendo. ~p
    Está lloviendo y está
    Y , ni, pero, que ^
    nublado.
    Está lloviendo o está
    o v
    soleado.
    si... Entonces, … Si está soleado,

    luego.. entonces es de día.
    Está nublado si y sólo si
    si y sólo si 
    hay nubes visibles.
    Ni está soleado ni está
    ni... ni ↓
    nublado.
    O bien está soleado, o
    o bien... o bien ≠
    bien está nublado.
    Ejemplo
    Si llegas después de las ocho y
    media, entonces encontrrás la
    puerta cerrada y no podrás entrar al
    teatro.
    Representación: p  (q^r)
    A practicar!!!!!!
    Negación
    Dada una proposición p, se llama negación de p a la proposición “no p”
    que se representa por p

    • Ejemplo : TABLA DE VERDAD


    “Si p es verdadera  p
    Si p : “el hombre es mortal” es falsa; si p es falsa , p
    es verdadera”

    Entonces:  
    p: “no es cierto que el hombre es p p
    mortal”; lo que equivale a decir :
     
    V F
    p : “el hombre no es mortal”
     
    F V
    Conjunción
    Dadas las proposiciones p y q , se llama conjunción de
    p y q a la proposición “p y q” representada por p  q

    • Ejemplo :
    TABLA DE VERDAD
    Si p : “2 es mayor que 5”
    “p  q es verdadera si p y q son
    y verdaderas simultáneamente”
    q : “todo número impar es primo”
    p q   pq
    Entonces:
     
    V V V
    p  q : “2 es mayor que 5 y V F F
    todo número impar es F V F
    primo” F F F
    Disyunción
    Dadas las proposiciones p y q , se llama disyunción d p y q a la
    proposición “p o q” que se representa por p  q.

    • Ejemplo : TABLA DE VERDAD


    “p  q es verdadera si p es
    Si p : “hace frio en invierno” verdadera o q es verdadera”
    y q : “Napoleón invadió
    Rusia” p q   p q

    Entonces : V V   V
    V F V
    p  q : “Hace frio en F V V
    invierno o Napoleón F F F
    invadió Rusia”
    Condicional
    Se llama condicional de p y q a la proposición “si p entonces q” y se
    representa por “p  q “ , p se llama antecedente y q consecuente del
    condicional p  q

    • Ejemplo: TABLA DE VERDAD


    p  q es verdadera si p es
    Si p : “2 es número primo” falsa o q es verdadera “
    y q : “5 es menor que 4”
    p q pq

    Entonces:   V
    V V
    V F F

    p  q: “si 2 es número
    primo entonces 5 es
    F V V

    menor que 4” F F V
    Condicional o Implicación
    Se lee:
    Si P entonces Q

    P implica Q

    PQ P es suficiente para Q

    P sólo si Q

    Q si P

    Q siempre que P

    Q es necesario para P
    Bicondicional
    Se llama bicondicional de dos proposiciones p y q a la
    proposición “p si y sólo si q” representada por “p  q”

    • Ejemplo : TABLA DE VERDAD


    “pq es verdadera si p y q son
    p : “ Juan ingresa a la ambas verdaderas o ambas
    universidad” falsas”
    q : “Juan estudia mucho” pq
    p q
      V
    Entonces: V V
    V F F

    F V F

    p q : “Juan ingresa a la F F V

    universidad si y sólo si
    estudia mucho”

    También podría gustarte