Λογική άρνηση

Στη μαθηματική λογική, λογική άρνηση είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ο όρος στον οποίο ενεργεί είναι ψευδής, και ψευδές όταν ο όρος είναι αληθής. Με απλά λόγια αντιστρέφει την αρνητική τιμή της εισόδου.

Για τη λογική άρνηση χρησιμοποιούνται τα σύμβολα NOT (από την αγγλική λέξη  για το όχι),  και .

 Πίνακας αλήθειας 

Παρακάτω δίνεται ο πίνακας αλήθειας για την πρόταση :
{| class="wikitable" style="text-align:center;"
|+
! style="width:35px;background:#aaaaaa;" | 
! style="width:35px" | 
|-
| 0  || 1
|-
| 1  || 0
|}
όπου 0 είναι ψευδής και 1 είναι αληθής τιμή.

 Ιδιότητες 
 (Διπλή άρνηση) Για κάθε , ισχύει ότι .

 (Τύποι Ντε Μόργκαν) Για κάθε  και , ισχύει ότι
, 
και
.
 Δείτε επίσης 
 Άλγεβρα Μπουλ
 Σχετικό συμπλήρωμα
 Δυφιοτελής άρνηση

 Παραπομπές 

Κατηγορία:Μαθηματική λογική
Κατηγορία:Άλγεβρα Μπουλ
Κατηγορία:Λογικοί τελεστές