Matematička logika: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Redak 382:
| rowspan=3|¬(¬''A'')&nbsp;⇔ ''A'' <br/> ''x''&nbsp;≠&nbsp;''y''&nbsp;&nbsp;⇔&nbsp; ¬(''x''&nbsp;=&nbsp; ''y'')
! rowspan="3" |U+00AC<br/><br/>U+02DC
! rowspan="3" |&amp;notne;<br/>&amp;tilde;<br/>~
! rowspan="3" | <div><math>\neg</math>\lnot or \neg<br/><math>\sim</math>\sim</div>
|-
|align=center|notne
|-
|align=right|[[propositional logic]]