Statements involving variables such as:               x > 5 i.e. “x is greater than 5” are very common in Mathematics and in computer programs. Such a statement is neither ‘false’ nor ‘true’ unless the possible value for variable x is specified and hence it is not a proposition. Predicates and quantifiers ...