Prpositional logic - how to eliminate "forall"

From: Konrad Den Ende (tmp1_at_viltersten.com)
Date: 11/18/04 

Date: Thu, 18 Nov 2004 18:31:55 +0100

I have this slight issue here. I have following:
(forall x) P(x)
and i say that using universal elimination i can get to
P(x)
while the girlfriend argues that it isn't possible.
Who's right?

The actual rule states that the conclusion shoud be
P(t)
where t is free for x. We have hard time understanding
the condition, possibly due to the "not being native
speakers of english", possibly due to the "hardness of
matter". Any suggestions? 

-- 
Kindly
Konrad
---------------------------------------------------
May all spammers die an agonizing death; have no burial places;
their souls be chased by demons in Gehenna from one room to
another for all eternity and more.
Sleep - thing used by ineffective people
            as a substitute for coffee
Ambition - a poor excuse for not having
                 enough sense to be lazy
---------------------------------------------------