а тұжырымының терістеуі жаңа тұжырым болып табылады, бұл тұжырым а ақиқат болғанда жалған, ал а жалған болғанда кезде, ақиқат болады.

 a терістеу  тұжырымы (¬a) деп бегіленеді және  «а емес» немесе «дұрыс емес а» деп оқылады. ¬a тұжырымының логикалық мәнін кесте арқылы көрсетуге болады:

Бұл түрдегі кестені ақиқаттық кестесі деп атайды.

Мәселен, «2 кіші 5тен» тұжырымы үшін терістеу болып «2 кіші емес 5тен» тұжырымы болады.

а тұжырым болсын.  да тұжырым болғандықтан,   тұжырымына терістеу құруға болады, яғни   тұжырымы  а тұжырымына екілік терістеу болады.  және а тұжырымдарының логикалық мәні бірдей.