Scribd Logo
Importer

Bienvenue sur Scribd !

  • Ejercicios Parecidos Control 4

    Transféré par

    alexis
    60 vues3 pages
    ejercicios

    Copyright

    © © All Rights Reserved

    Formats disponibles

    DOCX, PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Signaler ce document
    ejercicios

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme DOCX, PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    60 vues3 pages

    Ejercicios Parecidos Control 4

    Transféré par

    alexis
    ejercicios

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme DOCX, PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    sur 3

    3.

    Utilizando las reglas de inferencia, demostrar que P V H, es una conclusión válida para

    las siguientes proposiciones:

    1) N→ ￢Q (p)

    2) ￢￢Q (p)

    3) ￢ (N v P) → N (p)

    4) Q Doble Negación, (DN), (2)


    5) ¬ N MTT (1,4)
    6) ¬ (¬ (N v P) MTT (3,5)
    7) N v P DN (6)
    8) P MTP (7,5)
    9) P v H Ley de la Adición

    Vous aimerez peut-être aussi