#not p #logical negation #logic symbol #propositional logic #false p #philosophical p negation