Existe un unico, representado: formula_5, que significa existe un unico, la proposición ha de ser cierta para un unico caso de la variable: