Disproving the completeness of a set of connectives

Printable View