Why does ModuleQ[{0,1,2}, expr_] evaluate to True?

*To*: mathgroup at smc.vnet.net*Subject*: [mg125912] Why does ModuleQ[{0,1,2}, expr_] evaluate to True?*From*: Christoph Lhotka <christoph.lhotka at fundp.ac.be>*Date*: Fri, 6 Apr 2012 06:01:34 -0400 (EDT)*Delivered-to*: l-mathgroup@mail-archive0.wolfram.com

Hello, I found and interesting subject of discussion in the post "Bug in pattern test, or I did something wrong?" I could trace back the problem to an issue with ModuleQ. Question: Why does In[12]:= ModuleQ[{0,1,2},expr_] Out[12]:= True evaluate to True? My argumentation is as follows: On the one hand there could be a chance that expr_ is 0,1 or 2 but on the other hand the probability that expr_ is not 0,1 or 2 is even higher. As a conclusion it should neither evaluate to True nor to False. In other words: Is there any reason why the expression of everything (named expr) is contained in the set {0,1,2} ? Best, Christoph

**Follow-Ups**:**Re: evaluate to True?***From:*clhotka@fundp.ac.be

**Re: evaluate to True?***From:*Bob Hanlon <hanlonr357@gmail.com>