| Prethodna tema :: Sljedeća tema |
| Autor/ica |
Poruka |
marijamarija
Forumaš(ica)
Pridružen/a: 14. 11. 2009. (11:59:46)
Postovi: (7)16
|
|
| [Vrh] |
|
tperkov
Forumaš(ica)
Pridružen/a: 08. 12. 2008. (15:17:18)
Postovi: (71)16
|
 Postano: 13:13 sri, 18. 11. 2009 Naslov: Re: pitanja s usmenog |
    |
|
|
[quote="marijamarija"]Imam par pitanja:
1.Navedi primjer nekog matematičkog pojma koji se ne može formalno zapisati logikom sudova.
2.Kako kraće zapisivamo formulu s kvantifikatorima i što to ustvari znači?
3.Kako se [b]postoji točni jedan[/b] iskazuje preko kvantifikatora? Kako se negiraju kvantifikatori?
Ako neko može da mi odgovori ova pitanja... hvala puno :)[/quote]
1. Bilo što što se ne može reći bez kvantifikatora, npr. refleksivnost relacije.
2. Ne razumijem ovo pitanje
3. Ima onaj znak uskličnika za jedinstvenost, a ako ne pita to nego da se zapiše bez tog znaka, onda ovako:
[latex]\exists xP(x) \& \forall y(P(y)\rightarrow x=y)[/latex]
Za negiranje, kvantifikatori su međusobno dualni, tj.
[latex]\neg\forall xP(x) = \exists x\neg P(x)[/latex] i obratno.
| marijamarija (napisa): | Imam par pitanja:
1.Navedi primjer nekog matematičkog pojma koji se ne može formalno zapisati logikom sudova.
2.Kako kraće zapisivamo formulu s kvantifikatorima i što to ustvari znači?
3.Kako se postoji točni jedan iskazuje preko kvantifikatora? Kako se negiraju kvantifikatori?
Ako neko može da mi odgovori ova pitanja... hvala puno  |
1. Bilo što što se ne može reći bez kvantifikatora, npr. refleksivnost relacije.
2. Ne razumijem ovo pitanje
3. Ima onaj znak uskličnika za jedinstvenost, a ako ne pita to nego da se zapiše bez tog znaka, onda ovako:
Za negiranje, kvantifikatori su međusobno dualni, tj.
 i obratno.
|
|
| [Vrh] |
|
marijamarija
Forumaš(ica)
Pridružen/a: 14. 11. 2009. (11:59:46)
Postovi: (7)16
|
|
| [Vrh] |
|
|
