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.
Komentáře • 17
Před 7 lety+31
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).
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 :)
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.
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ěď.
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?
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).
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 :)
Váš příklad byl pro mě také novým. Děkuji
6:26 ríkáte ekvivalence místo implikace (možná by to chtělo opravit notací)
Klasika :) logické obvody se musí dát poskládat pouze NANDem :)
Je dobrý si to představit či nakreslit pomocí spínačů či rozpínačů zapojených buď sériově (and) či paralelně (or).
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.
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.
Tomáš Chabada a vy ste králi môjho mozgu.
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ěď.
Vyrok to je. Protoze teoreticky lze rozhodnout o jeho pravdivosti. To ze je tam spousta okolnosti logiku jaksi nezajima :-)
@@marekvalasek7251 díky za odpověď
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?
Správně je ta první varianta
Logika je zajímavá část matematiky.
....i života.
Zbytečně složitý, stačí znát deMorganovy pravidla a je to vyřešený za 2 minuty.