What and Define Negation
Let p be a proposition. The negation of p, denoted by "\\neg p" (also denoted "\\bar{p}" ), is the statement "It is not the case that "p^{\\prime}" , the proposition "\\neg p" is read "not "\\mathrm{p}" ". The truth value of the negation of p, "\\neg p" is the opposite of the truth value of p.
Comments
Leave a comment