Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 490 vistas

    Implicaciones Notables

    Cargado por

    Casilda Castañeda
    El documento resume varios conceptos lógicos como el modus ponens, modus tollens, silogismos hipotéticos y disyuntivos, dilemas constructivos y destructivos, conjunción, adición, leyes de inferencia y otras reglas lógicas. Explica cada concepto con un ejemplo y define las proposiciones utilizadas.

    Copyright:

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

    Implicaciones Notables

    Cargado por

    Casilda Castañeda
    490 vistas2 páginas
    El documento resume varios conceptos lógicos como el modus ponens, modus tollens, silogismos hipotéticos y disyuntivos, dilemas constructivos y destructivos, conjunción, adición, leyes de inferencia y otras reglas lógicas. Explica cada concepto con un ejemplo y define las proposiciones utilizadas.

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento resume varios conceptos lógicos como el modus ponens, modus tollens, silogismos hipotéticos y disyuntivos, dilemas constructivos y destructivos, conjunción, adición, leyes de inferencia y otras reglas lógicas. Explica cada concepto con un ejemplo y define las proposiciones utilizadas.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    490 vistas2 páginas

    Implicaciones Notables

    Cargado por

    Casilda Castañeda
    El documento resume varios conceptos lógicos como el modus ponens, modus tollens, silogismos hipotéticos y disyuntivos, dilemas constructivos y destructivos, conjunción, adición, leyes de inferencia y otras reglas lógicas. Explica cada concepto con un ejemplo y define las proposiciones utilizadas.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 2

    IMPLICACIONES NOTABLES

    MP

    MPP
    Modus Ponens o
    Modus Ponendo
    Ponens

    "Si Juan estudia,
    aprende", encontramos
    que Juan estudia, Que
    podemos concluir? ......
    "que Juan aprende". ...
    verdad?
    p q
    p
    q
    El consecuente:


    (M.T)

    MTT)

    Modus Tollens o
    Modus Tollendo
    Tollens

    "Si Juan estudia,
    aprende", encontramos
    que Juan no estudia,
    Que podemos
    concluir? .... "que Juan
    no aprende". ..
    Verdad?
    p q
    ~ q
    ~ p
    El antecedente:




    [(p --> q)^p]--> q
    (S: H) Silogismo Hipottico

    " Si juan estudia,
    aprende y si Juan
    aprende ampla sus
    opciones de empleo", en
    conclusin,
    "Si Juan estudia, ampla
    sus opciones de
    empleo".
    p q
    q r
    p r
    El 1er antecedente con el ltimo consecuente:

    Declaracin de proposiciones simples:
    p= Juan estudia
    q= Juan aprende
    r = Juan ampla sus posibilidades de empleo


    (S. D)

    (MTP)

    Silogismo disyuntivo o
    Modus Tollendo
    Ponens
    Si Juan lanza una
    moneda, esta puede
    caer cara o sello",
    encontramos
    que la moneda no cae
    cara. Que podemos
    concluir? ...... "que la
    moneda cae sello".....
    p v q
    ~ p
    q



    (D.C) Dilema constructivo
    (Si estudio aprendo y si duermo
    descanso.
    Estudi o dorm.
    Luego Aprend o descans).

    p= Juan estudia
    q= Juan trabaja
    r = Juan aprende
    s = Juan recibe dinero

    p v r
    q v s


    { [ (p -->r) ^(q -->s) ] ^ (p v q) } --> (r v s)

    Si juan estudia, aprende y si Juan trabaja recibe dinero", sabemos
    que, "Juan estudia trabaja". Qu podemos concluir? ....claro, que
    Juan o aprende o recibe dinero

    p -->r
    q -->s
    p v q
    ____
    r v s

    Dilema desctructivo p v r
    ~q v~ s

    (Abs) Absorcin
    "Si llueve hace fro",
    encontramos que llueve,
    luego es vlido concluir
    que llueve y hace fro.
    Es decir, que se estn
    dando las dos cosas.
    p q
    p (q . p)

    p --> q = se lee, Si llueve, entonces hace fro
    p =se lee, llueve
    ____
    p ^ q = se lee, en conclusin llueve y hace fro
    (Simp.) Simplificacin
    "Mara le comunica a
    Juan que estudia y
    trabaja", posteriormente,
    Juan se encuentra con
    Diego y le comenta que
    Mara estudia
    p . q
    p

    p. q
    q

    |( p q) . p] q

    |( p q ) . ~q] ~p

    [( p q ) . (q r )] ( p r )

    [( p v q ) . ~p] q [( p v q ) . ~q] p

    ( p q) . (r s )

    ( p q) > ( q . p )

    (p. q)p (p. q)q


    (Conj)

    Conjuncin
    "Mara le comunica a
    Juan que Diego estudia",
    Pedro le comunica a
    Juan que Diego trabaja"
    Que puede concluir
    Juan?.... por supuesto,
    que "Diego estudia y
    trabaja".
    p
    q______
    p . q
    p = se lee, Diego estudia
    q = se lee, Diego trabaja
    ____
    p ^ q= se lee, Diego estudia y trabaja
    (Ad.)

    Adicin

    Mara le comunica a
    Juan que estudia",
    posteriormente, Juan se
    encuentra con Diego y le
    comenta a ste que
    Mara estudia trabaja
    P______
    p v q

    q___
    p v q

    p = se lee, Mara estudia
    ____
    p v q = se lee, en conclusin mara estudia trabaja
    Ley de la inferencia
    equivalente
    pq
    p___
    q

    ley transitiva
    pq
    q r
    p r

    Ley de Morgan ~(p v q)
    ~p . ~q

    ~(p . q)
    ~p v ~q

    Ley de traslacin (p . q) r
    p (q. r)
    O a la inversa
    Ley de transposicin p q
    ~p ~q
    O a la inversa

    Ley del condicional p q
    ~ p v q


    p(p v q) q(p v q)
    [(pq) . p ] q
    [( p q ) . (qr )] ( p r )

    |( p . q) r] p (q. r)

    ( p q) > ( ~p~q )

    ( p q ) > (~p v q)

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy