Uniqueness quantification
Re-uploaded.

In predicate logic and technical fields that depend on it, uniqueness quantification, or unique existential quantification, is an attempt to formalise the notion of something being true for exactly one thing, or exactly one thing of a certain type.


Shotdate | -location:
2005 | Dijon (FR)

Camera | Filmtype:
SX-70 Sonar Autofocus | 600
Related tags:
Part of Project:
SUN
 
Copyright info:
 
Uploaded: Nov. 21, 2006
Views: 593  [97]
Votes: 4        FavLinks: 6