Logika - Jak říct cokoli pouze pomocí "a" a "ne"

www.mathematicator.com
V dnešním videu si ukážeme, že se dá každý výrok výrokové logiky napsat pouze za pomoci logické spojky "a" a pomocí negace.

Пікірлер: 17

  • 7 жыл бұрын

    Přesně tohoto se využívá v programování. Všechny "vyšší" operátory jsou vždy implementovány jako zjednodušený zápis složení těchto operátorů (protože se dají elektronicky velice snadno zapojit).

  • @cardinalityofaset4992
    @cardinalityofaset49923 жыл бұрын

    This is actually nice. Pro úplnou disjunkci je to pak úplně ez, protože úplna disjunkce je negací ekvivalence, takže jen znegujeme náš výrok pro ekvivalenci a máme hotovo :)

  • @matfy
    @matfy7 жыл бұрын

    Váš příklad byl pro mě také novým. Děkuji

  • @partybather
    @partybather7 жыл бұрын

    6:26 ríkáte ekvivalence místo implikace (možná by to chtělo opravit notací)

  • @MrAminuxik
    @MrAminuxik4 жыл бұрын

    Je dobrý si to představit či nakreslit pomocí spínačů či rozpínačů zapojených buď sériově (and) či paralelně (or).

  • @martinnovak3091
    @martinnovak30917 жыл бұрын

    Klasika :) logické obvody se musí dát poskládat pouze NANDem :)

  • @TheVulkan66
    @TheVulkan667 жыл бұрын

    Dokonce stačí jeden operátor na zapsání jakékoliv výroku a to je NAND nebo NOR. Oba dva se často používají v číslicových elektrických obvodech.

  • @jakubsorna36

    @jakubsorna36

    3 жыл бұрын

    Vzhledem k tomu, že jsou to kombinace negace a konjunkce, nebo disjunkce, tak je to v podstatě stejný jako ve videu, tudíž to jsou v podstatě pořád dva operátory. Navíc pokud vím, tak ve výrokový logice se vůbec nepoužívají a ani nemají vlastní symbol.

  • @bububu12345
    @bububu123454 жыл бұрын

    Tomáš Chabada a vy ste králi môjho mozgu.

  • @haji3821
    @haji38213 жыл бұрын

    Děkuji za odpověď. A např. výrok "Růže jsou červené." je pravdivý, nebo je to nepravda? Nebo záleží na kontextu výroku? Protože růže mohou být červené, ale také bílé nebo růžové. Nebo se vůbec nejedná o výrok, protože o pravdivosti jaksi nelze rozhodnout. ... doufám, že jsem to napsal srozumitelně. Předem díky za odpověď.

  • @marekvalasek7251

    @marekvalasek7251

    3 жыл бұрын

    Vyrok to je. Protoze teoreticky lze rozhodnout o jeho pravdivosti. To ze je tam spousta okolnosti logiku jaksi nezajima :-)

  • @haji3821

    @haji3821

    3 жыл бұрын

    @@marekvalasek7251 díky za odpověď

  • @haji3821
    @haji38213 жыл бұрын

    A správná negace výroku "Číslo 3 je sudé." zní "Číslo 3 není sudé.", nebo "Číslo 3 je liché." ? ... konkrétně jestli se výroky negují tak, že dám sloveso do záporu, nebo tak že dám významově opačné slovo?

  • @jakubsorna36

    @jakubsorna36

    3 жыл бұрын

    Správně je ta první varianta

  • @matfy
    @matfy7 жыл бұрын

    Logika je zajímavá část matematiky.

  • @bububu12345

    @bububu12345

    4 жыл бұрын

    ....i života.

  • @jakubpavlik1783
    @jakubpavlik17837 жыл бұрын

    Zbytečně složitý, stačí znát deMorganovy pravidla a je to vyřešený za 2 minuty.

Келесі