VYVOJ - TrenujTSP.cz
  • TSP online trénink
    • Ceník členství
  • Anglický jazyk
    • Idiomy (10)
    • Dlouhé texty (10)
    • Main idea (10)
    • Vyplývání (10)
    • Analogie (10)
    • Doplňování slov (10)
    • Skupiny slov (10)
    • Přísloví (10)
    • Nezařazené (10)
  • Kritické myšlení
    • Dlouhé texty (12)
    • Právní předpisy (15)
    • Pravděpodobnost (15)
    • Pravidlo (15)
    • Kvantifikátory (10)
    • Nezařazené (13)
  • Numerika, analytika
      • Část a celek (8)
      • Operace (8)
      • Poměry (8)
      • Rovnice a nerovnice (5)
      • Slovní úlohy (8)
      • Logaritmy a exponenty (5)
      • Tělesa (5)
      • Číselné řady (8)
      • Nápisy (8)
      • Separator
      • Cyklus (5)
      • Cesty (5)
      • Zakódovaná čísla (8)
      • Hledání pravidla (8)
      • Grafy a tabulky (6)
      • Predikátová logika - negace (4)
      • Výroková logika - vyplývání (5)
      • Sylogizmus (8)
      • Separator
      • Podezřelí (4)
      • Obyvatelé (3)
      • Zebry (5)
      • Zlomky, procenta, desetinná čísla (8)
      • Výroková logika - negace, ekvivalence (4)
      • Nezařazené (analytika) (7)
      • Nezařazené (numerika) (7)
  • Přihlásit se

    Přihlásit se

    • Zapomenuté heslo?
  • Vyzkoušet ZDARMA

VYVOJ - TrenujTSP.cz
  • TSP online trénink
    • Ceník členství
  • Anglický jazyk
    • Idiomy (10)
    • Dlouhé texty (10)
    • Main idea (10)
    • Vyplývání (10)
    • Analogie (10)
    • Doplňování slov (10)
    • Skupiny slov (10)
    • Přísloví (10)
    • Nezařazené (10)
  • Kritické myšlení
    • Dlouhé texty (12)
    • Právní předpisy (15)
    • Pravděpodobnost (15)
    • Pravidlo (15)
    • Kvantifikátory (10)
    • Nezařazené (13)
  • Numerika, analytika
      • Část a celek (8)
      • Operace (8)
      • Poměry (8)
      • Rovnice a nerovnice (5)
      • Slovní úlohy (8)
      • Logaritmy a exponenty (5)
      • Tělesa (5)
      • Číselné řady (8)
      • Nápisy (8)
      • Separator
      • Cyklus (5)
      • Cesty (5)
      • Zakódovaná čísla (8)
      • Hledání pravidla (8)
      • Grafy a tabulky (6)
      • Predikátová logika - negace (4)
      • Výroková logika - vyplývání (5)
      • Sylogizmus (8)
      • Separator
      • Podezřelí (4)
      • Obyvatelé (3)
      • Zebry (5)
      • Zlomky, procenta, desetinná čísla (8)
      • Výroková logika - negace, ekvivalence (4)
      • Nezařazené (analytika) (7)
      • Nezařazené (numerika) (7)

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

Příklad 01
  • 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.
  • Výsledek příkladu

    c) Nepůjdu do tanečních nebo nepůjdu do hospody.
  • Postup řešení

    Nejdříve si zapíšu složené výroky ze zadání:
    1. TAN => RAD
    2. H => ¬ RAD
    První tvrzení převedu podle pravidla o obměněné implikaci na: ¬ RAD => ¬ TAN
    Spojím dohromady: H => ¬ RAD => ¬ TAN
    Z toho vyplývá: H => ¬ TAN
    Musíme převést podle vzorce o ekvivalenci implikace s disjunkcí a vyjde nám možnost c.

Chceš se na něco zeptat?
Kontaktuj nás!

Kontakt

Informace

  • Obchodní podmínky
  • Ochrana osobních údajů

Provozovatel: Ing. Radim Kovář, 66451 Šlapanice, Brněnská 1320/85, IČO 14163080


© 2025 TrenujTSP.cz - Všechna práva vyhrazena. | {n3tcookieconsent settings}Nastavení cookies{/n3tcookieconsent}
Kopírování obsahu je zakázáno podle zákona č. 121/2000 Sb. o právu autorském.
Vytvořil Krahulec.info