Examples Of Double Negation In Logic