Matematické Fórum

adjamot · 30. 10. 2012 14:31

ahoj, můžete mi, prosím, poradit s následující úvahou, pokud existuje někdo ve skupině, který má rád všechny,
pak ale někdo z této skupiny přece nemusí mít rád tohoto milovníka, tedy je to protipříklad k tomuto zákonu.
$\exists x \forall y A(x,y) \Rightarrow \forall y,\exists x A(x,y)$
Kde tedy dělám logickou chybu?

Rumburak · 30. 10. 2012 15:24

Ahoj. Chybu děláš v tom, že místo s formulí

$\exists x \forall y A(x,y) \Rightarrow \forall y \exists x A(x,y)$

pracuješ ve své úvaze s formulí

$\exists x \forall y A(x,y) \Rightarrow \forall y \exists x A(y,x)$

(změna pořadí proměnných v podformuli A(x,y) ) .

Matematické Fórum

#1 30. 10. 2012 14:31

Zákony komutace kvantifikátoru

#2 30. 10. 2012 15:24

Re: Zákony komutace kvantifikátoru

Zápatí