Matematické Fórum

Ajax0 · 22. 09. 2013 21:09 — Editoval Ajax0 (22. 09. 2013 22:11)

Mám za úko toto a moc si s tím nevím radyl:

Výroky znegujte a určete jejich pravdivostní hodnoty

A3) $\forall a,b \in \mathbb{Q} ; a<b \Rightarrow \exists c \in I; a<c ; c<b$

byk7 · 22. 09. 2013 22:10

Víš jak se negují kvantifikátory a jaká je negace implikace?

Co má značit $I$ ?

Ajax0 · 22. 09. 2013 22:13 — Editoval Ajax0 (22. 09. 2013 22:15)

Negace implikace je konjukce negací, alespoň mám za to.
I - iracionální

byk7 · 22. 09. 2013 22:14

Kdepak
$\neg(A\Rightarrow B)\iff A\wedge\neg B$

Ajax0 · 22. 09. 2013 22:19

$\forall a,b \in \mathbb{Q} ; a<b \wedge \exists c \in I; a>c ; c>b$

Takže takto ?

Eratosthenes · 22. 09. 2013 23:58

↑ Ajax0:

Ne, výrok začíná obecným kvantifikátorem, negace musí začínat existenčním.

Matematické Fórum

#1 22. 09. 2013 21:09 — Editoval Ajax0 (22. 09. 2013 22:11)

Výroky a jejich negace;pravdivostní hodnoty

#2 22. 09. 2013 22:10

Re: Výroky a jejich negace;pravdivostní hodnoty

#3 22. 09. 2013 22:13 — Editoval Ajax0 (22. 09. 2013 22:15)

Re: Výroky a jejich negace;pravdivostní hodnoty

#4 22. 09. 2013 22:14

Re: Výroky a jejich negace;pravdivostní hodnoty

#5 22. 09. 2013 22:19

Re: Výroky a jejich negace;pravdivostní hodnoty

#6 22. 09. 2013 23:58

Re: Výroky a jejich negace;pravdivostní hodnoty

#7 23. 09. 2013 07:17 Příspěvek uživatele byk7 byl skryt uživatelem byk7.

Zápatí