#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