Scribd Logo
Upload

Welcome to Scribd!

  • Pravila Izvodjenja

    Uploaded by

    Dimitrije Mita Pešić
    31 views1 page
    Pravila izvođenja zadaci

    Original Title

    pravila izvodjenja (1)

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Pravila izvođenja zadaci

    Copyright:

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

    Pravila Izvodjenja

    Uploaded by

    Dimitrije Mita Pešić
    Pravila izvođenja zadaci

    Copyright:

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

    Правилима извођења показати да су тачне формуле

    1. (( p ⟹ q)⋀ ( p ⟹r ))⟹( p ⟹ q ⋀ r)
    2. ( p ⋀ q ⟹r ) ⟹( p⟹ ( q ⟹ r ) )
    3. ( p ⟹ ( q ⟹r )) ⟹( p ∧q ⟹ r )
    4. ( p ⟹ ( q ⟹r )) ⟺(q ⟹( p ⟹ r ))
    5. ( p ∧q ⟹ r ) ⟺(p ∧ ¬r ⟹¬ q)
    6. (¬ p ⋀ q ⟹ r)⟺(¬ p ⋀ ¬r ⇒ ¬ q)
    7. ( ( p ⟹ q ) ⋀ ( p ⟹ r ) ) ⇔( p ⟹ q ⋀ r)
    8. ( p ∨q) ∧(q ⟹ ¬r )⟹( p ∨¬ r )

    You might also like