operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective
"operación que convirte a unha proposición na proposición oposta"@gl
"operasi yang mengubah proposisi P menjadi proposisi "tidak P", ditulis ¬p, yang dapat diartikan secara intuitif sebagai benar saat P bernilai salah, dan salah saat P benar."@id
"operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective"@en
"operazione logica unitaria"@it
"operação que leva uma proposição p a outra proposição "não p""@pt
"operação que leva uma proposição p a outra proposição "não p""@pt-br
"opérateur logique"@fr
"unární logická operace"@cs
"zaprzeczenie zdaniu lub nazwie, różnie formalizowane"@pl
"λογικός τελεστής που στην κλασσική λογική αντιστρέφει την τιμή της εισόδου"@el
"операция, меняющая значение на противоположное"@ru
