Veristic variables

We distinguish between variables having only one solution (possibilistic) a nd those allowing multiple solutions (veristic), ri representation of infor mation contained in statements involving veristic variables is presented. U sing this representation we begin to develop a structure for the manipulati on of knowledge involving variables that can have multiple solutions. The v erity distribution is introduced to capture information about these variabl es. We show how to combine information involving veristic variables. We stu dy qualified and quantified statements as well as the entailment and extens ion principles in this framework.