Matematické Fórum

Ridikmen · 13. 11. 2016 19:55

Ahoj, měl bych otázku ohledně převodu věty:

Pouze dvojka je sudé prvočíslo.

Můj přepis je: $\exists x(P(x) \wedge S(x))$
Kde Interpretace P - prvočíslo, S - sudé

Chci se zeptat jestli je to převedené správně nebo musím na to jinak. Popřípadě bych byl rád za menší pomoc díky :)

Pritt · 13. 11. 2016 20:47

↑ Ridikmen:

Ahoj, je nutné zdůraznit, že toto číslo existuje právě jedno. Tedy symbolem např: $\exists^1x \in \mathbb{N}:P(x) \wedge S(x)$ nebo třeba $\exists!x\in \mathbb{N}:P(x) \wedge S(x)$ .

Ridikmen · 14. 11. 2016 17:58

↑ Pritt:
Díky moc za tvou pomoc ! :)

Matematické Fórum

#1 13. 11. 2016 19:55

Věta do predikátové logiky

#2 13. 11. 2016 20:47

Re: Věta do predikátové logiky

#3 14. 11. 2016 17:58

Re: Věta do predikátové logiky

Zápatí