Логичка негација

Од Википедија, слободна енциклопедија

Кај граматиката, логиката и математиката негација е операција на вистинитости, како на пример вистинитоста на еден исказ, која може да биде од точност во неточност и неточност до точност.

[уреди] Дефиниција и нотација

Кај логиката, логичка негација е унарен логички оператор кој ја превраќа вистинитостта на неговиот операндот.

Негацијата на исказот p може да се напише на различни начини:

  • p (кое е p со црта над него)
  • ~p
  • ¬p
  • НЕ p
  •  !p
  • p'

Се чита како „не е случај дека p“, или само „не p“.

Таблица на вистинитост
A не A
Слика:nete.png T
T Слика:nete.png

~p is точно ако и само ако p е неточно. На пример, ако p го означува исказот „денес е Сабота“, тогаш неговата негација ~p ќе биде исказот „денес не е Сабота“.

  • Кај класичната логика, двојна негација значи афирмација; т.е., исказите p и ~(~p) се логично еквивалентни.
  • Меѓутоа кај интуитистичката логика, ~~p е послаб исказ одколку p. И покрај тоа, ~~~p и ~p се логички еквивалентни.

Логичката негација може да се дефинира преку други логички операции. На пример, ~p може да се дефинира како pF, каде → е материјална импликација и F е апсолутна неточност. Обратно, можеме да го дефинираме F како p & ~p за секој исказ p, каде & е логичка конјукнција. Идејата тука е дека секоја контрадикција е неточна. Додека овие поими работат и во класичната и во интуитистичката логика, истите не работат во Бразилската логика, каде не мора да значи дека контрадикциите се невистинити. Но кај класичната логика, добиваме уште еден идентитет: pq може да се дефинираат како ~pq, каде ∨ е логичка дисјункција.

Алгебарски, логичката негација соодветствува со додатокот кај Булевата алгебра (за клаисчната логика) или Хејтингова алгебра (за интуитистичката логика).