Netačno (logika)
<s>U logici, lažno ili netačno je istinitosna vrednost ili nularni logički veznik.</s><s>U sistemu iskazne logike zasnovanom na funkciji istine postoje dve pretpostavljene istinitosne vrednosti, a to su negacija i istina.</s><s>Uobičajene oznake za netačno su 0 (naročito u Bulovoj logici i informatici), O (kao prefiks, npr Opq), i kao ne Te simbol ⊥.</s>

<s>Postoji još jedan pristup koji se koristi u nekoliko formalnih teorija (na primer, u iskaznom računu zasnovanom na intuicionizmu)gde je netačno iskazna konstanta (tj. nularni veznik)⊥, koja je kao istinitosna vrednost uvek netačna.</s>

<s>U klasičnoj logici i Bulovoj logici</s>

<s>Bulova logika definiše netačno u oba smisla navedena gore: "0" je iskazna konstantna, čija je vrednost po definiciji 0. U klasičnom iskaznom računu, u zavisnosti od odabranih skupova osnovnih veznika, netačno može ali i ne mora imati namenski simbol.</s><s>Kao kod formula  i .</s>

<s>U oba sistema negacija tačnog daje netačno.</s><s>Negacija netačnog je ekvivalentno sa tačnim i to ne samo u klasičnoj i Bulovoj logici već i u većini drugih logičkih sistemima, kao što je objašnjeno ispod.</s>

<s>Netačno, negacija, kontradikcija 
U većini logičkih sistemima, negacija, implikacija i netačno se odnose kao:
 
Ovo je definicija negacije u nekim sistemima, kao u intuicionoj logici, i može se dokazati u iskaznom računu gde je negacija osnovni veznik.</s><s>Zato što je  obično teorema ili aksiom, posledica je da je negiranje netačnog () tačno.</s>

<s>Kontradikcija je izjava koja podrazumeva lažno, odnosno .</s><s>Koristeći gornju ekvivalenciju, činjenica da je φ kontradikcija može da se izvede, na primer, iz .</s><s>Kontradikcija i lažno se ponekad ne razlikuju, posebno zbog toga jer latinski izraz falsum označava oba.</s><s>Kontradikcije znači da treba da se dokaže da je iskaz netačan, ali samo netačno je iskaz koji je definisan kao suprotnost istini.</s>

<s>Logički sistemi mogu ili i ne moraju da sadrže princip eksplozije (na latinskom, ex falso quodlibet), .</s>

<s>Neprotivrečnost</s>

<s>Formalna teorija koja koristi veznik "⊥" je neprotivrečna ako i samo ako netačno nije u njenoj teoremi.</s><s>U odsustvu iskaznih konstanti neke zamene, kao one koje su već pomenute gore se mogu koristiti umesto dokazivanja protivrečnosti.</s>

<s>Vidi još 
 Kontradikcija
 Istina (logika)
 Tautologija (logika)</s>

<s>Reference</s>

<s>Literatura</s>

<s>Logika
Programiranje</s>

