Logička negacija
From Wikipedia, the free encyclopedia
Logička negacija ili Logičko „ne“ je unarna 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 propoziciji, istinitosnim vrednostima,ili semantičkim vrednostima uopšte. U Intuitivnoj logici, prema Brauer - Heiting - Kolmogorovom tumačenju, negacija od p je ustvari demant od p..