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

#1 03. 06. 2017 14:40

aladar
Příspěvky: 112
Reputace:   
 

Modely teorie - logika

Ahoj, vie mi niekto poradit, ako na tuto otazku?
//forum.matweb.cz/upload3/img/2017-06/93456_Sn%25C3%25ADmka%2Bobrazovky%2B2017-06-03%2Bo%25C2%25A014.37.15.png
Ucili sme sa o modeloch teorie (ekvivalencia, rovnost, ciastocne usporiadanie atd...), ale nejak neviem prist na to, ako riesit tuto ulohu. Zahviezdickovane odpovede su spravne. Vie mi niekto poradit? Dakujem.

Offline

  • (téma jako vyřešené označil(a) aladar)

#2 03. 06. 2017 16:02

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

Re: Modely teorie - logika

↑ aladar: Ktory z nasledujucich pripadov nastava:

1. nevies preco a nie je spravne

2. nevies preco je b spravne

3. nevies preco je c spravne

4. nevies preco je d spravne

?????

Offline

 

#3 03. 06. 2017 16:27

misaH
Příspěvky: 13467
 

Re: Modely teorie - logika

↑ aladar:

Ahoj.

A to nie je o tom, či je pravda to čo sa tam píše?

Teda napríklad že pre všetky prirodzené y (s 0) existuje x tak, že napríklad x>y ?

Offline

 

#4 03. 06. 2017 18:22 — Editoval aladar (03. 06. 2017 18:25)

aladar
Příspěvky: 112
Reputace:   
 

Re: Modely teorie - logika

Ahoj, neviem, preco je b,c,d spravne.
Chapem to tak, ze pre kazde y(nejake cislo z N) existuje x, tak, ze x je vacsie ako y. Tym padom ked najdem vsetko z b,c,d akurat nenajdem mensie x, ked zoberem y = 0. Je to len moja uvaha, no neviem ci je spravna. Diky.

Offline

 

#5 03. 06. 2017 18:29 — Editoval vlado_bb (03. 06. 2017 18:29)

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

Re: Modely teorie - logika

aladar napsal(a):

Ahoj, neviem, preco je b,c,d spravne.
pre kazde y(nejake cislo z N) existuje x, tak, ze x je vacsie ako y.

Ano, napriklad $x=y+1$. Preto je b spravne.

aladar napsal(a):

Tym padom ked najdem vsetko z b,c,d akurat nenajdem mensie x, ked zoberem y = 0. Je to len moja uvaha, no neviem ci je spravna. Diky.

Toto ja hlavne akasi podivna zmes slov.

Offline

 

#6 03. 06. 2017 18:44 — Editoval aladar (03. 06. 2017 18:47)

aladar
Příspěvky: 112
Reputace:   
 

Re: Modely teorie - logika

Ano priznavam sa, ze som to napisal divne. Napisem to este raz zrozumitelnejsie.
Pre kazde y(nejake cislo z N) existuje x:
a) x < y .... toto neplati prave pre spominanu 0, ak zoberem y = 0, nenajdem x, ktore je mensie.
b)x > y .... spravne, pretoze nech zoberem akekolvek cislo z N, vzdy najdem vacsie cislo x
c) x <= y ... spravne, pretoze mensie najst vzdy nemusim, no rovne najdem vzdy, opat ak zoberem y = 0, mensie nenajdem, ale najdem cislo rovne y, teda 0
d) x >= y, znova to iste ako b, navyse este s rovnostou

Je tato myslienka spravna?

Offline

 

#7 03. 06. 2017 18:56

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

Re: Modely teorie - logika

↑ aladar: ano, spravne

Offline

 

#8 03. 06. 2017 18:59

aladar
Příspěvky: 112
Reputace:   
 

Re: Modely teorie - logika

Super, dakujem :)

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson