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

#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: 6324
Š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: 6324
Š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: 6324
Š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: 6324
Š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: 6324
Š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: 6324
Š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: 6324
Š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: 6324
Š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: 6324
Š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: 6324
Š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: 5490
Š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