existential : term

SYNOPSIS
Constant denoting the unique existence quantifier.

LIBRARY
boolSyntax

DESCRIBE
The ML variable boolSyntax.exists1 is bound to the term bool$?!.

SEEALSO  equality,   implication,   select,   T,   F,   universal,   existential,   conjunction,   disjunction,   negation,   conditional,   bool_case,   let_tm,   arb

HOL  Kananaskis 0