- published: 21 Jun 2016
- views: 25484
In predicate logic, universal quantification formalizes the notion that something (a logical predicate) is true for everything, or every relevant thing. The resulting statement is a universally quantified statement, and we have universally quantified over the predicate. In symbolic logic, the universal quantifier (typically Failed to parse (Missing texvc executable; please see math/README to configure.): \forall , U+2200 ∀ , a turned A) is the symbol used to denote universal quantification, and is often informally read as "given any" or "for all". Universal quantification is distinct from existential quantification ("there exists"), which asserts that the property or relation holds for at least one member of the domain.
Quantification in general is covered in the article on quantification. Symbols are encoded U+2200 ∀ for all (HTML: ∀
∀
as a mathematical symbol).
Suppose it is given that
2·0 = 0 + 0, and 2·1 = 1 + 1, and 2·2 = 2 + 2, etc.
This would seem to be a logical conjunction because of the repeated use of "and." However, the "etc." cannot be interpreted as a conjunction in formal logic. Instead, the statement must be rephrased:
(Verse1)
Broken again I'm, down on my knees ripped apart
But I see you out there
So I'm taking these chains off my heart
(Hook 1)
I'm listenin' close for you
Feeling my way after dark
I'm on my way to you
And won't nothin' keep me from ya
(Chorus)
So I'll just free run, till my feet start to lift off the ground
I will just free run, till I'll find myself right where you are, oh
Whoa, whoa, I'll free run to ya
Whoa, whoa, free run to ya
(Verse 2)
Life with you leaving, Is like being locked upside down
I'm all out of reasons, to let all this hurt keep me bound
(Hook 2)
I'll listen close for ya
I don't wanna miss the good parts
I'm on my way to ya
And no one will keep me from ya
(Chorus)
So I'll just free run, till my feet start to lift off the ground
I will just free run, till I find myself right where you are, oh
Whoa, whoa, I'll free run to ya
Whoa, whoa, free run to ya