A 'predicated statement' like P(x)P(x)P(x) becomes a proposition when:
xxx is assigned a specific value
It is quantified (forall\\forallforall or exists\\existsexists)
Neither a nor b
Both a and b