Výroková logika - vyplývání

Příklad 1

  • Co vyplývá z následujících premis?

    1. Když půjdu do tanečních, babička bude mít radost. 

    2. Jestliže půjdu do hospody, babička radost mít nebude.
    • a) Jestliže nepůjdu do tanečních, nepůjdu do hospody.b) Půjdu do hospody nebo půjdu do tanečních.c) Nepůjdu do tanečních nebo nepůjdu do hospody.d) Babička nebude mít radost a nepůjdu do tanečních.e) Jestliže nepůjdu do hospody, půjdu do tanečních.
Příklad 2

  • Jsou dána dvě nepravdivá tvrzení:   

    1. Jestliže nebudeš lhát, nebudu ti věřit nebo tě nebudu brát vážně.   

    2. Když nebudeš mluvit pravdu, budeš lhát.   

    Vyberte z možností tu, kde výrok A je pravdivý a výrok B je nepravdivý.

     
    • a) A: Jestliže ti nebudu věřit, budu tě brát vážně. B: Když nebudeš mluvit pravdu, nebudu ti věřit.b) A: Když budeš mluvit pravdu, budu tě brát vážně. B: Nebudu ti věřit nebo nebudeš mluvit pravdu.c) A: Když budeš lhát, nebudu ti věřit. B: Jestliže ti nebudu věřit, budu tě brát vážně.d) A: Budu ti věřit a budu tě brát vážně. B: Budu ti věřit nebo tě budu brát vážně.e) A: Nebudu ti věřit nebo budeš mluvit pravdu. B: Když budeš lhát, nebudu ti věřit.