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

  Рет қаралды 37,573

Marek Valášek

Marek Valášek

Күн бұрын

Пікірлер: 18
8 жыл бұрын
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
@cardinalityofaset4992 3 жыл бұрын
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 :)
@partybather
@partybather 7 жыл бұрын
6:26 ríkáte ekvivalence místo implikace (možná by to chtělo opravit notací)
@matfy
@matfy 8 жыл бұрын
Váš příklad byl pro mě také novým. Děkuji
@MrAminuxik
@MrAminuxik 4 жыл бұрын
Je dobrý si to představit či nakreslit pomocí spínačů či rozpínačů zapojených buď sériově (and) či paralelně (or).
@martinnovak3091
@martinnovak3091 8 жыл бұрын
Klasika :) logické obvody se musí dát poskládat pouze NANDem :)
@TheVulkan66
@TheVulkan66 8 жыл бұрын
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 4 жыл бұрын
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.
@haji3821
@haji3821 4 жыл бұрын
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 4 жыл бұрын
Vyrok to je. Protoze teoreticky lze rozhodnout o jeho pravdivosti. To ze je tam spousta okolnosti logiku jaksi nezajima :-)
@haji3821
@haji3821 4 жыл бұрын
@@marekvalasek7251 díky za odpověď
@bububu12345
@bububu12345 4 жыл бұрын
Tomáš Chabada a vy ste králi môjho mozgu.
@haji3821
@haji3821 4 жыл бұрын
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 4 жыл бұрын
Správně je ta první varianta
@h947cz
@h947cz 4 ай бұрын
v tomto kontextu existují záporná čísla, kladná čísla a NULA. nula není ani kladná, ani záporná. tedy když chcete znegovat “číslo 3 je sudé”, musíte říct “číslo 3 není sudé”, pokud chcete vyjmenovat všechny ostatní varianty, tak to je “číslo 3 je liché nebo nula”. číslo 3 nula není, někdy to nedává smysl, ale takhle výroková logika pracuje. a jelikož práve 3 není nula, pak zbývá pouze možnost, že 3 je liché. ale nesmíte zapomenout na všechny další možné možnosti. když např. budete mít výrok “stěna je bílá” a chcete ji znegovat, nemůžete říct, že stěna je černá. správně to je “není pravda, že stěna je bílá” -> “stěna není bílá”. a stěnu můžete natřít jakoukoli barvou, tedy červenou, modrou, šedou… někdy to nemůžeme vyjmenovat. to, že existuje několik základních barev neznamená, že musí práve ony být použity. takže můžete mít třeba nachovou, tyrkysovou, ale i nějaké hodně vzácné barvy, které třeba ani pojmenování nemají. tedy je tam velice moc možností, nekonečno asi ne, ale nemůžete vyjmenovat, že stěna je natřena …… (milión barev). místo toho řeknete, že stěna není bílá a každý to pochopí.
@matfy
@matfy 8 жыл бұрын
Logika je zajímavá část matematiky.
@bububu12345
@bububu12345 4 жыл бұрын
....i života.
@jakubpavlik1783
@jakubpavlik1783 7 жыл бұрын
Zbytečně složitý, stačí znát deMorganovy pravidla a je to vyřešený za 2 minuty.
Logic - Mastermind - Příjimací zkoušky na Masarykovu univerzitu
22:51
Důkazy 3 - Nepřímý důkaz
19:37
Marek Valášek
Рет қаралды 15 М.
小丑揭穿坏人的阴谋 #小丑 #天使 #shorts
00:35
好人小丑
Рет қаралды 48 МЛН
How Strong is Tin Foil? 💪
00:25
Brianna
Рет қаралды 68 МЛН
这是自救的好办法 #路飞#海贼王
00:43
路飞与唐舞桐
Рет қаралды 125 МЛН
ЛУЧШИЙ ФОКУС + секрет! #shorts
00:12
Роман Magic
Рет қаралды 30 МЛН
Úvod do logiky | Elea: Nauč sa matiku
13:52
Elea: Nauč sa matiku
Рет қаралды 26 М.
Výroková logika #1 - Základní pojmy
12:20
Tomáš Chabada
Рет қаралды 32 М.
4 - Negace výroku (MAT - Výroková logika)
19:47
Isibalo
Рет қаралды 37 М.
Kombinatorika - Kombinace s opakováním
28:14
Marek Valášek
Рет қаралды 31 М.
Výroková logika #2 - Logické spojky
16:23
Tomáš Chabada
Рет қаралды 23 М.
3 - Výrok a jeho pravdivost (MAT - Výroková logika)
18:25
SPECIÁL Jefim Fištejn: Trump válku ukončí
47:05
Kecy a politika
Рет қаралды 115 М.
Výroková logika #9 - Negace kvantifikovaných výroků
15:02
Tomáš Chabada
Рет қаралды 6 М.
Výroková logika - negace, spojky
18:51
Tomáš Chabada
Рет қаралды 43 М.
小丑揭穿坏人的阴谋 #小丑 #天使 #shorts
00:35
好人小丑
Рет қаралды 48 МЛН