Talk:Universal quantification

From Wikipedia, the free encyclopedia

Socrates This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
??? This article has not yet received a rating on the quality scale.
??? This article has not yet received an importance rating on the importance scale.

I disagree to make a seprate article about universal quantifier while there is a good univeral quantification article. Sure they are different, but wikipedia is not a dictionary, meaning we don't need a separate article for each different topics but closely related with one another. -- Taku 03:47 11 Jun 2003 (UTC)


 \forall{ (\textrm{(mensen) - (enkelen)})}:\textrm{kaka}

Consider the following proposition:

 \forall{n}{\in}\mathbf{S}\, P(n)

If S is the empty set, is this statement true or false?

-- David 00:23 18 Oct 2005 (EDT)

If S = \varnothing , the statement is meaningless, because the quantification presumes S contains elements. Neocapitalist 14:24, 10 December 2005 (UTC)
No, the statement is vacuously true. – Smyth\talk 19:32, 3 February 2006 (UTC)

[edit] Added Things to Properties

I've added some stuff on negation and rules of inference; if somebody could double-check me, and add the algebraic properties, I'd be much obliged. Neocapitalist 14:24, 10 December 2005 (UTC)

[edit] ASCII or Unicode

Is there a ASCII or Unicode value for this symbol I couldn't find it and thought it would be a good thing to have on the page the web address is %E2%88%80

The unicode for "∀" is U+8704. I'll go insert it right now. Aeron (talk) 07:15, 5 March 2008 (UTC)