Logička negacija – razlika između verzija
Uklonjeni sadržaj Dodani sadržaj
Nema sažetka izmjene |
m robot kozmetičke promjene |
||
Red 1:
'''Logička negacija''' ili '''Logičko „ne“''' je [[unarna operacija|unarna]] [[logičke operacije|logička operacija]] koja u suštini ima predlog p na drugi predlog "ne p", pisano ¬ p, čija je vrednost „tačno“ kada njen operand ima vrednost „netačno“, i obrnuto. Drugim rečima, logička negacija pretvara tačno u netačno, a netačno u tačno. Može se primeniti kao operacijana [[Propozicija|
== Obeležavanje ==
U matematičkoj logici, logička negacija se obeležava znakom <math>\lnot</math>. Tako, logička negacija iskaza <math>p</math> bi se pisala <math>\lnot p</math> i čitala „ne p“.
Pored ove notacije, u praksi se koriste još i <math>\bar{p}</math> (čita se „p konjugovano“) i <math>p'\!</math> (čita se „p prim“ ili „p komplement“).
== Istinitosna tablica ==
[[Istinitosna tablica]] za logičku negaciju glasi:
Red 19:
| ⊤ || ⊥
|}
<br />
Klasična negacija može da se definiše u smislu drugih logičkih operacija. Na primer, ¬ p može da se definiše kao p → F , gde je " → " je [[Logical consequence|logička posledica]] i F je apsolutna neistina . Nasuprot tome, može se definisati kao F & p ¬ p za bilo kakvu tvrdnju p, gde je " & " [[Logical conjunction|logička konjukcija]]. Ideja je da svaka [[Contradiction|kontradikcija]] lažna. Dok su ove ideje i rade u klasičnoj i intuitivnoj logici, one ne rade u [[Paraconsistent logic|
Algebarski, klasična negacija odgovara [[Lattice (order)|
== Osobine ==
* Dvostruka negacija, tj. negacija negiranog iskaza <math>p</math>, je logički ekvivalentna početnom iskazu <math>p</math>. Simbolički zapisano, <math>\lnot \lnot p \Leftrightarrow p</math> <sup>1</sup>
Red 31:
== Računarstvo ==
=== Programiranje ===
Logička negacija se u računarstvu koristi analogno svom značenju u logici i matematici, dakle u gradnji logičkih iskaza. U zavisnosti od programskog jezika zapisuje se na različite načine. Na primer, u programskom jeziku [[C]] se obeležava znakom <code>!</code>, u [[Paskal]]u engleskom rečju NOT itd. Sledi primer programskog koda zapisanog na programskom jeziku C koji koristi logičku negaciju:
Red 51:
== Vidi još ==
* [[Logičke operacije]]
| |||