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.
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
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í)
Je dobrý si to představit či nakreslit pomocí spínačů či rozpínačů zapojených buď sériově (and) či paralelně (or).
Klasika :) logické obvody se musí dát poskládat pouze NANDem :)
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
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.
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ěď.
@marekvalasek7251
3 жыл бұрын
Vyrok to je. Protoze teoreticky lze rozhodnout o jeho pravdivosti. To ze je tam spousta okolnosti logiku jaksi nezajima :-)
@haji3821
3 жыл бұрын
@@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?
@jakubsorna36
3 жыл бұрын
Správně je ta první varianta
Logika je zajímavá část matematiky.
@bububu12345
4 жыл бұрын
....i života.
Zbytečně složitý, stačí znát deMorganovy pravidla a je to vyřešený za 2 minuty.