 One approach to doing that is to introduce negation as an order-reversing map formula_44, then defining remaining connectives using De Morgan's laws, material implication, and the like.A problem with doing so is that the resulting logics may have undesirable properties