Negasyon

Sa lohika, ang negasyon o pagnenegatibo, tinatawag ring komplementong lohikal, ay ang operasyon na kinukuha ang proposisyong P sa isa pang proposisyong "hindi P." Isinusulat ito sa anyong , , o . Sa lohikang na pagpapakahulugan, totoo ang isang lohika kung di-totoo ang P, at di-totoo naman ang isang lohika kung totoo ang P. Dahil rito, itinuturing na isang pang-isahang konektibong lohikal ang negasyon. Magagamit ito sa pangkalahatan bilang isang operasyon sa mga nosyon, proposisyon, halaga ng katotohanan, o halagang semantiko. Sa lohikang klasiko, ang negasyon ay ang buning pangkatotohanan na ginagawang di-totoo ang totoo (at kabaligtaran). Sa lohikang kawatasan, ayon sa interpretasyong Brouwer–Heyting–Kolmogorov, ang negasyon ng proposisyong P ay ang proposisyon na may mga patunay na sumasalungat sa P.

Talababa

Mga sanggunian 

Lohika matematika
Mga punsiyon at pagmamapa