Scribd Logo
Upload

Welcome to Scribd!

  • 4 views

    Wybrane Tezy Rachunku Zdań

    Uploaded by

    qwakens

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Wybrane Tezy Rachunku Zdań

    Uploaded by

    qwakens
    4 views1 page

    Original Title

    wybrane tezy rachunku zdań

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    4 views1 page

    Wybrane Tezy Rachunku Zdań

    Uploaded by

    qwakens

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 1

    wybrane tezy klasycznego rachunku zdań

    1. p⇔p prawo tożsamości


    2. p⇔(p∨p) pierwsze prawo tautologii
    3. p⇔(p∧p) drugie prawo tautologii
    4. p⇔¬(¬p) prawo podwójnego przeczenia
    5. p∨¬p prawo wyłączonego środka
    6. ¬(p∧¬p) prawo sprzeczności
    7. (p⇒¬p)⇒ ¬p pierwsze prawo redukcji do absurdu
    8. (p∧q)⇒p pierwsze prawo symplifikacji
    9. (p∧q)⇔ (q∧p) prawo przemienności koniunkcji
    10. q⇒(p∨q) drugie prawo symplifikacji
    11. q⇒( p⇒q) charakterystyka prawdy
    12. ¬p⇒(p⇒q) charakterystyka fałszu
    13. (p⇔q)⇔[(p⇒q)∧(q⇒p)] prawo rugowania znaku równoważności
    14. (p∨q)⇔ (q∨p) prawo przemienności alternatywy
    15. (p⇒q)⇔(¬q⇒¬p) prawo transpozycji prostej
    16. [p∧(p⇒q)]⇒q modus ponendo ponens
    17. [¬q∧(p⇒q)]⇒¬p modus tollendo tollens
    18. [¬p∧(p∨q)]⇒q modus tollendo ponens
    19. [p∧¬(p∧q)]⇒¬q modus ponendo tollens
    20. ¬(p∧q)⇔(¬p∨¬q) pierwsze prawo de Morgana
    21. (p∧q)⇔¬(¬p∨¬q) prawo rugowania znaku koniunkcji
    22. ¬(p∨q)⇔ (¬p∧¬q) drugie prawo de Morgana
    23. ¬(p⇒q)⇒(q⇒p) pierwsze prawo negowania implikacji
    24. ¬(p⇒q)⇒(p⇒¬q) drugie prawo negowania implikacji
    25. ¬(p⇒q)⇒(¬p⇒q) trzecie prawo negowania implikacji
    26. ¬(p⇒q)⇒(¬p⇒¬q) czwarte prawo negowania implikacji
    27. (p⇒q)⇔[p⇔(p∧q)] pierwsze prawo rugowania znaku implikacji
    28. (p⇒q)⇔[q⇔(p∨q)] drugie prawo rugowania znaku implikacji
    29. (p⇒q)⇔(¬p∨q) trzecie prawo rugowania znaku implikacji
    30. (p⇒q)⇔¬(p∧¬q) czwarte prawo rugowania znaku implikacji
    31. [(p⇒q)∧[p⇒¬q)]⇔¬p drugie prawo redukcji do absurdu
    32. [(p⇒q)∧[¬p⇒q)]⇔q odpowiednik drugiego prawa redukcji do absurdu
    33. [(p⇒r)∧[q⇒r)]⇔ [(p∨q)⇒r] prawo łączenia i rozłączania
    34. [(p∧q)⇒r]⇔[(p∧¬r)⇒¬q] prawo transpozycji złożonej
    35. [(p∧q)⇒r]⇔[p⇒(q⇒r)] prawo eksportacji i importacji
    36. [p⇒(q⇒r)] ⇔[q⇒(p⇒r)] prawo komutacji
    37. [(p⇒q)∧(q⇒r)]⇒(p⇒r) prawo sylogizmu hipotetycznego koniunkcyjnego
    38. (p⇒q)⇒[(q⇒r)⇒(p⇒r)] prawo sylogizmu hipotetycznego bezkoniunkcyjnego
    39. (p⇒q)⇒[(p∧r)⇒(q∧r)] prawo nowego czynnika
    40. [p∧(q∨r)]⇔[(p∧q)∨(p∧r)] prawo dystrybucji
    41. (q⇒r)⇒[(p∨q)⇒(p∨r)] prawo nowego składnika
    42. [(p⇒q)∧(p⇒r)]⇔[p⇒(q∧r)] prawo składania i rozkładania
    43. [(p⇒r)∧(q⇒r)∧(p∨q)]⇒r prawo dylematu konstrukcyjnego
    44. [(r⇒p)∧(r⇒q)∧(¬p∨¬q)]⇒¬r prawo dylematu destrukcyjnego
    45. [(p⇒r)∧(q⇒s)]⇒[(p∧q)⇒(r∧s)] prawo łączenia koniunkcyjnego
    46. [(p⇒r)∧(q⇒s)]⇒[(p∨q)⇒(r∨s)] prawo łączenia alternatywnego

    You might also like