Matematické Fórum

terkad · 05. 06. 2012 11:05

Ahoj, dobrý den, nevíte někdo, co s tím?

1)Připravte větu tvaru A => B pro důkaz sporem.

2)Připravte větu A => B pro nepřímý důkaz (pro důkaz obměněné věty).

3)Znegujte výrok
např. $\forall (x\in M)\exists (x\in R):P(x,y)\wedge Q(x)$

Cynyc · 05. 06. 2012 16:08

Rozumím-li tomu dobře, tak
1) $A \wedge \neg B$
2) $\neg B \Rightarrow \neg A$
3) Předpokládám, že za druhým kvantifikátorem mělo být y. Negace formulí predikátového počtu se dělají tak, že změníš kvantifikátory a zneguješ tvrzení:
$\exists (x\in M)\forall (y\in R):\neg P(x,y)\vee \neg Q(x)$

Matematické Fórum

#1 05. 06. 2012 11:05

Logika

#2 05. 06. 2012 16:08

Re: Logika

Zápatí