The joint assertion of a proposition and is denial. The law of noncontradiction is that nothing can both be P and not-P