Negare logică (simbol)

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare
SymbolNegation.png

Negatia logica , numita si simplu negatie , nu sau nu , este un simbol stiintific matematic . Este folosit în diferite domenii ale acestei discipline, dar secțiunea care o folosește cel mai mult este, fără îndoială, logica matematică : aici ¬ este adesea folosit împreună cu alte simboluri, cum ar fi et și vel . Constă grafic dintr-un segment orizontal, la capătul drept al căruia se unește o a doua cursă, foarte scurtă, verticală și descendentă, formând un unghi drept cu prima. Etimologia lui nu este cea mai simplă: servind, de fapt, pentru a nega ceva în matematică , numele negație [din latina negatio, onis , actul de a nega ] este mai mult decât adecvat.

Utilizare

Suporterilor nu este utilizat în matematică în scopul anulând o declarație : dacă este propunerea care trebuie contrazisă, scrisul trebuie să fie ; în ceea ce privește tabelele de adevăr , prin urmare, negarea este cel mai simplu și mai intuitiv operator : dacă propoziția este adevărat atunci este fals și invers. Prin urmare, două negative afirmă:

Notaţie

SymbolNegation2.png

Negarea unei propuneri p este simbolizată în diferite moduri, în funcție de contextele de discuție și domeniile de aplicare. Raportăm următoarele variante:

Notaţie Pronunție
¬ p p negat
- p p negat
~ p p negat
Np en p
p primul,

complement p

p bar,

bara p

nu p

Nu contează ce notație sau simbol folosit, totuși negația ¬ p poate fi citită ca „nu p ”.

Alt

Pe sistemele Windows primiți simbolul ¬ cu ALT + 170 pe tastatura numerică sau ALT + 0172

Elemente conexe

Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică