Logička negacija – razlika između verzija
Uklonjeni sadržaj Dodani sadržaj
m Bot: Migrating 36 interwiki links, now provided by Wikidata on d:q190558 (translate me) |
Nema sažetka izmjene |
||
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| propoziciji]], [[Truth value| istinitosnim vrednostima]],ili [[Interpretation (logic)|semantičkim vrednostima]] uopšte. U[[Интуиционизам| Intuitivnoj logici]], prema [[Brouwer–Heyting–Kolmogorov interpretation| Brauer - Heiting - Kolmogorovom tumačenju]], negacija od p je ustvari demant od p..
==Obeležavanje==
Linija 19 ⟶ 20:
|}
<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| Brazilskoj logici]], gde protivrečnosti nisu nužno lažne. Ali, u klasičnoj logici, mi smo dobili još jedan identitet: P → K, se može definisati kao, ¬ p ∨ k, gde je " ∨ " [[Дисјункција|logička disjunkcija]] : "Nije p ili k".
Algebarski, klasična negacija odgovara[[Lattice (order)| komplementarnosti]] u [[Boolean algebra (structure)| Bulovoj algebri]].
==Osobine==
| |||