27 - Důkaz sporem (MAT - Výroková logika)

Sdílet
Vložit
  • čas přidán 12. 10. 2015
  • Kompletní stránku, další videa, řešené příklady a materiály z matematiky najdete na:
    www.isibalo.com/
    Pokud budete chtít, můžete nám dát like na Facebooku
    / isibaloteam
    a dozvídat se tak ihned o novinkách na stránce.
    Děkujeme!

Komentáře • 9

  • @antoninjanku3358
    @antoninjanku3358 Před 5 lety +1

    Výborně vysvětleno, děkuji! :)

  • @dizatal6833
    @dizatal6833 Před 9 měsíci

    super, děkuji!

  • @TheHalami
    @TheHalami Před 3 lety

    TOP

  • @MynecraftCZ
    @MynecraftCZ Před 4 lety

    ten první důkaz platí "pro všechna a,b"? znamená to tedy že stačí najít taková čísla a,b kdy po dosazení vyjde větší číslo než dva tudíž nerovnice neplatí a platí původní tvrzení?

    • @user-jj4bn9us8f
      @user-jj4bn9us8f  Před 4 lety

      Můžete mi trochu více rozepsat jak to myslíte? :)

    • @MynecraftCZ
      @MynecraftCZ Před 4 lety

      @@user-jj4bn9us8f Dobře pokusím se to víc popsat. Můžeme tvrzení "Jestliže a, b jsou kladná reálná čísla, pak platí a/b + b/a >= 2" přepsat jako "Pro všechna a, b z oboru reálných čísel, kde a>0 a b>0 platí, a/b + b/a >= 2" ? Pokud ano pak stačí tvrzení znegovat => "Existují čísla a, b z oboru reálných čísel, kde a>0 a b>0, pro která platí a/b + b/a < 2".
      -Tedy stačí najít taková čísla a, b, která po dosazení nesplňují nerovnici, tudíž je to spor a platí původní tvrzení.- Tady jsem si uvědomil svoji chybu :D Mám správně alespoň ty předchozí operace?

    • @user-jj4bn9us8f
      @user-jj4bn9us8f  Před 4 lety +1

      @@MynecraftCZ Ano, máte :))