Let T(x) be the statement "x has visited Tashkent" where the domain consists of all students of my school. How can I express each of these quantifications in English?
∃xT(x)
¬∃xT(x)
∃xT(x)
∀xT(x)
¬∀xT(x)
∀x¬T(x)
EDIT: Especially, the difference between ∃(∀)x¬T(x) and ¬∃(∀)xT(x)
$T(x)=x$ has visited Tashkent.
$¬T(x)=x$ has not visited Tashkent.