Matematické Fórum

EdWood · 13. 10. 2015 16:58

Snažím se převést následující formuli:
$(\forall r)(\exists x)(\forall s)(\exists y)(r * x = s^{y})$

na ekvivalentní formuli, kde bude použit pouze existenční kvantifikátor. Dopracoval jsem se k tomuhle výsledku:
$(\neg \exists r)(\neg \exists x)(\neg \exists s)(\neg \exists y)(r * x = s^{y})$

Je to správně? Děkuji.

Wotton · 27. 10. 2015 14:54

až na ty negace uvnitř závorek s kvantifikátorem (samotný kvantifikátor není správně utvořená formule, tak nemůže být dost dobře negován) to je dobře.

Já osobně bych ty kvantifikátory do závorek vůbec nedával, ale to je věc zvyku

Matematické Fórum

#1 13. 10. 2015 16:58

Logicky ekvivalentní formule

#2 27. 10. 2015 14:54

Re: Logicky ekvivalentní formule

Zápatí