Talk:Universal quantification

From Wikipedia, the free encyclopedia

You have new messages (last change).

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)

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

Retrieved from "http://en.wikipedia.org../../../u/n/i/Talk%7EUniversal_quantification_4135.html"