Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#52 10. 01. 2023 19:18
- algebrajesupr
- Příspěvky: 53
- Škola: UK
- Pozice: student
- Reputace: 0
Re: Heyting algebra
jo už chápu. Mohli bychom skusit ješte nejaký jiný příklad abych si to jenom skusil sam? Třeba jaky svaz bych mohl skusit?
Offline
#54 10. 01. 2023 20:35
- algebrajesupr
- Příspěvky: 53
- Škola: UK
- Pozice: student
- Reputace: 0
Re: Heyting algebra
tak ted trosicku nechapu ti "x"-ka v tom grafu
Offline
#55 11. 01. 2023 11:28 — Editoval algebrajesupr (11. 01. 2023 11:29)
- algebrajesupr
- Příspěvky: 53
- Škola: UK
- Pozice: student
- Reputace: 0
Re: Heyting algebra
a jo už jsem pochopil že jsou to ti čáry .. tak jo, ono v tomhle grafu kdybych chtel udelat [mathjax]a \rightarrow b[/mathjax] tak dostanu
[mathjax]a \wedge 0 = 0[/mathjax]
[mathjax]a \wedge d = d[/mathjax]
[mathjax]a \wedge e= e[/mathjax]
[mathjax]a \wedge f = 0[/mathjax]
[mathjax]a \wedge b = d[/mathjax]
[mathjax]a \wedge c= e[/mathjax]
[mathjax]a \wedge 1 = a[/mathjax]
tudiž [mathjax]a \rightarrow b= b[/mathjax]
mam to spravne?
Offline
#57 11. 01. 2023 17:58
- algebrajesupr
- Příspěvky: 53
- Škola: UK
- Pozice: student
- Reputace: 0
Re: Heyting algebra
jo tak diki za pomoc, uz to chapu
Offline