Matematické Fórum

biggest-matematik · 18. 01. 2016 09:24

Napiste formule predikátové logiky odpovídající následujícím větám. Použijte k tomu predikátových symbolů uvedených v textu.

Pouze studenti (S) mají nárok na studené večeře (V)
ve výsledkách je: $\forall x (V(x)\Rightarrow S(x))$
Moje otázka je jestli se to dá napsat $\forall x (S(x)\Rightarrow V(x))$ Tak nějak tuším že to asi nejde protože to myslím neznamená že když nejsem student, tak nemůžu dostat studenou večeři, a proto se to takto obrátilo?

Eratosthenes · 18. 01. 2016 09:34

↑ biggest-matematik:

ano, je to tak. Tvoje formulace říká, že každý student má nárok, ale neříká, že nikdo z ostatních nárok nemá.

Brano · 18. 01. 2016 10:39 — Editoval Brano (18. 01. 2016 22:46)

Len tak na okraj:
tu sa trochu bije bezne vyjadrovanie a formalne vyjadrovanie; totizto ak niekto povie
Pouze studenti (S) mají nárok na studené večeře (V) tak tym skoro urcite mysli toto $\forall x (V(x)\Leftrightarrow S(x))$
zatialco toto $\forall x (V(x)\Rightarrow S(x))$ by povedal zrejme takto: Pouze někteří studenti (S) mají nárok na studené večeře (V);(EDIT) alebo mozno skor: Pouze studenti (S) mohou mít nárok na studené večeře (V);

Matematické Fórum

#1 18. 01. 2016 09:24

Napiste formule predikátové logiky odpovídající následujícím větám. Po

#2 18. 01. 2016 09:34

Re: Napiste formule predikátové logiky odpovídající následujícím větám. Po

#3 18. 01. 2016 10:39 — Editoval Brano (18. 01. 2016 22:46)

Re: Napiste formule predikátové logiky odpovídající následujícím větám. Po

Zápatí