0
$\begingroup$

In first-order logic, the notion of functional completeness is well-defined. But in higher-order logics, where we can quantify over predicates and not just individuals, the notion of functional completeness may be more complex.

$\endgroup$

0

You must log in to answer this question.

Browse other questions tagged .