Matematické Fórum

matjan · 14. 11. 2011 22:56 — Editoval matjan (14. 11. 2011 22:58)

Zdravím,
je u výrazu "Neznám alespoň 16 z přítomných studentů." správný zápis?
( $\exists$ x)¬z(x):x>=16

FailED · 14. 11. 2011 23:08

Ahoj,

napiš celé zadání. x je student? Jaký smysl má jeho porovnávání s 16? Jak poznáš, že jsou neznámí studenti přítomní?

matjan · 14. 11. 2011 23:15

↑ FailED:
Proveďte negaci násl. tvrzení:
Znám nejvýše 15 z přítomných studentů.

FailED · 14. 11. 2011 23:31 — Editoval FailED (14. 11. 2011 23:50)

↑ matjan:

Aha, negaci máš správně.

Kdybys to chtěl vyjádřit formálně, šlo by to třeba v jazyce s rovností $L=\langle P, Z \rangle$ kde $P, Z$ jsou unární relační symboly formulí $(\exists x_1,\ldots,x_{16} ) $\(\bigwedge_{i< j\le 16}x_i \neq x_j$ \wedge $ \bigwedge_{i\le 16} (P(x_i)\wedge Z(x_i)) $\)$ .

matjan · 14. 11. 2011 23:34

↑ FailED:
Díky,
já vlastně nevím, jak tam dostat číslo, lze tvůj zápis zapsat jednodušeji? Tento jsem v zápise z přednášky neviděl.

FailED · 14. 11. 2011 23:44 — Editoval FailED (14. 11. 2011 23:49)

↑ matjan:

Obecně se těžko vyjadřuje "existuje aspoň k prvků", jen pomocí logických spojek a kvantifikátorů to jednodušeji nepůjde. Můžeš si navrhnout jiný jazyk, nevím co jste probírali na přednášce.

Matematické Fórum

#1 14. 11. 2011 22:56 — Editoval matjan (14. 11. 2011 22:58)

Negace predikátové logiky

#2 14. 11. 2011 23:08

Re: Negace predikátové logiky

#3 14. 11. 2011 23:15

Re: Negace predikátové logiky

#4 14. 11. 2011 23:31 — Editoval FailED (14. 11. 2011 23:50)

Re: Negace predikátové logiky

#5 14. 11. 2011 23:34

Re: Negace predikátové logiky

#6 14. 11. 2011 23:44 — Editoval FailED (14. 11. 2011 23:49)

Re: Negace predikátové logiky

Zápatí