Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 60 vistas

    Taller Lógica Proposicional

    Cargado por

    Diana Jimenez
    1. Se simbolizan varias proposiciones usando letras como p, q, r, etc. para representar afirmaciones. 2. Se explican operadores lógicos como "no", "y", "o" y se muestra cómo representarlos formalmente. 3. Se piden ejemplos de enlazar proposiciones con su representación formal usando los símbolos introducidos.

    Copyright:

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

    Taller Lógica Proposicional

    Cargado por

    Diana Jimenez
    60 vistas1 página
    1. Se simbolizan varias proposiciones usando letras como p, q, r, etc. para representar afirmaciones. 2. Se explican operadores lógicos como "no", "y", "o" y se muestra cómo representarlos formalmente. 3. Se piden ejemplos de enlazar proposiciones con su representación formal usando los símbolos introducidos.

    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?

    1. Se simbolizan varias proposiciones usando letras como p, q, r, etc. para representar afirmaciones. 2. Se explican operadores lógicos como "no", "y", "o" y se muestra cómo representarlos formalmente. 3. Se piden ejemplos de enlazar proposiciones con su representación formal usando los símbolos introducidos.

    Copyright:

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

    Taller Lógica Proposicional

    Cargado por

    Diana Jimenez
    1. Se simbolizan varias proposiciones usando letras como p, q, r, etc. para representar afirmaciones. 2. Se explican operadores lógicos como "no", "y", "o" y se muestra cómo representarlos formalmente. 3. Se piden ejemplos de enlazar proposiciones con su representación formal usando los símbolos introducidos.

    Copyright:

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

    Taller lógica proposicional e.

    Una de dos: o salgo a dar un paseo, o me


    pongo a estudiar como un energúmeno.
    1. Simboliza las siguientes proposiciones:
    [p: salir a dar un paseo. q: estudiar como
    a. No vi la película, pero leí la novela
    un energúmeno].
    b. Ni vi la película ni leí la novela
    f. Si los elefantes volaran o supieran tocar el
    c. No es cierto que viese la película y leyese
    acordeón, pensaría que estoy como una
    la novela
    regadera y dejaría que me internaran en
    d. Vi la película aunque no leí la novela
    un psiquiátrico. [p: los elefantes vuelan. q:
    e. No me gusta trasnochar ni madrugar
    los elefantes tocan el acordeón. r: estar
    f. O tu estás equivocado o es falsa la noticia
    loco. s: internar en un psiquiátrico].
    que has leído
    g. Prefiero ir de vacaciones o estar sin hacer
    g. Si no estuvieras loca, no habrías venido
    nada si tengo tiempo para ello y no tengo
    aquí
    que ir a trabajar. [p: ir de vacaciones. q: no
    h. Llueve y o bien nieva o sopla el viento
    hacer nada. r: tener tiempo. s: ir a
    i. O está lloviendo y nevando o está
    trabajar].
    soplando el viento
    4. Enlaza cada proposición con su formalización:
    j. Si hay verdadera democracia, entonces no
    hay detenciones arbitrarias ni otras “Llueve” = p , “Hace sol” = q
    violaciones de los derechos civiles 1.Llueve y hace sol. a.¬ p
    k. Roberto hará el doctorado cuando y 2.Llueve y no hace sol. b.p ∨ q
    solamente cuando obtenga la licenciatura 3.Llueve o hace sol. c.p ∧ q
    l. Si viene en tren, llegará antes de las seis. 4.Si no llueve, hace d.p ∧¬ q
    Si viene en coche, llegará antes de las seis. sol.
    Luego, tanto si viene en tren como si viene 5.No es cierto que e.¬ ¬ p
    en coche, llegará antes de las seis. llueva.
    2. Simboliza: 6.No es cierto que no f.q ↔ ¬ p
    llueva.
    a. Si p, entonces q
    7.Hará sol si y sólo si g.¬ p → q
    b. No es el caso que p y q
    no llueve.
    c. p solamente si q y no-r: p ↔ (q ˄ ¬r)
    d. p o no-q
    1. Enlaza cada proposición con su formalización:
    e. Si p y q, entonces no-r o s
    f. Si p, entonces q, y si q, entonces p “Las estrellas emiten luz” = p ; “Los planetas
    g. Si p y q, entonces r. p. Luego si q, entonces reflejan la luz” = q ; “Los planetas giran
    r alrededor de las estrellas” = r
    h. Si p y q, entonces r. Si r y s, entonces t. Si las estrellas emiten
    Luego si p y q y s, entonces t luz, entonces los (p v q) ∧ r
    planetas la reflejan y
    3. Formaliza las siguientes proposiciones: giran alrededor de ellas
    Las estrellas emiten luz
    a. No es cierto que no me guste bailar. [p:
    o los planetas la reflejan
    me gusta bailar].
    y, por otra parte, los ¬(p∧q) → ¬r
    b. Me gusta bailar y leer libros de ciencia planetas giran alrededor
    ficción. [p: me gusta bailar. q: me gusta de ellas.
    leer libros de ciencia ficción]. Los planetas reflejan luz
    c. Si los gatos de mi hermana no soltaran si y sólo si las estrellas p → (q∧r)
    tanto pelo me gustaría acariciarlos. [p: los la emiten y los planetas
    gatos de mi hermana sueltan pelo. q: me giran alrededor de ellas
    gusta acariciar los gatos]. Si no es cierto que las
    d. Si y sólo si viera un marciano con mis estrellas emiten luz y
    propios ojos, creería que hay vida que los planetas la q ↔(p ∧ r)
    extraterrestre. [p: ver un marciano con reflejan, entonces éstos
    mis propios ojos. q: creer en los no giran alrededor de
    extraterrestres]. ellas

    También podría gustarte