Scribd Logo
Importer

Bienvenue sur Scribd !

  • Reglas de Inferencia y Reemplazo

    Transféré par

    Ing. Gerson Perez Martinez
    3K vues2 pages
    Breve descripción (formulario) de las Reglas de Inferencia y de Reemplazo, básicas, a la hora de validar argumentos mediante Lógica Proposicional.

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Signaler ce document
    Breve descripción (formulario) de las Reglas de Inferencia y de Reemplazo, básicas, a la hora de validar argumentos mediante Lógica Proposicional.

    Droits d'auteur :

    Attribution Non-Commercial (BY-NC)
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    3K vues2 pages

    Reglas de Inferencia y Reemplazo

    Transféré par

    Ing. Gerson Perez Martinez
    Breve descripción (formulario) de las Reglas de Inferencia y de Reemplazo, básicas, a la hora de validar argumentos mediante Lógica Proposicional.

    Droits d'auteur :

    Attribution Non-Commercial (BY-NC)
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    sur 2

    ReglasdeInferencia

    Ing.GersonPrezMartnez

    1.AdjuncinADJ

    5.ModusPonendoTollensMPT

    P
    Q
    PQ

    PQ
    P
    Q

    P
    Q
    PQ

    PQ
    Q
    P

    2.SimplificacinS

    6.ModusTollendoPonensMTP

    PQ
    P
    Q

    PQ
    P
    Q

    PQ
    P
    Q

    PQ
    Q
    P

    3.ModusPonendoPonensMPP

    7.SilogismoHipotticoSH

    PQ
    P
    Q

    PQ
    QR
    PR

    PQ
    Q
    P

    QP
    RQ
    RP

    4.ModusTollendoTollensMTT

    PQ
    P
    Q

    PQ
    Q
    P

    ReglasdeReemplazo
    Ing.GersonPrezMartnez

    1.DobleNegacinDN

    P
    P

    2.LeydeMorganLM

    (PQ)'
    PQ

    (PQ)'
    PQ

    3.EQUIVALENCIASE1,E2

    PQ

    E1

    PQ

    E2

    QP

    Vous aimerez peut-être aussi