Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 4 vistas

    Saberes Previos

    Cargado por

    alfredocecahuamari

    Copyright:

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

    Saberes Previos

    Cargado por

    alfredocecahuamari
    4 vistas2 páginas

    Título original

    SABERES PREVIOS

    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?

    Copyright:

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

    Saberes Previos

    Cargado por

    alfredocecahuamari

    Copyright:

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

    SABERES PREVIOS

    Lógica proposicional

    Conjunción: y; pero; sin embargo; también; igualmente, tanto como, no


    obstante, además, así sea, a la vez, incluso, no obstante, al
    igual que, así como, (.), (,)
    p ˄ q es verdadera cuando ambas proposiciones son verdaderas

    Disyunción Inclusiva: o…, u.., a pesar que, a menos que, a no ser que, o en
    todo caso, salvo que, excepto que.
    p ˅ q es falsa cuando ambas proposiciones son falsas

    Disyunción Exclusiva: O bien…, o bien…, o tan solo, salvo que


    únicamente, ...o… (pero no ambos)
    p Δ q es falsa cuando ambas proposiciones son iguales (o verdaderas o falsas)

    Condicional: si…, entonces…, por lo tanto, en conclusión, por consiguiente, en


    consecuencia, de ahí que, de manera que, implica que, luego,
    Porque…, Ya que…, entonces…,
    p →q es falsa cuando el antecedente es verdadero y el consecuente falso.

    Condicional inverso: …porque…, ya que…, si…, siempre que…, dado


    que…, puesto que…

    Bicondicional: si y solo si, cuando y solo cuando


    p ↔ q es verdadero cuando ambas proposiciones son iguales (o verdaderas o
    falsas)

    Del Condicional
    p → q ≡q →p
    p → q≡ p ˅ q

    De - Morgan
    ( p ˄ q) ≡ p˅ q
    ( p ˅ q) ≡ p˄ q

    Involución (doble negación)


    ( p)≡p

    Idempotencia
    p˄p≡p
    pvp≡p

    Conmutativa
    p˄q≡q˄p
    pvq≡qvp
    p↔q≡q↔p
    Absorción

    Lógica de clases

     Todos los A son B


     Ningún A es no B
     Ningún no B es A

     Ningún A es B
     Ningún B es A
     Todos los A son no B
     Todos los B son no A

     Algunos A no son B
     Algunos A son no B
     Algunos no B son A

     Algunos A son B
     Algunos B son A
     Algunos A no son no B
     Algunos B no son no A

    También podría gustarte