Matematyka.pl

A co powiesz o zdaniu (\exists a\in\emptyset)(\forall b\in\emptyset)a=b ? Już rozumiem. (\exists a\in\emptyset)(\forall b\in\emptyset)a=b jest fałszywe. Wszystko na prawo, zaczynając od \forall a\in\emptyset , staje się prawdziwe. Wszystko na prawo, zaczynając od \exists a\in\emptyset , staje się f...

Czy zdanie: \exists_{a \in \RR} \forall_{b \in \RR} \forall_{c \in \emptyset} : a>b jest zdaniem prawdziwym? Moim zdaniem, jeżeli gdziekolwiek w łańcuchu kwantyfikatorów pojawi się \forall_{coś \in \emptyset} , to zdanie jest automatycznie prawdziwe, ale nie jestem w 100% pewien.