Difference between revisions of "¬"

From CS2800 wiki
 
Line 1: Line 1:
 
[[Category:Notation]] [[Category:Logic]]
 
[[Category:Notation]] [[Category:Logic]]
  
If <math>P</math> is a [[proposition]], then [[¬]] P stands for "[[not]] P".  The [[LaTeX]] symbol is <code>[[\not]]</code>.
+
If <math>P</math> is a [[proposition]], then [[¬]] P stands for "[[not]] P".  The [[LaTeX]] symbol is <code>[[\lnot]]</code>.

Latest revision as of 15:23, 27 January 2020


If [math]P [/math] is a proposition, then ¬ P stands for "not P". The LaTeX symbol is \lnot.