තාර්කික නිශේධනය යනු, ප් රරූපීය ලෙසින් ප් රස්තූතයක අගයක් වන, එක් තාර්කික අගයක් වෙත බල පැවැත්වෙන කාර්යයක් වන අතර, එහි ප් රවර්ත් යය අසත් යය වන විට සත් යය යන අගයද එහි ප් රවර්ත් යය සත් යය වන විට අසත් යය යන අගයද ලබා දෙයි.