Functional Completeness

To those new to logic and new to junctors, it is sometimes surprising, that we do not need all the junctors to be functionally complete. As Wikipedia states and those already familiar with propositional or predicate logic know: the conjunction and the negation are already functionally complete.

It is quite …

Continue Reading