Negació lògica
From Wikipedia, the free encyclopedia
En lògica i matemàtica, la negació, també anomenada complement lògic, és una operació sobre proposicions, valors de veritat, o en general, valors semàntics. Intuïtivament, la negació d'una proposició és veritable quan aquesta proposició és falsa, i viceversa. En lògica clàssica la negació està normalment identificada amb la funció de veritat que canvia el seu valor de veritable a fals i viceversa. En Lògica intuicionista, d'acord amb la interpretació BHK, la negació d'una proposició p és la proposició les proves són les refutacions de p. A la semàntica de Kripke, on els valors semàntics de les fórmules són conjunts de possibles mons, la negació de p, és la seva complement.