Zakres kwantyfikatora Ris: Małe pytanko: Jeśli mam coś w stylu ∀_x p(x) ⇒ ∃_x g(x), lub jakiekolwiek zdanie gdzie są dwa kwantyfikatory i dotyczą (nie jestem pewien, czy tak się mówi) tego samego symbolu dajmy na to x, to w jakiej relacji są te dwa x? To jest ta sama zmienna, czy jakaś inna? Jak to czytać? "jeśli dla dowolnego x zdanie p(x) jest prawdziwe, to istnieje takie x (niekoniecznie to samo), dla którego zdanie g(x) również jest prawdziwe"?

Adamm: Oczywiście że inna