Matematické Fórum

janicek11

Prosím o pomoc s utvořením negace výroku:
$(A \wedge C) \Leftrightarrow B$
$\exist x \in R: x^2>-1$
u toho druhého se domnívám, že by to mělo být: $\not\exist x \in R: x^2>-1$
Děkuji mnohokrát

gladiator01

(skripta na TZI prof. Mišovič)

janicek11

↑ gladiator01:
Chápu to správně, že ten druhý výrok po negaci by měl vypadat?

$\forall x \in R: x^2>-1$

Ale u toho prvního vážně nevím.

gladiator01 · 04. 01. 2011 13:19

a b
$\overline{(A \wedge C) \Leftrightarrow B}$ b
Pro přehlednost udělám substituci a je závorka a b je B
$(a \wedge \overline{b}) \vee (\overline{a} \wedge b)$
Teď to zase vrátím zpátky:
$$\(A \wedge C$ \wedge \overline{B}\) \vee $\(\overline{A} \vee \overline{C}$ \wedge B\)$

zdenek1 · 04. 01. 2011 14:36

↑ janicek11:
$\forall x \in R: x^2\leq-1$

Matematické Fórum

#1 04. 01. 2011 11:57 — Editoval janicek11 (04. 01. 2011 12:14)

výroky

#2 04. 01. 2011 12:13 — Editoval gladiator01 (04. 01. 2011 12:16)

Re: výroky

#3 04. 01. 2011 12:21 — Editoval janicek11 (04. 01. 2011 12:22)

Re: výroky

#4 04. 01. 2011 13:19

Re: výroky

#5 04. 01. 2011 14:36

Re: výroky

Zápatí