How can I express each of these quantifications in English?

834 Views Asked by At

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)

1

There are 1 best solutions below

2
On BEST ANSWER

$T(x)=x$ has visited Tashkent.

$¬T(x)=x$ has not visited Tashkent.

$∃xT(x)$ : There exist some $x$ who has visited Tashkent.

$¬∃xT(x)=∀x¬T(x)$ :There exist no such $x$ who has visited Tashkent 'or' For all $x,x$ has not visited Tashkent.

$∀xT(x)$ :For all $x,x$ has visited Tashkent.

$¬∀xT(x)=∃x¬T(x)$ :For not all $x,x$ has visited Tashkent 'or' there exist some $ x$ who has not visited Tashkent.