Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

Nejste přihlášen(a). Přihlásit

#26 10. 01. 2023 12:50 — Editoval algebrajesupr (10. 01. 2023 12:51)

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

jo, ale ja nevim co to max je
konkretne neumim vycislit [mathjax]\max\{x;a\wedge x\leq b\}[/mathjax]

Offline

 

#27 10. 01. 2023 13:32 — Editoval vlado_bb (10. 01. 2023 13:34)

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr: max je symbol pre maximum. Dostanes tri prieseky a z nich mas vybrat najvacsie x pre ktore prislusny priesek bude pod a.

Offline

 

#28 10. 01. 2023 13:43

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

tak jak to bude v tom pripade, 0, a, 1 ?

Offline

 

#29 10. 01. 2023 13:54

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr: Postupuj podla bodov, ktore som uviedol vyssie. Napis, co si dostal v bode 6.

Offline

 

#30 10. 01. 2023 14:32

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

ale ja nevím jak dostat ti tři prieseky, nerozumim tomu zapisu

Offline

 

#31 10. 01. 2023 14:36

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr:Prvok x moze nadobudat hodnoty 0,a,1. Ide teda o prieseky [mathjax]a \land 0, a \land a, a \land 1[/mathjax].

Offline

 

#32 10. 01. 2023 14:38 — Editoval algebrajesupr (10. 01. 2023 14:38)

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

a to je vyjadrene tym zapisom  [mathjax]\max\{x;a\wedge x\leq b\}[/mathjax]?

Offline

 

#33 10. 01. 2023 14:39

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

vlado_bb napsal(a):

↑ algebrajesupr:Prvok x moze nadobudat hodnoty 0,a,1. Ide teda o prieseky [mathjax]a \land 0, a \land a, a \land 1[/mathjax].

tak to bude
[mathjax]a \land 0 = 0[/mathjax]

[mathjax]a \land a = a[/mathjax]

[mathjax] a \land 1 = a[/mathjax]

Offline

 

#34 10. 01. 2023 14:41

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr:Ano. A teda ktore x je maximalne take, ze tento priesek je mensi alebo sa rovna a?

Offline

 

#35 10. 01. 2023 15:10

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

takove jsou dva .. posledni dva ne?

Offline

 

#36 10. 01. 2023 15:13

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr:Podla teba 0 nie je mensia alebo rovnajuca sa a?

Offline

 

#37 10. 01. 2023 15:32 — Editoval algebrajesupr (10. 01. 2023 15:33)

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

no jo je .. mate pravdu .. ale pořád nechapu jak se to urcuje
jak jsme dostali ti tři rovnice

[mathjax]a \land 0 = 0[/mathjax]

[mathjax]a \land a = a[/mathjax]

[mathjax] a \land 1 = a[/mathjax]

a jak by to bilo v tom prvnim případe 0, a , b , 1 ?

Offline

 

#38 10. 01. 2023 15:37 — Editoval vlado_bb (10. 01. 2023 15:39)

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr: Nechces to uz dokoncit? Co je teda v tomto pripade [mathjax]a \rightarrow  a[/mathjax]?

Offline

 

#39 10. 01. 2023 15:41

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

to bude a?

Offline

 

#40 10. 01. 2023 15:45

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr:Tak posledna vec ... ake bolo x v tych troch pripadoch? Ktore z nich je najvacsie?

Offline

 

#41 10. 01. 2023 16:05

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

nejvetsi je 1  ?

Offline

 

#42 10. 01. 2023 16:06

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr:Konecne ... takze [mathjax]a \rightarrow  a =1[/mathjax].

Offline

 

#43 10. 01. 2023 16:09

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

jo .. a jak to bude v pripade 0, a, b, 1 prosim vás?

Offline

 

#44 10. 01. 2023 16:15

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr:Presne rovnako. Ak si pochopil doterajsiu konverzaciu, tak to zvladnes sam. Ak nie, bol to strateny cas a nema zmysel stracat dalsi.

Offline

 

#45 10. 01. 2023 17:09 — Editoval algebrajesupr (10. 01. 2023 17:13)

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

tak ja to skusim. Chci urcit [mathjax]a\rightarrow b=\max\{x;a\wedge x\leq b\}[/mathjax] V případe 0, a, b, 1  prieseky budou

[mathjax]a \land 0 = 0[/mathjax]

[mathjax]a \land a = a[/mathjax]

[mathjax] a \land b = 0[/mathjax]

[mathjax] a \land 1 = a[/mathjax] 

takhle?

no a ja bych řekl ze nejvetsi je a, čili pokud jsem neudelal chybu tak [mathjax]a\rightarrow b = a[/mathjax]

Offline

 

#46 10. 01. 2023 17:17

vlado_bb
Moderátor
Příspěvky: 6329
Škola:
Reputace:   144 
 

Re: Heyting algebra

↑ algebrajesupr: Nie. Bol to stratny cas.

Offline

 

#47 10. 01. 2023 17:18

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

tak ja nevim, delal jsem to podle vaseho navodu

Offline

 

#48 10. 01. 2023 17:23

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

a nebo ze vztahu [mathjax] a \land 1 = a[/mathjax]   vim ze to bude 1 ?

Offline

 

#49 10. 01. 2023 19:11 — Editoval jarrro (10. 01. 2023 19:13)

jarrro
Příspěvky: 5491
Škola: UMB BB Matematická analýza
Reputace:   303 
Web
 

Re: Heyting algebra

Ak sa bavíme o zväze

        1
       / \
      a  b
       \ /
        0

Tak
[mathjax]\begin{align}a\wedge 0&=0\leq b\\a\wedge a&=a\\a\wedge b&=0\leq b\\a\wedge 1&=a\end{align}[/mathjax]
teda
[mathjax]\max\{x;a\wedge x\leq b\}=\max\{0,b\}=b[/mathjax]
A teda [mathjax2]a\rightarrow b=b[/mathjax2]
Ak som teda neurobil nejakú blbú chybu.


MATH IS THE BEST!!!

Offline

 

#50 10. 01. 2023 19:15 — Editoval algebrajesupr (10. 01. 2023 19:15)

algebrajesupr
Příspěvky: 53
Škola: UK
Pozice: student
Reputace:   
 

Re: Heyting algebra

to [mathjax]a\rightarrow b=b[/mathjax] víme z toho třetího řádku, který říká  [mathjax]a\wedge b=0\leq b[/mathjax] ?

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson