Matematické Fórum

nous3k · 09. 04. 2017 13:19

Ahoj, věděl by někdo negaci tohoto výroku?

Jestliže T je strom, pak mezi libovolnými dvěma vrcholy grafu T existuje právě jedna cesta.

Nejsem si jist jak znegovat libovolný dva vrcholy

Díky

Bati · 09. 04. 2017 14:15

Ahoj ↑ nous3k:,
můžeš si to přeložit jako pro všechny dvojice vrcholů, pak negace je jasná.

nous3k · 09. 04. 2017 14:19

↑ Bati: Takže: T je strom a pro všechny dvojice vrcholů grafu T existuje méně nebo více než 1 cesta?

Al1 · 09. 04. 2017 20:20

↑ nous3k:

Zdravím,

kolega ↑ Bati: ti radí, jak upravit původní implikaci:
Jestliže T je strom, pak pro všechny dvojice vrcholů grafu T existuje právě jedna cesta.

Teď to zneguj.

nous3k · 09. 04. 2017 20:43

↑ Al1: T je strom a existuje alespoň jedna dvojice vrcholů grafu T, pro kterou existuje více či méně než jedna cesta? :-D :-D

Bati · 10. 04. 2017 18:16

↑ nous3k:
Jo. Je ten výrok je ve tvaru
$P\Rightarrow (\forall x: C(x))$ , kde $P$ znamená, že T je strom a $C(x)$ , že existuje právě jedna cesta pro dvojici x. Takže negace je
$P\wedge\neg(\forall x:C(x))=P\wedge(\exists x:\neg C(x))$

Matematické Fórum

#1 09. 04. 2017 13:19

Negace výroku

#2 09. 04. 2017 14:15

Re: Negace výroku

#3 09. 04. 2017 14:19

Re: Negace výroku

#4 09. 04. 2017 20:20

Re: Negace výroku

#5 09. 04. 2017 20:43

Re: Negace výroku

#6 10. 04. 2017 18:16

Re: Negace výroku

Zápatí